| 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-Inferred |
OWL2.Extract
Description
Extraction of all the entities in the ontology
- 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 ()
- extractSign :: OntologyDocument -> State Sign ()
- toDecl :: Sign -> [Frame]
- signToFrames :: [Frame] -> [Frame]
Documentation
fromObjPropExpr :: ObjectPropertyExpression -> State Sign ()
fromDataPropExpr :: DataPropertyExpression -> State Sign ()
fromIndividual :: Individual -> State Sign ()
fromAnnoProp :: AnnotationProperty -> State Sign ()
fromLiteral :: Literal -> State Sign ()
fromDataRange :: DataRange -> State Sign ()
Adds the DataRange to the Signature and returns it as a State Sign ()
fromDescription :: ClassExpression -> State Sign ()
Adds the Description to the Signature. Returns it as a State
fromAnno :: Annotation -> State Sign ()
fromAnnos :: Annotations -> State Sign ()
fromAnnoList :: (a -> State Sign ()) -> AnnotatedList a -> State Sign ()
fromLFB :: Maybe Relation -> ListFrameBit -> State Sign ()
Adds possible ListFrameBits to the Signature by calling bottom level functions
fromAFB :: AnnFrameBit -> State Sign ()
fromFB :: Extended -> FrameBit -> State Sign ()
Calls the completion of Signature based on case separation of ListFrameBit and AnnotationFrameBit
extractSign :: OntologyDocument -> State Sign ()
Top level function: takes the OntologyDocument and completes the signature by calling completeSignForFrame
signToFrames :: [Frame] -> [Frame]