rdf - 我如何在 OWL 中声明属性必须具有一组有序值？

Question

我如何在 OWL 中声明属性必须具有一组有序值？

例如:一个 Program 必须有一个 rdf:Seq of Series，而一个 Series 必须有一个 rdf:Seq of Episodes？

http://purl.org/ontology/po/本体使用属性 http://purl.org/ontology/po/position相反。

哪种方法更好？

Answer 1

在 OWL(和 RDF)中很难表示序列，更多的是关于无序的事物集。我发现最好的方法是通过属性分配一个数字，然后跟踪该索引并在需要时使用它进行迭代。

表示您想要捕获的内容的 OWL 本体可能是这样的(使用曼彻斯特语法 - 您可以另存为 .owl 文件并使用 Protege 打开 - # 是注释):

Prefix: xsd: <http://www.w3.org/2001/XMLSchema#>
Prefix: owl: <http://www.w3.org/2002/07/owl#>
Prefix: : <brain#>
Prefix: xml: <http://www.w3.org/XML/1998/namespace>
Prefix: rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
Prefix: dc: <http://purl.org/dc/elements/1.1/>
Prefix: rdfs: <http://www.w3.org/2000/01/rdf-schema#>
Ontology: <brain.owl>

Datatype: xsd:int

ObjectProperty: has
  Characteristics: 
    Transitive

# Property used to save the number in the sequence
DataProperty: episode-number
  Range: 
    xsd:int

# Definition of a program: A program as at least a series
Class: Program
  SubClassOf: 
    has some Series

Class: owl:Thing

# Definition of series: A series as at least one episode
Class: Series
  SubClassOf: 
    has some Episode

Class: Episode

# Instance of episode
Individual: episode1
  Types: 
    Episode

  # Episode number
  Facts:  
   episode-number  "1"^^xsd:int

# Second instance of episode
Individual: episode2
  Types: 
    Episode

Facts:  
 episode-number  "2"^^xsd:int

假设您想要迭代剧集实例。这可以通过 OWL 查询 Episode and episode-number value 1 来实现。您必须自己负责更新号码。