以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  jena规则  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=79452)


--  作者:springbird
--  发布时间:1/11/2010 3:56:00 PM

--  jena规则
我写了一个规则,可是用程序调用时出现以下错误
Exception in thread "main" com.hp.hpl.jena.reasoner.rulesys.Rule$ParserException: Expected '(' at start of clause, found Equal
At 'Rule: ( ?x http://www.owl-ontologies.com/OntologyToCool.owl#agent ?y ) ( ?y http://www.owl-ontologies.com/OntologyToCool.owl#object ?z ) not Equal '
 at com.hp.hpl.jena.reasoner.rulesys.Rule$Parser.parseNodeList(Rule.java:915)
 at com.hp.hpl.jena.reasoner.rulesys.Rule$Parser.parseClause(Rule.java:951)
 at com.hp.hpl.jena.reasoner.rulesys.Rule$Parser.doParseRule(Rule.java:994)
 at com.hp.hpl.jena.reasoner.rulesys.Rule$Parser.parseRule(Rule.java:967)
 at com.hp.hpl.jena.reasoner.rulesys.Rule.parseRules(Rule.java:619)
 at com.hp.hpl.jena.reasoner.rulesys.FBRuleReasoner.loadRules(FBRuleReasoner.java:257)
 at com.hp.hpl.jena.reasoner.rulesys.GenericRuleReasoner.doSetParameter(GenericRuleReasoner.java:307)
 at com.hp.hpl.jena.reasoner.rulesys.FBRuleReasoner.doSetRDFNodeParameter(FBRuleReasoner.java:355)
 at com.hp.hpl.jena.reasoner.rulesys.FBRuleReasoner.loadConfiguration(FBRuleReasoner.java:95)
 at com.hp.hpl.jena.reasoner.rulesys.GenericRuleReasoner.<init>(GenericRuleReasoner.java:89)
 at com.hp.hpl.jena.reasoner.rulesys.GenericRuleReasonerFactory.create(GenericRuleReasonerFactory.java:49)
 at paperthinking.ReasonerFun.main(ReasonerFun.java:38)

我的规则文件function.rules内容如下:
Rule:(?x http://www.owl-ontologies.com/OntologyToCool.owl#agent ?y),(?y http://www.owl-ontologies.com/OntologyToCool.owl#object ?z),not Equal(?x,?z)->(?z http://www.owl-ontologies.com/OntologyToCool.owl#agent ?y)

上面的意思是如果x代理y,y实现z,且x,z不相等,那么z代理y
请问各位高手,这是什么原因呢,该如何修改呢,谢谢了


W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
2,492.188ms