OWL2.ShipSyntax

Description

Synopsis

• data Concept
  • = CName String
  • | NominalC String
  • | NotC Concept
  • | JoinedC (Maybe JunctionType) [Concept]
  • | Quant (Either QuantifierType (CardinalityType, Int)) Role Concept
• topC :: Concept
• data NotOrInverse
  • = NotR
  • | InvR
• data Role
  • = RName String
  • | NominalR String String
  • | UnOp NotOrInverse Role
  • | JoinedR (Maybe JunctionType) [Role]
• topR :: Role
• botR :: Role
• ppJunction :: Bool -> Maybe JunctionType -> Doc
• pppNegConcept :: Concept -> Doc
• pppConcept :: Bool -> Maybe JunctionType -> Concept -> Doc
• ppConcept :: Concept -> Doc
• showQuant :: QuantifierType -> String
• showCard :: CardinalityType -> String
• showSame :: SameOrDifferent -> String
• pppRole :: Maybe JunctionType -> Role -> Doc
• ppRole :: Role -> Doc
• skip :: CharParser st ()
• myLetter :: CharParser st Char
• nominal :: CharParser st String
• key :: String -> CharParser st ()
• skipKey :: String -> CharParser st ()
• quant :: CharParser st QuantifierType
• card :: CharParser st CardinalityType
• quantOrCard :: CharParser st (Either QuantifierType (CardinalityType, Int))
• skipChar :: Char -> CharParser st ()
• commaP :: CharParser st ()
• bulletP :: CharParser st ()
• equalP :: CharParser st ()
• colonP :: CharParser st ()
• primConcept :: CharParser st Concept
• braced :: CharParser st a -> CharParser st a
• parent :: CharParser st a -> CharParser st a
• binPP :: ([a] -> a) -> CharParser st sep -> CharParser st a -> CharParser st a
• binP :: ([a] -> a) -> String -> CharParser st a -> CharParser st a
• binC :: ([a] -> a) -> Char -> CharParser st a -> CharParser st a
• andConcept :: CharParser st Concept
• plus :: CharParser st ()
• orConcept :: CharParser st Concept
• concept :: CharParser st Concept
• notOrInv :: CharParser st NotOrInverse
• nomPair :: (String -> String -> a) -> CharParser st a
• primRole :: CharParser st Role
• compRole :: CharParser st Role
• andRole :: CharParser st Role
• role :: CharParser st Role
• data EqOrLess
  • = Eq
  • | Less
• data RoleType = RoleType Concept Concept
• data ConceptRhs
  • = ADTCons [TBoxCons]
  • | ConceptRel EqOrLess Concept
• data TBoxCons = TBoxCons Concept [(Role, Concept)]
• data TBox
  • = ConceptDecl Concept ConceptRhs
  • | DisjointCs [Concept]
• data RBox
  • = RoleDecl Role RoleType
  • | RoleRel Role EqOrLess Role
  • | RoleProp Character Role
• data ABox
  • = AConcept String Concept
  • | ARole String String Role
  • | AIndividual String SameOrDifferent String
• data Box = Box [TBox] [RBox] [ABox]
• ppEqOrLess :: EqOrLess -> Doc
• ppRoleType :: RoleType -> Doc
• ppConceptRhs :: ConceptRhs -> Doc
• ppTBoxCons :: TBoxCons -> Doc
• ppTBox :: TBox -> Doc
• ppRBox :: RBox -> Doc
• ppABox :: ABox -> Doc
• ppBox :: Box -> Doc
• showCharacter :: Character -> String
• character :: CharParser st Character
• eqOrLess :: CharParser st EqOrLess
• tbox :: CharParser st TBox
• tboxCons :: CharParser st TBoxCons
• rbox :: CharParser st RBox
• abox :: CharParser st ABox
• pSame :: CharParser st SameOrDifferent
• box :: CharParser st Box
• imprts :: CharParser st ()
• rename :: CharParser st ()
• nmap :: GenParser Char st [()]
• ppp :: (a -> Doc) -> CharParser () a -> String -> String

Documentation