Copyright | (c) Dominik Luecke Felix Gabriel Mance |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | f.mance@jacobs-university.de |
Stability | provisional |
Portability | portable |
Safe Haskell | None |
OWL2.Sublogic
Description
Complexity analysis of OWL2
- 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
data NumberRestrictions Source #
Constructors
None | |
Unqualified | |
Qualified |
Instances
Eq NumberRestrictions Source # | |
Data NumberRestrictions Source # | |
Ord NumberRestrictions Source # | |
Show NumberRestrictions Source # | |
owlDatatypes :: Set Datatype Source #
Constructors
OWLSub | |
Fields
|
allSublogics :: [[OWLSub]] Source #
requireRoleHierarchy :: OWLSub -> OWLSub Source #
requireAddFeatures :: OWLSub -> OWLSub Source #
requireNominals :: OWLSub -> OWLSub Source #
requireInverseRoles :: OWLSub -> OWLSub Source #
slDatatype :: Datatype -> OWLSub Source #
slDataRange :: DataRange -> OWLSub Source #
slAFB :: AnnFrameBit -> OWLSub Source #
slODoc :: OntologyDocument -> OWLSub Source #
slMor :: OWLMorphism -> OWLSub Source #
prMor :: OWLSub -> OWLMorphism -> OWLMorphism Source #
prODoc :: OWLSub -> OntologyDocument -> OntologyDocument Source #