Hets - the Heterogeneous Tool Set

Copyright(c) Francisc-Nicolae Bungiu, Felix Gabriel Mance
LicenseGPLv2 or higher, see LICENSE.txt
Safe HaskellSafe-Inferred



Extraction of all the entities in the ontology



fromDataRange :: DataRange -> State Sign ()

Adds the DataRange to the Signature and returns it as a State Sign ()

fromFact :: Fact -> State Sign ()

Adds the Fact 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

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

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

toDecl :: Sign -> [Frame]