SPARQLEntailmentRegime
SPARQLEntailmentRegime
is an option for SPARQLQuery that specifies which entailment relations to use when evaluating a query.
Examples
open allclose allBasic Examples (1)
Scope (1)
Import an ontology of topological spaces:
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:
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