使用OWL DL推理器创建并连接个人

Question

我有一个包含不同类型事件的本体论。因此我有三个类:A、B、C和一个helper类Temp。

我希望推理器为每找到一对个体a（RDF：TypeOf a）和b（RDF：TypeOf b）创建一个新个体作为C的子类。这个新个体应该包含关于a和B的信息。

在过去，我使用一个带有自己规则文件的jena推理器来得到这个结果，但现在我想切换到一个标准的OWL DL推理器。

a onto:hasB b

和ad为a提供Temp类型,对Temp有以下限制：

hasbB some B

现在我要创建一个新的C类个体,并对TEMP进行限制：

hasC some C

通过这个新的个人资料，我可以访问a和B的信息。

null

用一个更好的例子来阐明我的目标：

我有一个包含不同类型事件的本体论。

我的目标是通过形成一个新的个体（事件），在推理器的帮助下描述这种关系，将某些属于一起的个体（事件）联系起来。

null

(alarm1 rdf:type "Alarm")
(out1 rdf:type "PowerOutage")

(alarm1 rdf:type "Alarm")
(out1 rdf:type "PowerOutage")
(man1 rdf:type "PowerManipulation")
(man1 ont:hasRealtadInd alarm1)
(man1 ont:hasRealtedInd out1)

以前，我使用Jena规则和Jena推理器来完成这个任务。但我想切换到一个标准的OWL DL推理器。

有没有可能在基本的限制条件下完成这项任务？或者我需要SWRL规则，或者SPIN（见Williams下面的回答）？

Answer 1

您可以很容易地使用自旋构造函数和自旋插入来完成此操作。

http://www.w3.org/submission/2011/subm-spin-modeling-20110222/#spin-rules-construct

http://www.w3.org/submission/2011/subm-spin-modeling-20110222/#spin-rules-update

def model = new GroovyRdfModel()
model.add(""" some turtle data """)
model.add(""" some OWL rules """)
model.add(""" some SPIN rules """)
def inferredModelByOWLReasoning = model.owl()
def inferredModelBySPINRules = model.spin()