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

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
generateBNode :: Int -> IRI
collectionToPOList :: [Object] -> [PredicateObjectList]
expandPOList1 :: Triples -> [Triples]
expandPOList2 :: Triples -> [Triples]
expandPOList :: Triples -> [Triples]
expandObject1 :: Int -> Triples -> (Int, [Triples])
expandObject2 :: Int -> [Triples] -> (Int, [Triples])
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 ()
addEntity :: RDFEntity -> State Sign ()
collectEntities :: Axiom -> State Sign ()
createSign :: TurtleDocument -> State Sign ()
anaAxiom :: Axiom -> Named Axiom
basicRDFAnalysis :: (TurtleDocument, Sign, GlobalAnnos) -> Result (TurtleDocument, ExtSign Sign RDFEntity, [Named Axiom])

URI Resolution

resolveFullIRI :: IRI -> IRI -> IRI Source #

resolveAbbreviatedIRI :: RDFPrefixMap -> IRI -> IRI Source #

resolveIRI :: Base -> RDFPrefixMap -> IRI -> IRI Source #

resolveBase :: Base -> RDFPrefixMap -> Base -> Base Source #

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

resolvePredicate :: Base -> RDFPrefixMap -> Predicate -> Predicate Source #

resolveSubject :: Base -> RDFPrefixMap -> Subject -> Subject Source #

resolvePOList :: Base -> RDFPrefixMap -> PredicateObjectList -> PredicateObjectList Source #

resolveObject :: Base -> RDFPrefixMap -> Object -> Object Source #

resolveTriples :: Base -> RDFPrefixMap -> Triples -> Triples Source #

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

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

resolveDocument :: TurtleDocument -> TurtleDocument Source #

Axiom extraction

generateBNode :: Int -> IRI Source #

collectionToPOList :: [Object] -> [PredicateObjectList] Source #

expandPOList1 :: Triples -> [Triples] Source #

expandPOList2 :: Triples -> [Triples] Source #

this assumes exactly one subject and one predicate

expandPOList :: Triples -> [Triples] Source #

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

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

this assumes exactly one subject, one predicate and one object

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

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

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

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

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

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

simpleTripleToAxiom :: Triples -> Axiom Source #

createAxioms :: TurtleDocument -> [Axiom] Source #

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

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

addEntity :: RDFEntity -> State Sign () Source #

adding entities to the signature

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

createSign :: TurtleDocument -> State Sign () Source #

collects all entites from the axioms

anaAxiom :: Axiom -> Named Axiom Source #

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

static analysis of document with incoming sign.