Virtuoso 是否支持 OWL Full 推理？答案

【问题标题】：Does Virtuoso support OWL Full reasoning?Virtuoso 是否支持 OWL Full 推理？
【发布时间】：2015-02-20 23:41:15
【问题描述】：

我在Inference Rules & Reasoning 阅读了 Virtuoso 的教程。在示例 16.14.9 中，他们提到了以下内容：

SQL>ttlp ('
  <john1> a <person> .
  <john2> a <person> .
  <mary> a <person> .
  <mike> a <person> .
  <john1> <name> "John" .
  <john2> <name> "John" .
  <john1> <address> "101 A street" .
  <john2> <address> "102 B street" .
  <john2> <knows> <mike> .
  <john1> <http://www.w3.org/2002/07/owl#sameAs> <john2> .
  <mary> <knows> "John" .
  <mike> <knows> <john1> .
  <mike> <knows> <john2> .
  <john1> <name> "Tarzan" .
  <mike> <nam> "Tarzan" .
  ', '', 'ifps');


  SQL>ttlp ('
  <name> a <http://www.w3.org/2002/07/owl#InverseFunctionalProperty> .
  <name> <http://www.openlinksw.com/schemas/virtrdf#nullIFPValue> "Tarzan" .
  ', '', 'ifp_list');

  SQL>rdfs_rule_set ('ifps', 'ifp_list');

  SQL>SPARQL define input:inference "ifps"  SELECT * FROM <ifps> WHERE {<john1> ?p ?o};

  p                                                                                 o
  VARCHAR                                                                           VARCHAR
  _______________________________________________________________________________

  address                                                                           101 A street
  name                                                                              John
  http://www.w3.org/2002/07/owl#sameAs                                              john2
  http://www.w3.org/1999/02/22-rdf-syntax-ns#type                                   person
  name                                                                              Tarzan
  name                                                                              John
  knows                                                                             mike
  http://www.w3.org/1999/02/22-rdf-syntax-ns#type                                   person
  address                                                                           102 B street

我们可以看到，数据类型属性<name>使用的owl:InverseFunctionalProperty，是不是意味着可以在Virtuoso中使用OWL Full reasoning？在这个Question 中，第一个答案是讨论使用OWL Full 推理和数据类型属性的问题。

【问题讨论】：

标签： rdf sparql owl virtuoso reasoning

【解决方案1】：

根据他们的文档，他们似乎支持 InverseFunctionalProperty，但他们肯定不支持 OWL Full；这是无法确定的。

【讨论】：

对数据类型属性的支持 InverseFunctionalProperty 会导致一致性问题，对吗？