Hets - the Heterogeneous Tool Set

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

RDF.StaticAnalysis

Contents

Description

Static analysis for RDF

Synopsis

URI Resolution

Axiom extraction

expandPOList2 :: Triples -> [Triples]

this assumes exactly one subject and one predicate

expandPOList :: Triples -> [Triples]

converts a triple to a list of triples with one predicate and one object

expandObject1 :: Int -> Triples -> (Int, [Triples])

this assumes exactly one subject, one predicate and one object

expandObject2 :: Int -> [Triples] -> (Int, [Triples])

this assumes each triple has one subject, one predicate and one object

modEntity :: (Term -> Set Term -> Set Term) -> RDFEntity -> State Sign ()

takes an entity and modifies the sign according to the given function

addEntity :: RDFEntity -> State Sign ()

adding entities to the signature

createSign :: TurtleDocument -> State Sign ()

collects all entites from the axioms

basicRDFAnalysis :: (TurtleDocument, Sign, GlobalAnnos) -> Result (TurtleDocument, ExtSign Sign RDFEntity, [Named Axiom])

static analysis of document with incoming sign.