java - 在耶拿使用自定义规则将个人分配给类型

Question

是否可以在耶拿添加一条定义个人类型的规则？

例如

String r;
r = "[rule1: (?a example:drives ?b), (?b rdf:type example:Truck) -> 
        (?a rdf:type example:TruckDriver)]";
//then parse and send to reasoner...etc

我在网上找到的所有示例和文档都使用自定义规则来分配个体之间的关系(对象属性)，而不是用于将个体分配给类的规则。

Answer 1

All of the examples and documentation I found online uses custom rules to assign relationships between individuals (object properties) as opposed to this rule which is used to assign an individual to a class.

实际上，文档 Reasoners and rule engines: Jena inference support给出了一些引入三元组的规则的示例，其属性为 rdf:type 。例如。 (来自该文档)，RDFS 推理有一条规则:“当 ?x 通过具有域 ?y 的属性 ?p 与 ?c 相关时，则 ?X 的类型为 ?c :"

[rdfs2: (?x ?p ?y), (?p rdfs:domain ?c) -> (?x rdf:type ?c)]

在同一个示例 block 中，还有两条规则，其头部具有使用 rdf:type 的三元组。 :

[rdfs3: (?x ?p ?y), (?p rdfs:range ?c) -> (?y rdf:type ?c)]
[rdfs9: (?x rdfs:subClassOf ?y), (?a rdf:type ?x) -> (?a rdf:type ?y)]