Java 在规则头中处理存在变量
我想将本体的匿名超类转换并查询为数据日志规则。例如，我有一个公理，像“Java 在规则头中处理存在变量,java,prolog,owl,ontology,datalog,Java,Prolog,Owl,Ontology,Datalog,我想将本体的匿名超类转换并查询为数据日志规则。例如，我有一个公理，像“主席（某部门负责人）”，我把这个公理翻译成这样 Chair(x) <- headOf(x,y) Deaprtment(y) <- headOf(x,y) 我不懂你的翻译。在我看来，你的前两条规则并不反映猫头鹰公理。我的意思是，Chair（x）@unformeduser这就是我想问的，我应该如何翻译这个匿名猫头鹰公理。我知道这不是准确的翻译，我想了解在数据日志规则中表示这类公理的正确方法。@unformeduser
主席（某部门负责人）Chair(x) <- headOf(x,y)
Deaprtment(y) <- headOf(x,y)
我不懂你的翻译。在我看来，你的前两条规则并不反映猫头鹰公理。我的意思是，
Chair（x）@unformeduser这就是我想问的，我应该如何翻译这个匿名猫头鹰公理。我知道这不是准确的翻译，我想了解在数据日志规则中表示这类公理的正确方法。@unformeduser我已经添加了更多有疑问的信息，说明我为什么需要这种翻译。请看一看。