使用RDFLib在SPARQL查询中获取相交的类

Question

我有一个类ABC，这是一个subClassOf类XYZ，并定义为类A，B，C的交叉点：

<Class rdf:about="&clink;ABC">
    <equivalentClass>
        <Class>
            <intersectionOf rdf:parseType="Collection">
                <Restriction>
                    <onProperty rdf:resource="&clink;affects"/>
                    <someValuesFrom rdf:resource="&clink;A"/>
                </Restriction>
                <Restriction>
                    <onProperty rdf:resource="&clink;hasMarker"/>
                    <someValuesFrom rdf:resource="&clink;B"/>
                </Restriction>
                <Restriction>
                    <onProperty rdf:resource="&clink;hasPathologicalProcess"/>
                    <someValuesFrom rdf:resource="&clink;C"/>
                </Restriction>
            </intersectionOf>
        </Class>
    </equivalentClass>
    <rdfs:subClassOf rdf:resource="&clink;XYZ"/>
</Class>

如何使用RDFLib中的SPARQL查询通过类A访问类B，C和XYZ？

以下查询返回空节点rdflib.term.BNode('_L')，我不知道如何处理BNode。

PREFIX rdf: h<ttp://www.w3.org/2000/01/rdf-schema#>

SELECT ?subclass
WHERE {<XYZ> <rdf:subClassOf> <subclass>} 

我需要一个接收XYZ的查询并返回：

A
B
C

Answer 1

首先，XYZ既不是subClassOf A，B，C也不是subClassOf他们的交叉点A and B and C（我使用的是manchester syntaax (see here)）。

在你的片段中，你将XYZ定义为三个equivalentTo类的交集的subClassOf（这意味着也是一个anynomous (see here)）;这是(affects some A) and (hasMaker some B) and (hasPathologicalProcess some C)。这个交集不等于A and B and C（曼彻斯特语中的some代表someValuesFrom）。

要了解someValuesFrom限制的含义，请参阅OWL的documentation (see here)：

值约束owl:someValuesFrom是一个内置的OWL属性，它将限制类链接到类描述或数据范围。包含owl:someValuesFrom约束的限制描述了所有个体的类，其中所涉及的属性的至少一个值是类描述的实例或数据范围中的数据值。换句话说，它定义了一类个体x，其中至少有一个y（类描述的实例或数据范围的值），使得(x,y)对是P的一个实例。这并不排除(x,y')的其他实例P，其中y'不属于类描述或数据范围。

Aaditi：

既然你应该已经理解了owl:someValuesFrom的含义，并且正如@AKSW所说，这是一个简单的SPARQL查询。但是，你不能使用A检索B，C和rdfs:subClassOf！您应首先检索限制，然后访问属性及其定义的类，如下所示：

prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
prefix owl:   <http://www.w3.org/2002/07/owl#>
prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#>

select ?eqclass ?restriction ?onProp  ?someValuesFrom where {

  {?eqclass owl:equivalentClass/owl:intersectionOf _:b. _:b rdf:first ?restriction}
  # First anonymous class (restriction) in the collection
  UNION { ?eqclass owl:equivalentClass/owl:intersectionOf/(rdf:rest+/rdf:first+)*  ?restriction.} 
  # getting other anonymous classes (restriction) using property paths and rdf:first and rdf:rest used in RDF collections.       
  ?restriction  rdf:type owl:Restriction. 
  # individuals of type owl:Restriction
  ?restriction  owl:onProperty ?onProp. 
  # the property the restriciton is defined on which
  ?restriction  owl:someValuesFrom ?someValuesFrom.
  # the class of the owl:someValuesFrom property
} 

EDIT2结束

通过修改数据模型来解决其他问题。

首先，您的查询应返回匿名类(affects some A) and (hasMaker some B) and (hasPathologicalProcess some C)，它是您定义的交集。但是，由于它是一个匿名类，因此将返回一个空白节点B_node，而不是具体的类。要返回一个具体的类，您应该将此匿名交集定义为此交集的本体中的类;例如，您可以创建类anyn_intersection，如下所示：

<owl:Class rdf:about="myPrefix#anyn_intersection">
    <owl:equivalentClass>
        <owl:Class>
            <owl:intersectionOf rdf:parseType="Collection">
                <owl:Restriction>
                    <owl:onProperty rdf:resource="myPrefix#affects"/>
                    <owl:someValuesFrom rdf:resource="myPrefix#A"/>
                </owl:Restriction>
                <owl:Restriction>
                    <owl:onProperty rdf:resource="myPrefix#hasMaker"/>
                    <owl:someValuesFrom rdf:resource="myPrefix#B"/>
                </owl:Restriction>
                <owl:Restriction>
                    <owl:onProperty rdf:resource="myPrefix#hasPathologicalProcess"/>
                    <owl:someValuesFrom rdf:resource="myPrefix#C"/>
                </owl:Restriction>
            </owl:intersectionOf>
        </owl:Class>
    </owl:equivalentClass>
</owl:Class>

因此，您的查询将获得此类anyn_intersection而不是空白节点。

现在如果你想在结果中得到所有的(affects some A)，(hasMaker some B)和(hasPathologicalProcess some C)，你应该首先确保推理器正在运行，因为这是一个隐含的知识，其次你应该为每个匿名交集类，定义一个具体的交集类与上面的anyn_intersection类似。例如，您可以为匿名限制类定义anyn_AffectsSomeA：affects some A如下：

<owl:Class rdf:about="myPrefix#anyn_AffectsSomeA">
    <owl:equivalentClass>
        <owl:Restriction>
            <owl:onProperty rdf:resource="myPrefix#affects"/>
            <owl:someValuesFrom rdf:resource="myPrefix#A"/>
        </owl:Restriction>
    </owl:equivalentClass>
</owl:Class>

然后你必须定义两个类似的类anyn_hasMakerSomeB和anyn_hasPathologicalProcessSomeC。最后，您将anyn_intersection定义为anyn_AffectsSomeA，anyn_hasMakerSomeB和anyn_hasPathologicalProcessSomeC的交集。

EDIT1

我不知道rdfLib中是否有某些特定功能可以让您检索匿名类定义。这可能会解决您的问题，而无需按照我的建议来定义它。此外，您应该确保推理器正在运行。

编辑结束1：