Hets - the Heterogeneous Tool Set
Copyright(c) Francisc-Nicolae Bungiu Felix Gabriel Mance
LicenseGPLv2 or higher, see LICENSE.txt
Safe HaskellSafe



Extraction of all the entities in the ontology



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

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

extractSign :: OntologyDocument -> State Sign () Source #

Top level function: takes the OntologyDocument and completes the signature by calling completeSignForFrame