用RDF编写科学假设

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

在物理科学中，一个关键因素是把一个方程式联系起来 对决定其有效范围的假设

N元句子可以描述如下

_：方程式123 o：假设

_：abc rdfs:标签abc

o：表达式a=b

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

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

将turtle中的三元组编码为au数据类型文字 _：假设C o：表达式a=b。 将三元组编码为N元句子： _：假设a:具有主题db:功能， o:has谓词o:has属性， o:hasObject o:Linear。 将三元组存储在不同的RDF图中 并指示RDF图的URI o：假设c o:storedIn

然而，这三种方法之间的联系写 一个方程及其基础 假设带来新问题,， 由于RDF图的计算首先需要：

将数据类型文本解析为三重情况1和2， 在案例3中加载存储三元组的图形。 有没有另一个我没有考虑的解决方案？ 如果不是，第三种解决方案是否合理

PS：我读过，和其他一些人一样，没有参考模型对应的RDF语法

编辑2015-10-10 13:10：

这是我想到的另一个解决办法

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

因此，属性的两个版本（例如hasProperty haSupposedProperty）具有相同的属性到对象的函数属性，但它们允许写入三元组 对应于假设不同于对应于真实句子的三元组

真诚地属于你

---

jeybee

表明陈述是一种假设，可以通过物化进行

---

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

你的要求并不完全清楚，而且可能过于宽泛，但你可能需要某种具体化。例如，你会想在海龟身上看到这样的东西：ex:hyp72 a ex:假说；rdf：受试者ex:a；rdf：谓词ex:=；rdf:object ex:b表示ex:a ex:=ex:b是一个假设。感谢@JoshuaTaylor帮助我澄清我的需求。是的，物化是我写n元关系的想法。然而，物化并不是唯一的方法。单例属性是另一种方法，但具体化可以与未来的sparql和rdf规范兼容，而单例属性可能不兼容@约书亚泰勒