在RDF中撰写科学假设

Question

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

在物理科学中，关键因素是将方程联系起来 对确定其有效范围的假设。

N-ary句子可以描述如下

  

_：Equation123 o：hypothesis _：HypothesisABC。

     

_：HypothesisABC rdfs：label＆＃34; abc＆＃34;，

     

o：表达＆＃34; a = b＆＃34;

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

因此，我认为有三种方法可以写出假设本身 还有更好的方法：

• 将乌龟中的三元组编码为au数据类型文字 _：假设ABC o：表达式＆＃34; a = b＆＃34;
• 在N-ary句子中对三元组进行编码： _：HypothesisABC a：有主题＆＃34; db：Function＆＃34; ， o：有谓词＆＃34; o：有财产＆＃34; ， o：hasObject＆＃34; o：Linear＆＃34;
• 将三元组存储在不同的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）具有相同的功能（属性归属于对象）但它们可以写三元组 对应于假设，与对应于真句子的三元组不同。

真诚的，

jeybee

Answer 1

表明陈述是一种假设，可以通过具体化来实现。

reification in the RDF 1.1 specification

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