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

Question

我目前正在玩OWL，尤其是限制。我正在尝试创建一个执行以下操作的查询:

假设我有一个类 'Cinema'，它有一个属性 'movies'(包含类型为 'Movie' 的对象)。 “电影”类包含一个名为“流派”的属性。现在我想创建一个 ActionCinemas 类，它只包含类型为“ Action ”的电影。

我真的不知道该怎么做。我正在考虑用交集或基数做一些事情，但我不确定。

有人可以帮我吗？

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 ]
                      ] .

曼彻斯特猫头鹰语法:

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