Data.RDF.Query

Query functions

sortTriples :: Triples -> Triples

Answer the given list of triples in sorted order.

equalSubjects :: Triple -> Triple -> Bool

Determine whether two triples have equal subjects.

equalPredicates :: Triple -> Triple -> Bool

Determine whether two triples have equal predicates.

equalObjects :: Triple -> Triple -> Bool

Determine whether two triples have equal objects.

subjectOf :: Triple -> Node

Answer the subject node of the triple.

predicateOf :: Triple -> Node

Answer the predicate node of the triple.

objectOf :: Triple -> Node

Answer the object node of the triple.

isEmpty :: RDF rdf => rdf -> Bool

Determines whether the RDF contains zero triples.

rdfContainsNode :: forall rdf. RDF rdf => rdf -> Node -> Bool

Answer if rdf contains node.

tripleContainsNode :: Node -> Triple -> Bool

Answer if triple contains node.

removeDupes :: Triples -> Triples

Remove duplicate triples, returning unique triples. This function may return the triples in a different order than given.

listSubjectsWithPredicate :: RDF rdf => rdf -> Predicate -> [Subject]

Lists of all subjects of triples with the given predicate.

listObjectsOfPredicate :: RDF rdf => rdf -> Predicate -> [Object]

Lists of all objects of triples with the given predicate.

RDF graph functions

isIsomorphic :: forall rdf1 rdf2. (RDF rdf1, RDF rdf2) => rdf1 -> rdf2 -> Bool

This determines if two RDF representations are equal regardless of blank node names, triple order and prefixes. In math terms, this is the simeq latex operator, or ~=

expandTriples :: RDF rdf => rdf -> Triples

Expand the triples in a graph with the prefix map and base URL for that graph.

fromEither :: RDF rdf => Either ParseFailure rdf -> rdf

Convert a parse result into an RDF if it was successful and error and terminate if not.