如何使用SWI-Prolog从OWL RDF / XML查询个人的对象属性？

Question

我在Protege中指定了“ isPartOf”对象属性，并且断言

“ Room_1 isPartOf Apartment_1”。

“ Room_1”和“ Apartment_1”都是个人。 OWL文件中的相关代码如下所示：

<rdf:RDF xmlns="http://www.xxx.come/example#"
 xml:base="http://www.xxx.come/example"
 xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
 xmlns:owl="http://www.w3.org/2002/07/owl#"
 xmlns:xml="http://www.w3.org/XML/1998/namespace"
 xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
 xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">


<!-- http://www.xxx.come/example#isPartOf -->

<owl:ObjectProperty rdf:about="http://www.xxx.come/example#isTemporalPartOf">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AsymmetricProperty"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ReflexiveProperty"/>
    <rdfs:domain rdf:resource="http://www.xxx.come/example#Room"/>
    <rdfs:range rdf:resource="http://www.xxx.come/example#Apartment"/>
</owl:ObjectProperty>


<!-- http://www.xxx.come/example#Room_1 -->

<owl:NamedIndividual rdf:about="http://www.xxx.come/example#Room_1">
    <rdf:type rdf:resource="http://www.xxx.come/example#Room"/>
    <isPartOf rdf:resource="http://http://www.xxx.come/example#Apartment_1"/>
    <hasSize rdf:datatype="http://www.w3.org/2001/XMLSchema#double">99.6</hasSize>
    <hasSize rdf:datatype="http://www.w3.org/2001/XMLSchema#double">145.5</hasSize>
</owl:NamedIndividual>
</rdf:RDF>

您将如何使用Prolog查询这样的三元组？ 我以为会是这样的：

is_part_of(Ind1, Ind2):- 
    rdf(Ind1, 
        "http://www.w3.org/1999/02/22-rdf-syntax-ns#isPartOf, 
        Ind2).

这显然是行不通的。

我还从rdf库中看到了rdf_has(S,P,O,RealP)看起来有点可用，但规范含糊不清。

紧接着这个问题，如果两个人都是阶级怎么办？ 如果对象属性是数据类型属性怎么办？

我认为我一直在解决一个简单的问题，但是我已经花了很长时间搜索示例或类似问题，但没有找到任何东西。

提前致谢！

Answer 1

可能的问题是semweb/rdf_db 文档中没有快速semweb/rdf_db示例。 这是一个示例会话。

?- use_module(library(semweb/rdf_db)).
true.

?- rdf_load('example.owl', [format(xml)]).
% Parsed "example.owl" in 0.01 sec; 11 triples
true.

?- rdf(Ind1, 'http://www.xxx.come/example#isPartOf',  Ind2).
Ind1 = 'http://www.xxx.come/example#Room_1',
Ind2 = 'http://http://www.xxx.come/example#Apartment_1'.

?- rdf(Ind1, 'http://www.xxx.come/example#hasSize',  Ind2).
Ind1 = 'http://www.xxx.come/example#Room_1',
Ind2 = literal(type('http://www.w3.org/2001/XMLSchema#double', '99.6')) .

?- % is_part_of(Ind1, Ind2):- rdf(Ind1, 'http://www.xxx.come/example#isPartOf', Ind2).
|    ['rules.pl'].
true.

?- is_part_of(Ind1, Ind2).
Ind1 = 'http://www.xxx.come/example#Room_1',
Ind2 = 'http://http://www.xxx.come/example#Apartment_1'.

?- rdf_register_prefix(ex, 'http://www.xxx.come/example#').
true.

?- rdf(Ind1, ex:isPartOf,  Ind2).
Ind1 = 'http://www.xxx.come/example#Room_1',
Ind2 = 'http://http://www.xxx.come/example#Apartment_1'.

---

您的代码中的错误：

1. Prolog中的原子应该用单引号引起来。
   至于双引号-参见例如这个问题 。 我的SWI-Prolog说：

   Type error: `atom' expected, found `"http://www.xxx.come/example#isPartOf"' (a string)

   无论如何，双引号也应该被关闭。

2. 您应该使用正确的完整URI： http://www.xxx.come/example#isPartOf而不是http://www.w3.org/1999/02/22-rdf-syntax-ns#isPartOf 。

3. 此格式不正确的URI（ http://http://www.xxx.come/example#Apartment_1 ）可能会导致其他问题。

Answer 2

如果已经定义了RDFS或OWL模式，则可以使用rdfs2pl将其转换为序言规则。

结果与斯坦尼斯拉夫提供的示例大致相同。 查看提供的显式代码以了解正在发生的事情很有用，但是如果您有大量的谓词，那么为它们编写显式规则可能很乏味且容易出错。

生成的代码与提供的示例之间的区别是rdfs2pl在其生成的规则中使用rdf_has / 3 。 您问这个谓词。 它在RDF图上提供了有限的推论 。 例如，如果您有：

ex:isPartOf owl:inverseOf ex:hasPart .
ex:apartment1 ex:hasPart ex:room1.

然后查询rdf_has(X,myont:isPartOf,Y)将返回一个结果和X=ex:room1和Y=ex:apartment1 ，即使它没有明确说明，它是由OWL的语义，并通过您的inverseOf entailed宣言。 相反， rdf/3将仅查询断言的模型。

何时选择rdf/3和rdf_has/3取决于您的用例。 进行查询时能够使用推理可能非常有用。