SPARQLEntailmentRegime
SPARQLEntailmentRegime
is an option for SPARQLQuery that specifies which entailment relations to use when evaluating a query.
范例
打开所有单元关闭所有单元基本范例 (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:
文本
Wolfram Research (2020),SPARQLEntailmentRegime,Wolfram 语言函数,https://reference.wolfram.com/language/GraphStore/ref/SPARQLEntailmentRegime.html.
CMS
Wolfram 语言. 2020. "SPARQLEntailmentRegime." Wolfram 语言与系统参考资料中心. Wolfram Research. https://reference.wolfram.com/language/GraphStore/ref/SPARQLEntailmentRegime.html.
APA
Wolfram 语言. (2020). SPARQLEntailmentRegime. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/GraphStore/ref/SPARQLEntailmentRegime.html 年