Copyright	(c) T.Mossakowski C.Maeder and Uni Bremen 2006
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	portable
Safe Haskell	None

CASL.Kif2CASL

Description

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

Synopsis

universe :: SORT
llRange :: RangedLL -> Range
kif2CASLFormula :: RangedLL -> CASLFORMULA
trueTerm :: TERM ()
falseTerm :: TERM ()
toVar :: String -> Range -> Token
toId :: String -> Range -> Id
toSId :: String -> Range -> Token
kif2CASLTerm :: RangedLL -> TERM ()
kif2CASLvardeclList :: [RangedLL] -> [VAR_DECL]
kif2CASLvardecl :: RangedLL -> VAR_DECL
kif2CASLpass1 :: [RangedLL] -> [Annoted CASLFORMULA]
isKifComment :: ListOfList -> Bool
toAnno :: ListOfList -> Annotation
skipComments :: [Annotation] -> [RangedLL] -> ([Annotation], [RangedLL])
data Predsym = Predsym Int PRED_NAME
sameArity :: Predsym -> Predsym -> Bool
getName :: Predsym -> PRED_NAME
collectPreds :: CASLFORMULA -> Set Predsym
collectVars :: CASLFORMULA -> Set Token
data Opsym = Opsym Int OP_NAME
sameOpArity :: Opsym -> Opsym -> Bool
getOpName :: Opsym -> OP_NAME
collectOps :: CASLFORMULA -> Set Opsym
nonEmpty :: Annoted (BASIC_ITEMS () () ()) -> Bool
kif2CASL :: [RangedLL] -> BASIC_SPEC () () ()

Documentation

universe :: SORT Source #

the universal sort

llRange :: RangedLL -> Range Source #

kif2CASLFormula :: RangedLL -> CASLFORMULA Source #

translation of formulas

trueTerm :: TERM () Source #

falseTerm :: TERM () Source #

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

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

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

convert a string to a legal CASL identifier

kif2CASLTerm :: RangedLL -> TERM () Source #

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

Instances details

Eq Predsym Source #
Instance details Defined in CASL.Kif2CASL Methods (==) :: Predsym -> Predsym -> Bool (/=) :: Predsym -> Predsym -> Bool
Ord Predsym Source #
Instance details Defined in CASL.Kif2CASL 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 #
Instance details Defined in CASL.Kif2CASL Methods showsPrec :: Int -> Predsym -> ShowS show :: Predsym -> String showList :: [Predsym] -> ShowS

sameArity :: Predsym -> Predsym -> Bool Source #

getName :: Predsym -> PRED_NAME Source #

collectPreds :: CASLFORMULA -> Set Predsym Source #

collect all predicate symbols used in a formula

collectVars :: CASLFORMULA -> Set Token Source #

data Opsym Source #

Constructors

Opsym Int OP_NAME

Instances

Instances details

Eq Opsym Source #
Instance details Defined in CASL.Kif2CASL Methods (==) :: Opsym -> Opsym -> Bool (/=) :: Opsym -> Opsym -> Bool
Ord Opsym Source #
Instance details Defined in CASL.Kif2CASL 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 #
Instance details Defined in CASL.Kif2CASL Methods showsPrec :: Int -> Opsym -> ShowS show :: Opsym -> String showList :: [Opsym] -> ShowS

sameOpArity :: Opsym -> Opsym -> Bool Source #

getOpName :: Opsym -> OP_NAME Source #

collectOps :: CASLFORMULA -> Set Opsym Source #

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

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

main translation function