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

Question

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

假设我有一个'Cinema'类，它有一个属性'movies'（包含'Movie'类型的对象）。 “电影”类包含名为“genre”的属性。现在我想创建一个只有类型为'action'的电影的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 )