Copyright | (c) Francisc-Nicolae Bungiu Felix Gabriel Mance |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | f.bungiu@jacobs-university.de |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
Extraction of all the entities in the ontology
Synopsis
- fromObjPropExpr :: ObjectPropertyExpression -> State Sign ()
- fromDataPropExpr :: DataPropertyExpression -> State Sign ()
- fromIndividual :: Individual -> State Sign ()
- fromAnnoProp :: AnnotationProperty -> State Sign ()
- fromLiteral :: Literal -> State Sign ()
- fromDType :: Datatype -> State Sign ()
- fromDataRange :: DataRange -> State Sign ()
- fromFact :: Fact -> State Sign ()
- fromDescription :: ClassExpression -> State Sign ()
- fromAnno :: Annotation -> State Sign ()
- fromAnnos :: Annotations -> State Sign ()
- fromAnnoList :: (a -> State Sign ()) -> AnnotatedList a -> State Sign ()
- fromLFB :: Maybe Relation -> ListFrameBit -> State Sign ()
- fromAFB :: AnnFrameBit -> State Sign ()
- fromFB :: Extended -> FrameBit -> State Sign ()
- fromFrame :: Frame -> State Sign ()
- fromExt :: Extended -> State Sign ()
- fromIndividualArg :: IndividualArg -> State Sign ()
- fromDataArg :: DataArg -> State Sign ()
- fromDLAtom :: Atom -> State Sign ()
- fromDGAtom :: DGAtom -> State Sign ()
- fromAxiom :: Axiom -> State Sign ()
- extractSign :: OntologyDocument -> State Sign ()
- toDecl :: Sign -> [Axiom]
- signToFrames :: [Frame] -> [Frame]
Documentation
fromObjPropExpr :: ObjectPropertyExpression -> State Sign () Source #
fromDataPropExpr :: DataPropertyExpression -> State Sign () Source #
fromIndividual :: Individual -> State Sign () Source #
fromAnnoProp :: AnnotationProperty -> State Sign () Source #
fromDataRange :: DataRange -> State Sign () Source #
Adds the DataRange to the Signature and returns it as a State Sign ()
fromFact :: Fact -> State Sign () Source #
Adds the Fact to the Signature and returns it as a State Sign()
fromDescription :: ClassExpression -> State Sign () Source #
Adds the Description to the Signature. Returns it as a State
fromAnnoList :: (a -> State Sign ()) -> AnnotatedList a -> State Sign () Source #
fromLFB :: Maybe Relation -> ListFrameBit -> State Sign () Source #
Adds possible ListFrameBits to the Signature by calling bottom level functions
fromFB :: Extended -> FrameBit -> State Sign () Source #
Calls the completion of Signature based on case separation of ListFrameBit and AnnotationFrameBit
fromIndividualArg :: IndividualArg -> State Sign () Source #
extractSign :: OntologyDocument -> State Sign () Source #
Top level function: takes the OntologyDocument and completes the signature by calling completeSignForFrame
signToFrames :: [Frame] -> [Frame] Source #