提取 owl:unionOf 列表的超类

Question

是否可以获取 owl:unionOf 列表的超类？我有类似以下内容：

ex:A rdf:type owl:Class ;
     owl:unionOf (ex:pet ex:animal1 ) .

ex:B rdf:type owl:Class ;
     owl:unionOf (ex:pet ex:animal2) .

我想做的是像这样简单的事情：

    SELECT ?x WHERE {
      ?x superclass ex:pet
    } 

结果应为 ex:A 和 ex:B。如果 ex:pet 被 ex:animal1 替换，那么结果就是 ex:A .

Answer 1

关系应该是相反的：如果您的 sparql 端点支持推理，那么

SELECT ?x 
WHERE
{ex:pet subClassOf ?x.
}; 

应该可以。