用 RDF 编写科学假设

Question

我想知道如何描述科学理论。

在物理科学中，一个关键要素是连接方程 到决定其有效性范围的假设。

N-ary 语句可以描述如下

_: Equation123 o:hypothesis _:HypothesisABC .

_:HypothesisABC rdfs:label "abc",

o:表达式“a = b”。

然而，一个假设本身就是一个三元组，而不仅仅是一个数据类型文字。

因此，我看到了 3 种写假设本身的方法，我认为 还有更好的方法：

• 将turtle 中的三元组编码为au 数据类型文字 _:HypothesisABC o:表达式“a=b”。
• 在 N 元句子中编码三元组： _:HypothesisABC a:has subject "db:Function" , o:has 谓词 "o:has Property" , o:hasObject "o:Linear" 。
• 将三元组存储在不同的 RDF 图中 并指明RDF图的URI

o:HypothesisABC o:storedIn http://example.org/graph; .

然而，这三个意思是写之间的链接 一个方程和基础 假设带来新问题， 因为 RDF 图的计算首先需要：

• 将数据类型文字解析为三元组（情况 1 和 2），
• 加载存储三元组的图形（案例 3）。

还有其他我没有考虑过的解决方案吗？ 如果不是，第三种解决方案是否合理？

PS : 我读过this powerpoint presentation 和其他一些人一样，没有提到与模型相对应的 RDF 语法。

编辑（2015-10-10 13:10）：

这是我想到的另一个解决方案。

这将是在属性中整合假设的概念。也就是说，在本体中定义对象属性和数据类型属性，在它们的名称中表明它们具有假设值。

因此，两个版本的属性（例如 hasProperty haSupposedProperty）具有相同的功能（将属性归因于对象）但它们可以编写三元组 对应于假设不同于对应于真句子的三元组。

此致，

杰比

Answer 1

可以通过具体化来表明一个陈述是一个假设。

reification in the RDF 1.1 specification

具体化并不意味着存在具体化的三元组。因此，还有另一种需要三元组的方法：reification done right。注意：这种方法不是标准。