具有unionOf (n3)的OWL类的实例

Question

假设我有一个OWL类，如下所示：

:picture    rdf:type owl:Class ;
            owl:unionOf(:creator :theme :title :date) .

带有:creator、:theme、:title和:date的owl:ObjectProperty或owl:DataProperty。

例如：

:creator    rdf:type owl:ObjectProperty ;
            rdfs:comment "The creator of this picture." ;
            rdfs:domain :picture ;
            rdfs:range foaf:Person .

如何创建此图片类的实例？

(我知道如何创建一个简单事物的实例，例如：<http://dbpedia.org/resource/Paris> rdf:type :location .将是一个位置的实例)

Answer 1

如果您想描述可能包含属性:creator、:theme、:title和:date的类，您应该只描述所有属性的域(不需要在图片类中额外定义)：

:picture a owl:Class .

:creator rdfs:domain :picture ;
         rdfs:range foaf:Person .

诸若此类。

如果您想要描述必须包含这些属性的类，则应该添加基数约束：

:picture a owl:Class ;
         rdfs:subClassOf [
             a owl:Restriction ;
             owl:onProperty creator ;
             owl:minCardinality "1"^^<http://www.w3.org/2001/XMLSchema#int>
         ]
         rdfs:subClassOf [
             a owl:Restriction ;
             owl:onProperty theme ;
             owl:cardinality "1"^^<http://www.w3.org/2001/XMLSchema#int>
         ]
         ... etc ...

在这两种情况下，实例的定义如下所示：

:monaLisa a :picture ;
          :creator :LeonardoDaVinci ;
          ...
          :date "1503-01-01"^^<http://www.w3.org/2001/XMLSchema#date>

有关限制的更多信息，例如，可以从this文档中了解。