Documentation

ppShipOnt :: OntologyDocument -> Doc Source #

emptyBox :: Box Source #

appBoxes :: Box -> Box -> Box Source #

catBoxes :: [Box] -> Box Source #

frame2Boxes :: Frame -> Box Source #

classFrame2Boxes :: Concept -> FrameBit -> [TBox] Source #

classAnnFrame2Boxes :: Concept -> AnnFrameBit -> [TBox] Source #

classListFrame2Boxes :: Concept -> Maybe Relation -> ListFrameBit -> [TBox] Source #

opFrame2Boxes :: Role -> FrameBit -> [RBox] Source #

opListFrame2Boxes :: Role -> Maybe Relation -> ListFrameBit -> [RBox] Source #

getRoleType :: Role -> [RBox] -> ([Concept], [Concept]) Source #

setRoleType :: Role -> RoleType -> RBox -> RBox Source #

flatIntersection :: Concept -> [Concept] Source #

intersectConcepts :: [Concept] -> Concept Source #

indFrame2Boxes :: String -> FrameBit -> [ABox] Source #

indListFrame2Boxes :: String -> Maybe Relation -> ListFrameBit -> [ABox] Source #

miscFrame2Boxes :: FrameBit -> Box Source #

miscListFrame2Boxes :: Maybe Relation -> ListFrameBit -> Box Source #

eqC :: Concept -> Concept -> TBox Source #

disC :: Concept -> Concept -> TBox Source #

eqR :: Role -> Role -> RBox Source #

mkCycle :: (a -> a -> b) -> [a] -> [b] Source #

pairwise :: (a -> a -> b) -> [a] -> [b] Source #

disR :: Role -> Role -> RBox Source #

disRs :: [Role] -> [RBox] Source #

topRT :: RoleType Source #

i2c :: IRI -> Concept Source #

ce2Concept :: ClassExpression -> Concept Source #

ope2Role :: ObjectPropertyExpression -> Role Source #