Hets - the Heterogeneous Tool Set

CopyrightFelix Gabriel Mance
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerf.mance@jacobs-university.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

OWL2.StaticAnalysis

Description

Static analysis for OWL 2

Synopsis

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

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

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

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

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

sorts the data and object properties

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

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

corrects the axiom according to the signature

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

checks a frame and applies desired changes

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

collects all entites from the frames

noDecl :: Axiom -> Bool Source #

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

corrects the axioms according to the signature

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

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

static analysis of ontology with incoming sign.

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

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

anaAxiom :: Axiom -> Named Axiom Source #

adding annotations for theorems

getNames1 :: Annotation -> [String] Source #

getNamesList :: (Annotations, a) -> [String] Source #

getNamesFB :: FrameBit -> [String] Source #

getNames :: Axiom -> [String] Source #