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 )