OWL限制 - 定义仅包含具有特定属性值的属性的类

Question

我目前正在玩OWL，特别是有限制。我试图创建一个查询，执行以下操作：

假设我有一个类'Cinema'，它具有属性'movies'（包含'Movie'类型的对象）。类'Movie'包含一个名为'genre'的属性。现在我想要创建一个只有电影类型为“动作”的类ActionCinemas。

我真的不知道如何做到这一点。我正在考虑用交叉点或基数做一些事情，但我不确定这一点。

有人能帮我一下吗？

Answer 1

都需要这样的一个个allValuesFrom限制的组合和hasValue的限制，如：

龟语法：

my:ActionCinema a owl:Class ; 
     rdfs:subClassOf my:Cinema, 
         [ a owl:Restriction; 
         owl:onProperty my:hasMovie ; 
         owl:allValuesFrom [ a owl:Restriction ; 
              owl:onProperty my:hasGenre ; 
              owl:hasValue my:Action ] 
         ] . 

曼彻斯特OWL语法：

Class: ActionCinema 
    SubClassOf: Cinema that hasMovie only (hasGenre value Action)