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

failMsg :: Entity -> ClassExpression -> Result a
checkEntity :: Sign -> Entity -> Result ()
correctEntity :: Sign -> IRI -> [Entity]
checkLiteral :: Sign -> Literal -> Result ()
isDeclInd :: Sign -> Individual -> Bool
isDeclObjProp :: Sign -> ObjectPropertyExpression -> Bool
isDeclDataProp :: Sign -> DataPropertyExpression -> Bool
filterObjProp :: Sign -> [ObjectPropertyExpression] -> [ObjectPropertyExpression]
checkHasKey :: Sign -> [ObjectPropertyExpression] -> [DataPropertyExpression] -> Result ([ObjectPropertyExpression], [DataPropertyExpression])
checkObjPropList :: Sign -> [ObjectPropertyExpression] -> Result ()
checkDataPropList :: Sign -> [DataPropertyExpression] -> Result ()
checkDataRange :: Sign -> DataRange -> Result ()
classExpressionToDataRange :: Sign -> ClassExpression -> Result DataRange
checkClassExpression :: Sign -> ClassExpression -> Result ClassExpression
checkAnnotation :: Sign -> Annotation -> Result ()
checkAnnos :: Sign -> [Annotation] -> Result ()
checkAssertion :: Sign -> IRI -> Annotations -> Result [Axiom]
extractDGVariables :: [DGAtom] -> [Variable]
extractVariables :: [Atom] -> [Variable]
checkIndividualArg :: Sign -> Maybe [Variable] -> IndividualArg -> Result ()
checkDataArg :: Sign -> Maybe [Variable] -> DataArg -> Result ()
checkDGAtom :: Sign -> Maybe [Variable] -> DGAtom -> Result DGAtom
checkDLAtom :: Sign -> Maybe [Variable] -> Atom -> Result Atom
checkDGEdgeAssertion :: Sign -> DGEdgeAssertion -> Result ()
checkAxiom :: Sign -> Axiom -> Result [Axiom]
correctFrames :: Sign -> [Axiom] -> Result [Axiom]
collectEntities :: Axiom -> State Sign ()
createSign :: [Axiom] -> State Sign ()
noDecl :: Axiom -> Bool
createAxioms :: Sign -> [Axiom] -> Result ([Named Axiom], [Axiom])
check1Prefix :: Maybe IRI -> IRI -> Bool
checkPrefixMap :: PrefixMap -> Bool
newODoc :: OntologyDocument -> [Axiom] -> Result OntologyDocument
basicOWL2Analysis :: (OntologyDocument, Sign, GlobalAnnos) -> Result (OntologyDocument, ExtSign Sign Entity, [Named Axiom])
generateLabelMap :: Sign -> [Axiom] -> Map IRI String
anaAxiom :: Axiom -> Named Axiom
findImplied :: Axiom -> Named Axiom -> Named Axiom
getNamesFromAnnos :: [Annotation] -> [String]
getNames :: Axiom -> [String]
addEquiv :: Sign -> Sign -> [SymbItems] -> [SymbItems] -> Result (Sign, Sign, Sign, EndoMap Entity, EndoMap Entity)
corr2theo :: String -> Bool -> Sign -> Sign -> [SymbItems] -> [SymbItems] -> EndoMap Entity -> EndoMap Entity -> REL_REF -> Result (Sign, [Named Axiom], Sign, Sign, EndoMap Entity, EndoMap Entity)

Documentation

failMsg :: Entity -> ClassExpression -> Result a Source #

Error messages for static analysis

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

checks if an entity is in the signature

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

takes an iri and finds out what entities it belongs to

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

isDeclInd :: Sign -> Individual -> Bool Source #

isDeclObjProp :: Sign -> ObjectPropertyExpression -> Bool Source #

isDeclDataProp :: Sign -> DataPropertyExpression -> Bool Source #

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

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

checkHasKey :: Sign -> [ObjectPropertyExpression] -> [DataPropertyExpression] -> Result ([ObjectPropertyExpression], [DataPropertyExpression]) Source #

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

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

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

checks if a DataRange is valid

classExpressionToDataRange :: Sign -> ClassExpression -> Result DataRange Source #

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

checkClassExpression :: Sign -> ClassExpression -> Result ClassExpression Source #

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

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

checkAnnos :: Sign -> [Annotation] -> Result () Source #

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

extractDGVariables :: [DGAtom] -> [Variable] Source #

extractVariables :: [Atom] -> [Variable] Source #

checkIndividualArg :: Sign -> Maybe [Variable] -> IndividualArg -> Result () Source #

checkDataArg :: Sign -> Maybe [Variable] -> DataArg -> Result () Source #

checkDGAtom :: Sign -> Maybe [Variable] -> DGAtom -> Result DGAtom Source #

checkDLAtom :: Sign -> Maybe [Variable] -> Atom -> Result Atom Source #

checkDGEdgeAssertion :: Sign -> DGEdgeAssertion -> Result () Source #

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

corrects the axiom according to the signature

correctFrames :: Sign -> [Axiom] -> Result [Axiom] Source #

collectEntities :: Axiom -> State Sign () Source #

createSign :: [Axiom] -> State Sign () Source #

collects all entites from the aximoms

noDecl :: Axiom -> Bool Source #

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

corrects the axioms according to the signature

check1Prefix :: Maybe IRI -> IRI -> Bool Source #

checkPrefixMap :: PrefixMap -> Bool Source #

newODoc :: OntologyDocument -> [Axiom] -> Result OntologyDocument Source #

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

static analysis of ontology with incoming sign.

generateLabelMap :: Sign -> [Axiom] -> Map IRI String Source #

extract labels from Axiom-List (after processing with correctFrames)

anaAxiom :: Axiom -> Named Axiom Source #

adding annotations for theorems

findImplied :: Axiom -> Named Axiom -> Named Axiom Source #

getNamesFromAnnos :: [Annotation] -> [String] Source #

getNames :: Axiom -> [String] Source #

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

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