如何重用 OWL 中的列表？

Question

假设我正在定义 class 酒精:

:Alcohol rdf:type owl:Class ;
         owl:equivalentClass [ 
             rdf:type owl:Class ;
             owl:oneOf ( :Vodka :Champagne :Bourbon :Tequila :Whiskey ) ] .

但我希望成员是不同的：

[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( :Bourbon :Vodka :Champagne :Whiskey :Tequila ) ] .

如何在不重复列表的情况下写出这两个语句？

谢谢。

Answer 1

如评论中所述，使用空白节点引用：

:Alcohol a owl:Class ;
    owl:equivalentClass [ a owl:Class ;
                          owl:oneOf _:b0 ] .

[ a owl:AllDifferent ;
  owl:distinctMembers  _:b0 ] .

_:b0 rdf:first :Vodka ;
    rdf:rest ( :Champagne :Bourbon :Tequila :Whiskey ) .

如何重用 OWL 中的列表？

How to reuse a list in OWL?

semantic-web

owl