GraphStore`
GraphStore`

SPARQLEntailmentRegime

SPARQLEntailmentRegime

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

Details and Options

  • Possible settings include:
  • Noneno entailment
    "RDF"RDF entailment
    "RDFS"RDFS entailment
    "OWLDirect"OWL 2 direct semantics entailment

Examples

open allclose all

Basic Examples  (1)

Specify a hierarchy of professions using the RDF Schema vocabulary:

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

Without entailment the same query has only one solution:

Scope  (1)

Import an ontology of topological spaces:

Declare vocabulary functions:

Space 3 is not explicitly declared to be regular:

Space 3 can be inferred to be regular under the OWL 2 direct semantics:

Find all T1 spaces, including inferred members:

Find Hausdorff spaces which are not regular:

Space 4 can't be inferred to be a T3 space:

The opposite, space 4 being in the complement of T3 spaces, can't be inferred either:

Wolfram Research (2020), SPARQLEntailmentRegime, Wolfram Language function, https://reference.wolfram.com/language/GraphStore/ref/SPARQLEntailmentRegime.html.

Text

Wolfram Research (2020), SPARQLEntailmentRegime, Wolfram Language function, https://reference.wolfram.com/language/GraphStore/ref/SPARQLEntailmentRegime.html.

CMS

Wolfram Language. 2020. "SPARQLEntailmentRegime." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/GraphStore/ref/SPARQLEntailmentRegime.html.

APA

Wolfram Language. (2020). SPARQLEntailmentRegime. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/GraphStore/ref/SPARQLEntailmentRegime.html

BibTeX

@misc{reference.wolfram_2022_sparqlentailmentregime, author="Wolfram Research", title="{SPARQLEntailmentRegime}", year="2020", howpublished="\url{https://reference.wolfram.com/language/GraphStore/ref/SPARQLEntailmentRegime.html}", note=[Accessed: 29-May-2023 ]}

BibLaTeX

@online{reference.wolfram_2022_sparqlentailmentregime, organization={Wolfram Research}, title={SPARQLEntailmentRegime}, year={2020}, url={https://reference.wolfram.com/language/GraphStore/ref/SPARQLEntailmentRegime.html}, note=[Accessed: 29-May-2023 ]}