提取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:animal1替换为ex：宠物，则结果将仅为ex：A。

Answer 1

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

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

应该起作用。