问题描述
据我所知,OWL 是一种本体语言,它扩展了 RDFS 以增加更多的表现力和新功能。根据其 Data Model,Schema.org 类似地从 RDFS 扩展而来,但由于它是 OWL 的“兄弟”,因此它有自己的语法,可能与 OWL 不同。此外,Schema.org 在其网站上发布了自己的词汇表/本体。
它们之间的语言差异是什么?如果我想将 Schema.org 转换为 OWL,我该怎么做?我知道在 Schema.org 中他们有一个实验性的 OWL 文件,他们仅引用了以下差异:
该文件的结构与上述词汇定义文件不同,其中 schema:domainIncludes 和 schema:rangeIncludes 值被转换为 rdfs:domain 和 rdfs:range 值,使用 owl:unionOf 来捕获值的多样性。范围值包括词汇表中隐含的文本、URL 和角色的默认值。
https://schema.org/docs/developers.html#experiments
解决方法
据我所知,OWL 是一种本体语言,它扩展了 RDFS 以增加更多的表现力和新功能。根据其数据模型,Schema.org 类似地从 RDFS 扩展而来,但由于它是 OWL 的“兄弟”,因此它有自己的语法,可能与 OWL 不同。此外,Schema.org 在其网站上发布了自己的词汇表/本体。
我认为这是对 OWL 与 Schema.org 的合理评估。此外,您会从 https://schema.org/version/latest/schemaorg-current-http.ttl 中注意到 schema.org 使用来自 OWL 的一些功能来声明一个类或属性分别等效于来自不同词汇表的类或属性。 OWL 不使用 Schema.org。
主要区别
OWL 和 Schema.org 之间有两个主要区别
-
预期目的:Schema.org 的主要目的是在互联网上共享结构化数据。 OWL 的主要目的是实现对数据结构的复杂推理。
-
语言差异:由于目的不同,语言存在实质性差异。主要原因是 OWL 的语言可以翻译成精确的数学逻辑公理,从而可以得出更丰富的推论。这就是 OWL 更喜欢
rdfs:domain/rdfs:range
而不是schema:domainIncludes/schema:rangeIncludes
的原因:rdfs:domain/rdfs:range
具有精确定义的数学逻辑含义,而schema:domainIncludes/schema:rangeIncludes
没有数学含义。
这是什么意思?
使用 Schema.org,您可以得出一些有限的推论。例如,推理器可以确定 SNOMED 概念 http://purl.bioontology.org/ontology/SNOMEDCT/116154003
是一个 schema:Patient
,它是一个 schema:Person
。但是 Schema.org 中使用的语言本身并不足以检测不一致。即,无法说 schema:Person
与 schema:Product
不相交。这允许声明 myexample:john a schema:Person
和 myexample:john a schema:Product
而没有推理器能够检测到不一致。使用 OWL 可以声明 schema:Person
和 schema:Product
是不相交的。
这是否意味着您应该更喜欢 OWL 而不是 Schema.org?不,如果您的本体的预期目的是共享数据,则不会。那么最好使用来自 Schema.org 的概念并添加将提供您需要的推理的公理。如果推理不是您想要使用 Schema.org/OWL 的原因,那么只需使用 Schema.org。
你能把 Schema.org 翻译成 OWL 吗?
严格来说,由于 RDF 和 RDFS 是 OWL 的一个子集,Schema.org 已经是一个 OWL 定义,尽管推理能力有限。任何对 OWL 的“翻译”都意味着向 Schema.org 添加公理以增加可以从 Schema.org 文档中得出的推论。遗憾的是 Schema.org 没有(当前指向 OWL 文件的链接已失效)提供一个带有额外公理的 OWL 文件,这些公理将支持更丰富的推理。
-
添加
rdfs:domain
和rdfs:range
限制,而不是替换schema:domainIncludes
和schema:rangeIncludes
。替换schema:domainIncludes
和schema:rangeIncludes
可能会导致搜索引擎找不到信息。 -
为所有不共享个体的类和属性分别添加
owl:disjointWith
和owl:disjointObjectProperties
。 -
通过查看 Schema.org 的文档,它给人的印象是类具有属性。即,
schema:Person
具有属性schema:givenName
。但是,schema:Person
的定义中没有任何内容强制schema:Person
类必须具有schema:givenName
属性。我描述了 here、here 和 here 如何以 OWL 推理者可以使用的方式为类定义“属性”。
TLDR
Schema.org 主要用于在互联网上共享结构化数据。 OWL 主要用于对结构化数据进行推理以确定模式中的不一致。