SPARQLEntailmentRegime

is an option for SPARQLQuery that specifies which entailment relations to use when evaluating a query.

Details and Options

Wolfram Language code: Needs["GraphStore`"]

Specify a hierarchy of professions using the RDF Schema vocabulary:

Wolfram Language code:

rdfs[s_] := URL["http://www.w3.org/2000/01/rdf-schema#" <> s];
ex[s_] := URL["http://example.org/" <> s];

Wolfram Language code:

data = RDFStore[{
	RDFTriple[ex["Singer"], rdfs["subClassOf"], ex["Musician"]], 
	RDFTriple[ex["Musician"], rdfs["subClassOf"], ex["Person"]]
	}];

Find all sub-classes of "Person" using "RDFS" entailment:

Wolfram Language code:

data//SPARQLQuery[
	SPARQLSelect[RDFTriple[SPARQLVariable["c"], rdfs["subClassOf"], ex["Person"]]], 
	SPARQLEntailmentRegime -> "RDFS"
	]

Without entailment the same query has only one solution:

Wolfram Language code: data//SPARQLSelect[RDFTriple[SPARQLVariable["c"], rdfs["subClassOf"], ex["Person"]]]

Top