Hets - the Heterogeneous Tool Set

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

RDF.StaticAnalysis

Contents

URI Resolution
Axiom extraction

Description

Static analysis for RDF

Synopsis

URI Resolution

resolveFullIRI :: IRI -> IRI -> IRI

resolveAbbreviatedIRI :: RDFPrefixMap -> IRI -> IRI

resolveIRI :: Base -> RDFPrefixMap -> IRI -> IRI

resolveBase :: Base -> RDFPrefixMap -> Base -> Base

resolvePrefix :: Base -> RDFPrefixMap -> Prefix -> (Prefix, RDFPrefixMap)

resolvePredicate :: Base -> RDFPrefixMap -> Predicate -> Predicate

resolveSubject :: Base -> RDFPrefixMap -> Subject -> Subject

resolvePOList :: Base -> RDFPrefixMap -> PredicateObjectList -> PredicateObjectList

resolveObject :: Base -> RDFPrefixMap -> Object -> Object

resolveTriples :: Base -> RDFPrefixMap -> Triples -> Triples

resolveStatements :: Base -> RDFPrefixMap -> [Statement] -> [Statement]

extractPrefixMap :: RDFPrefixMap -> [Statement] -> RDFPrefixMap

resolveDocument :: TurtleDocument -> TurtleDocument

Axiom extraction

generateBNode :: Int -> IRI

collectionToPOList :: [Object] -> [PredicateObjectList]

expandPOList1 :: Triples -> [Triples]

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

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

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

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

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

simpleTripleToAxiom :: Triples -> Axiom

createAxioms :: TurtleDocument -> [Axiom]

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

collectEntities :: Axiom -> State Sign ()

createSign :: TurtleDocument -> State Sign ()

collects all entites from the axioms

anaAxiom :: Axiom -> Named Axiom

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

static analysis of document with incoming sign.