OWL2.Sublogic

Description

Synopsis

• data NumberRestrictions
  • = None
  • | Unqualified
  • | Qualified
• owlDatatypes :: Set Datatype
• data OWLSub = OWLSub {
  • numberRestrictions :: NumberRestrictions
  • nominals :: Bool
  • inverseRoles :: Bool
  • roleTransitivity :: Bool
  • roleHierarchy :: Bool
  • complexRoleInclusions :: Bool
  • addFeatures :: Bool
  • datatype :: Set Datatype
  }
• allSublogics :: [[OWLSub]]
• slTop :: OWLSub
• slBottom :: OWLSub
• slMax :: OWLSub -> OWLSub -> OWLSub
• slName :: OWLSub -> String
• requireQualNumberRestrictions :: OWLSub -> OWLSub
• requireNumberRestrictions :: OWLSub -> OWLSub
• requireRoleTransitivity :: OWLSub -> OWLSub
• requireRoleHierarchy :: OWLSub -> OWLSub
• requireComplexRoleInclusions :: OWLSub -> OWLSub
• requireAddFeatures :: OWLSub -> OWLSub
• requireNominals :: OWLSub -> OWLSub
• requireInverseRoles :: OWLSub -> OWLSub
• slDatatype :: Datatype -> OWLSub
• slObjProp :: ObjectPropertyExpression -> OWLSub
• slEntity :: Entity -> OWLSub
• slDataRange :: DataRange -> OWLSub
• slClassExpression :: ClassExpression -> OWLSub
• slDataCard :: Cardinality DataPropertyExpression DataRange -> OWLSub
• slObjCard :: Cardinality ObjectPropertyExpression ClassExpression -> OWLSub
• slLFB :: Maybe Relation -> ListFrameBit -> OWLSub
• slAFB :: AnnFrameBit -> OWLSub
• slFB :: FrameBit -> OWLSub
• slAxiom :: Axiom -> OWLSub
• slFrame :: Frame -> OWLSub
• slODoc :: OntologyDocument -> OWLSub
• slSig :: Sign -> OWLSub
• slMor :: OWLMorphism -> OWLSub
• prMor :: OWLSub -> OWLMorphism -> OWLMorphism
• prSig :: OWLSub -> Sign -> Sign
• prODoc :: OWLSub -> OntologyDocument -> OntologyDocument

Documentation