用RDF表示动态树

Question

我试图描述一种在RDF，其中，每个节点的值取决于它前面的节点的“求和状态”动态生成有向图的，例如在第一个节点可以具有n个值。根据在其上是，可能有m个子节点，每个子节点都有k个值之一，每个子节点可能有l个子节点，依此类推。

因此，RDF语句可以轻松实现任意两个节点以及它们之间的一条边。 但是，当您浏览该图时，主题或父节点有效地描述了其所有祖先节点的值。

有代表这样的图，而不必为节点值的每一个有效的置换来表示RDF三元组的主体的实体的方法吗？

作为一个例子，说我想要捕获在具有这些属性的本体论域的几个关系：

can_input_to  rdfs:domain material       ; rdfs:range first_process .
can_feed_into rdfs:domain first_process  ; rdfs:range second_process .
has_output    rdfs:domain second_process ; rdfs:range widget .

而关于实例的一些声明是这样的：

<material_a> <can_input_to> <first_process_a>
<material_b> <can_input_to> <first_process_a>
<material_c> <can_input_to> <first_process_b>
<material_d> <can_input_to> <first_process_b>

<first_process_a> <can_feed_into> <second_process_a>   //If input is <material_a> OR <material_b>
<first_process_b> <can_feed_into> <second_process_a> //If input is <material_d> 

<second_process_a> <has_output> <widget_a>    //If input is <material_a> AND first_process is <first_process_a>
<second_process_a> <has_output> <widget_b>    //If input is <material_a> AND first_process is <first_process_b>

如何在本体中定义或捕获这些语句的条件（//如果输入为..）？

Answer 1

这种基于父节点和推理规则的子值的动态推理类型已开始引入流行的图存储中。 例如， Apache Jena支持以RDFS或OWL编写的推理规则 。 Pellet是您可以使用的Java的OLW 2推理程序。