Copyright	Felix Gabriel Mance
License	GPLv2 or higher, see LICENSE.txt
Maintainer	f.mance@jacobs-university.de
Stability	provisional
Portability	portable
Safe Haskell	None

OWL2.StaticAnalysis

Description

Static analysis for OWL 2

Synopsis

Documentation

failMsg :: Entity -> ClassExpression -> Result a

Error messages for static analysis

checkEntity :: Sign -> Entity -> Result ()

checks if an entity is in the signature

correctEntity :: Sign -> IRI -> [Entity]

takes an iri and finds out what entities it belongs to

checkLiteral :: Sign -> Literal -> Result ()

isDeclObjProp :: Sign -> ObjectPropertyExpression -> Bool

isDeclDataProp :: Sign -> DataPropertyExpression -> Bool

filterObjProp :: Sign -> [ObjectPropertyExpression] -> [ObjectPropertyExpression]

takes a list of object properties and discards the ones which are not in the signature

checkObjPropList :: Sign -> [ObjectPropertyExpression] -> Result ()

checkDataPropList :: Sign -> [DataPropertyExpression] -> Result ()

checkDataRange :: Sign -> DataRange -> Result ()

checks if a DataRange is valid

classExpressionToDataRange :: Sign -> ClassExpression -> Result DataRange

converts ClassExpression to DataRanges because some DataProperties may be parsed as ObjectProperties

checkClassExpression :: Sign -> ClassExpression -> Result ClassExpression

checks a ClassExpression and recursively converts the (maybe inappropriately) parsed syntax to a one satisfying the signature

checkFact :: Sign -> Fact -> Result ()

checkFactList :: Sign -> [Fact] -> Result ()

checkHasKey :: Sign -> [ObjectPropertyExpression] -> [DataPropertyExpression] -> Result AnnFrameBit

sorts the data and object properties

checkAnnotation :: Sign -> Annotation -> Result ()

checkAnnos :: Sign -> [Annotations] -> Result ()

checkAnnoList :: Sign -> ([t] -> Result ()) -> [(Annotations, t)] -> Result ()

checkListBit :: Sign -> Maybe Relation -> ListFrameBit -> Result ListFrameBit

checkAnnBit :: Sign -> AnnFrameBit -> Result AnnFrameBit

checkAssertion :: Sign -> IRI -> Annotations -> Result [Axiom]

checkExtended :: Sign -> Extended -> Result Extended

checkAxiom :: Sign -> Axiom -> Result [Axiom]

corrects the axiom according to the signature

checkFrame :: Sign -> Frame -> Result [Frame]

checks a frame and applies desired changes

correctFrames :: Sign -> [Frame] -> Result [Frame]

collectEntities :: Frame -> State Sign ()

createSign :: [Frame] -> State Sign ()

collects all entites from the frames

noDecl :: Axiom -> Bool

createAxioms :: Sign -> [Frame] -> Result ([Named Axiom], [Frame])

corrects the axioms according to the signature

check1Prefix :: Maybe String -> String -> Bool

checkPrefixMap :: PrefixMap -> Bool

newODoc :: OntologyDocument -> [Frame] -> Result OntologyDocument

basicOWL2Analysis :: (OntologyDocument, Sign, GlobalAnnos) -> Result (OntologyDocument, ExtSign Sign Entity, [Named Axiom])

static analysis of ontology with incoming sign.

generateLabelMap :: Sign -> [Frame] -> Map IRI String

extrace labels from Frame-List (after processing with correctFrames)

anaAxiom :: Axiom -> Named Axiom

adding annotations for theorems

findImplied :: Axiom -> Named Axiom -> Named Axiom

addEquiv :: Sign -> Sign -> [SymbItems] -> [SymbItems] -> Result (Sign, Sign, Sign, EndoMap Entity, EndoMap Entity)

corr2theo :: Sign -> Sign -> [SymbItems] -> [SymbItems] -> EndoMap Entity -> EndoMap Entity -> REL_REF -> Result (Sign, [Named Axiom], Sign, Sign, EndoMap Entity, EndoMap Entity)