Documentation

data CASL2OWL

toC :: Id -> ClassExpression

toO :: Id -> Int -> ObjectPropertyExpression

toACE :: Id -> (Annotations, ClassExpression)

toEBit :: Id -> ListFrameBit

mkDR :: DomainOrRange -> Id -> FrameBit

mkObjEnt :: String -> Id -> Int -> String -> FrameBit -> Named Axiom

toSubClass :: Id -> [ClassExpression] -> Axiom

getPropSens :: Id -> [SORT] -> Maybe SORT -> [Named Axiom]

getPropNames :: (a -> [b]) -> MapSet Id a -> Set QName

commonType :: Sign f e -> [[SORT]] -> Result [SORT]

commonOpType :: Sign f e -> Set OpType -> Result OpType

commonPredType :: Sign f e -> Set PredType -> Result PredType

getCommonSupers :: Sign f e -> [SORT] -> Set SORT

keepMaximals :: Sign f e -> [SORT] -> [SORT]

mapSign :: Sign f e -> Result (Sign, [Named Axiom])

mapTheory :: (FormExtension f, TermExtension f) => (Sign f e, [Named (FORMULA f)]) -> Result (Sign, [Named Axiom])

mapSortGenAx :: [Constraint] -> Bool -> [Named Axiom]