Hets - the Heterogeneous Tool Set

Copyright(c) T.Mossakowski C.Maeder and Uni Bremen 2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

CASL.Kif2CASL

Description

Parser for SUMO (suggested upper merged ontology) .kif files

Synopsis

Documentation

universe :: SORT Source #

the universal sort

kif2CASLFormula :: RangedLL -> CASLFORMULA Source #

translation of formulas

toVar :: String -> Range -> Token Source #

toId :: String -> Range -> Id Source #

toSId :: String -> Range -> Token Source #

convert a string to a legal CASL identifier

kif2CASLvardeclList :: [RangedLL] -> [VAR_DECL] Source #

translation of variable declaration lists

kif2CASLvardecl :: RangedLL -> VAR_DECL Source #

translation of variable declarations

kif2CASLpass1 :: [RangedLL] -> [Annoted CASLFORMULA] Source #

first pass of translation, just collecting the formulas

isKifComment :: ListOfList -> Bool Source #

check for comment

toAnno :: ListOfList -> Annotation Source #

convert comment to annotation

skipComments :: [Annotation] -> [RangedLL] -> ([Annotation], [RangedLL]) Source #

skip the first comments; they belong to the whole file

data Predsym Source #

Constructors

Predsym Int PRED_NAME 

Instances

Eq Predsym Source # 

Methods

(==) :: Predsym -> Predsym -> Bool

(/=) :: Predsym -> Predsym -> Bool

Ord Predsym Source # 

Methods

compare :: Predsym -> Predsym -> Ordering

(<) :: Predsym -> Predsym -> Bool

(<=) :: Predsym -> Predsym -> Bool

(>) :: Predsym -> Predsym -> Bool

(>=) :: Predsym -> Predsym -> Bool

max :: Predsym -> Predsym -> Predsym

min :: Predsym -> Predsym -> Predsym

Show Predsym Source # 

Methods

showsPrec :: Int -> Predsym -> ShowS

show :: Predsym -> String

showList :: [Predsym] -> ShowS

collectPreds :: CASLFORMULA -> Set Predsym Source #

collect all predicate symbols used in a formula

data Opsym Source #

Constructors

Opsym Int OP_NAME 

Instances

Eq Opsym Source # 

Methods

(==) :: Opsym -> Opsym -> Bool

(/=) :: Opsym -> Opsym -> Bool

Ord Opsym Source # 

Methods

compare :: Opsym -> Opsym -> Ordering

(<) :: Opsym -> Opsym -> Bool

(<=) :: Opsym -> Opsym -> Bool

(>) :: Opsym -> Opsym -> Bool

(>=) :: Opsym -> Opsym -> Bool

max :: Opsym -> Opsym -> Opsym

min :: Opsym -> Opsym -> Opsym

Show Opsym Source # 

Methods

showsPrec :: Int -> Opsym -> ShowS

show :: Opsym -> String

showList :: [Opsym] -> ShowS

nonEmpty :: Annoted (BASIC_ITEMS () () ()) -> Bool Source #

kif2CASL :: [RangedLL] -> BASIC_SPEC () () () Source #

main translation function