Documentation

ppShipOnt :: OntologyDocument -> Doc

emptyBox :: Box

appBoxes :: Box -> Box -> Box

catBoxes :: [Box] -> Box

frame2Boxes :: Frame -> Box

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

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

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

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

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

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

setRoleType :: Role -> RoleType -> RBox -> RBox

flatIntersection :: Concept -> [Concept]

intersectConcepts :: [Concept] -> Concept

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

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

miscFrame2Boxes :: FrameBit -> Box

miscListFrame2Boxes :: Maybe Relation -> ListFrameBit -> Box

eqC :: Concept -> Concept -> TBox

disC :: Concept -> Concept -> TBox

eqR :: Role -> Role -> RBox

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

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

disR :: Role -> Role -> RBox

disRs :: [Role] -> [RBox]

topRT :: RoleType

i2c :: IRI -> Concept

ce2Concept :: ClassExpression -> Concept

ope2Role :: ObjectPropertyExpression -> Role