Hets - the Heterogeneous Tool Set

Copyright(c) Francisc-Nicolae Bungiu Felix Gabriel Mance
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerf.bungiu@jacobs-university.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

OWL2.Extract

Description

Extraction of all the entities in the ontology

Synopsis

Documentation

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