解压缩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.
}; 

应该有用。