| Copyright | (c) Felix Gabriel Mance |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | f.mance@jacobs-university.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
OWL2.MS
Description
Datatypes specific to the Manchester Syntax of OWL 2
References : http://www.w3.org/TR/owl2-manchester-syntax/
- type Annotations = [Annotation]
- type AnnotatedList a = [(Annotations, a)]
- data Extended
- data ListFrameBit
- = AnnotationBit (AnnotatedList AnnotationProperty)
- | ExpressionBit (AnnotatedList ClassExpression)
- | ObjectBit (AnnotatedList ObjectPropertyExpression)
- | DataBit (AnnotatedList DataPropertyExpression)
- | IndividualSameOrDifferent (AnnotatedList Individual)
- | ObjectCharacteristics (AnnotatedList Character)
- | DataPropRange (AnnotatedList DataRange)
- | IndividualFacts (AnnotatedList Fact)
- data AnnoType
- data AnnFrameBit
- data Fact
- data FrameBit
- data Frame = Frame Extended [FrameBit]
- data Axiom = PlainAxiom {}
- mkExtendedEntity :: Entity -> Extended
- getAxioms :: Frame -> [Axiom]
- axToFrame :: Axiom -> Frame
- data Ontology = Ontology {
- name :: OntologyIRI
- imports :: [ImportIRI]
- ann :: [Annotations]
- ontFrames :: [Frame]
- data OntologyDocument = OntologyDocument {}
- emptyOntology :: [Frame] -> Ontology
- emptyOntologyDoc :: OntologyDocument
- isEmptyOntology :: Ontology -> Bool
- isEmptyOntologyDoc :: OntologyDocument -> Bool
- emptyAnnoList :: [a] -> AnnotatedList a
- symsOfAxiom :: Axiom -> Set Entity
- symsOfExtended :: Extended -> Set Entity
- symsOfObjectPropertyExpression :: ObjectPropertyExpression -> Set Entity
- symsOfClassExpression :: ClassExpression -> Set Entity
- symsOfDataRange :: DataRange -> Set Entity
- symsOfAnnotation :: Annotation -> Set Entity
- symsOfAnnotations :: Annotations -> Set Entity
- symsOfFrameBit :: FrameBit -> Set Entity
- symsOfAnnFrameBit :: AnnFrameBit -> Set Entity
- symsOfListFrameBit :: ListFrameBit -> Set Entity
- symsOfFact :: Fact -> Set Entity
- annotedSyms :: (a -> Set Entity) -> AnnotatedList a -> Set Entity
Documentation
type Annotations = [Annotation]
annotions are annotedAnnotationList that must be preceded by the keyword
Annotations: if non-empty
type AnnotatedList a = [(Annotations, a)]
data Extended
this datatype extends the Manchester Syntax to also allow GCIs
data ListFrameBit
frames with annotated lists
Constructors
data AnnoType
Constructors
| Declaration | |
| Assertion | |
| XmlError String |
data AnnFrameBit
frames which start with annotations
data Fact
data FrameBit
Constructors
| ListFrameBit (Maybe Relation) ListFrameBit | |
| AnnFrameBit Annotations AnnFrameBit |
data Frame
data Axiom
Constructors
| PlainAxiom | |
Fields
| |
Instances
mkExtendedEntity :: Entity -> Extended
data Ontology
Constructors
| Ontology | |
Fields
| |
data OntologyDocument
Constructors
| OntologyDocument | |
Fields | |
Instances
emptyOntology :: [Frame] -> Ontology
isEmptyOntology :: Ontology -> Bool
emptyAnnoList :: [a] -> AnnotatedList a
symsOfAxiom :: Axiom -> Set Entity
symsOfExtended :: Extended -> Set Entity
symsOfDataRange :: DataRange -> Set Entity
symsOfAnnotation :: Annotation -> Set Entity
symsOfFrameBit :: FrameBit -> Set Entity
symsOfFact :: Fact -> Set Entity
annotedSyms :: (a -> Set Entity) -> AnnotatedList a -> Set Entity