Protégé中OWL中的基数DL查询

Question

我正在尝试执行一个带有基数限制的查询。查询看起来像

A类和（roleA最小2类B）

但这返回一个空集。另一方面，当我执行查询时

更具体地说，我有类Team、Player和Position，以及对象属性employs（与Team和Player相关）和hasPosition（与Player和Positions相关）。我正在尝试进行查询

球队和雇用的最小2人（球员和拥有一些{striker**}**)

这应该返回有两个或更多前锋的球队，但很明显，因为OWL没有做出唯一名称的假设，它返回的是一个空集合。我试图声明我的一些个体是不同的，但当我在执行查询时，有不同的个体就位，它会导致Protégé崩溃。Protégé在没有不同个体的情况下运行查询时不会崩溃。

编辑：

Answer 1

这个问题中还没有足够的信息来确定为什么你没有得到你想要的结果，但是我们可以很好地再现这个场景来证明这是可以实现的。考虑一个包含三个类和一些个体的本体：

• 播放机{p1,p2}
• 团队{team1}
• 位置{Striker}

和公理

null

null

返回单个组1。（这也适用于“hasposition some{Striker}”，但对于一个值，我认为value关键字更合适。）

以下是本体论：

@prefix :      <http://stackoverflow.com/q/22688901/1281433/competitions#> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl:   <http://www.w3.org/2002/07/owl#> .
@prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .
@prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .

<http://stackoverflow.com/q/22688901/1281433/competitions>
        a       owl:Ontology .

:Player  a      owl:Class .
:Position  a    owl:Class .
:Team   a       owl:Class .

:hasPosition  a  owl:ObjectProperty .

:Striker  a     owl:NamedIndividual , :Position .

:p1     a             owl:NamedIndividual , :Player ;
        :hasPosition  :Striker .

:p2     a             owl:NamedIndividual , :Player ;
        :hasPosition  :Striker .

[ a                    owl:AllDifferent ;
  owl:distinctMembers  ( :p1 :p2 )
] .

:team1  a         owl:NamedIndividual , :Team ;
        :employs  :p1 , :p2 .