期刊文献+

RIF2Jess:应用Jess实现RIF规则推理

RIF2Jess:Inferencing RIF Rules via Translation to Jess Rules
下载PDF
导出
摘要 在分析W3C推荐标准规则交换格式(RIF)的基础上研究对其推理实现,提出使用通用规则推理引擎Jess实现对RIF格式规则的推理,给出了RIF规则到Jess格式的转换算法及正确性证明,设计了RIF2Jess系统,该系统可以完成RIF规则到Jess格式的转换并调用Jess推理引擎推理出结果.实验结果表明,RIF2Jess可以准确完成转换并推理得到正确结果. On the basis of analyzing the W3C standard recommendation rule interchange format (RIF),this paper does the researches of inferring RIF rules,brings up a method of using Jess rule engine to infer RIF rules,gives the algorithm which can translate RIF rules into Jess format and proves its correctness,designs RIF2Jess system which can translate RIF rules into Jess format and use Jess rule engine to get the result. Experiments show that this system makes the translation completely and get the result correctly. This system makes the usage of RIF rules put into practice possible.
出处 《吉林大学学报(理学版)》 CAS CSCD 北大核心 2010年第3期414-420,共7页 Journal of Jilin University:Science Edition
基金 国家自然科学基金重大项目基金(批准号:60496320 60496321) 国家自然科学基金(批准号:60773097 60873148) 欧盟项目TH/AsiaLink/010(批准号:111084)
关键词 语义WEB 规则语言 规则交换 Jess规则引擎 semantic Web rule language rule interchange Jess rule engine
  • 相关文献

参考文献11

  • 1Date C J.What Not How:the Business Rule Approach to Application Development[M].Indianapolis,America:Addison-Wesley Professional,2000:20-35. 被引量:1
  • 2Bonatti P.Rule Languages for Security and Privacy in Cooperative Systems[C] //Proceedings of the 29th Annual International Computer Software and Applications Conference (COMPSAC 2005).Washington DC:IEEE Computer Society,2005:268-269. 被引量:1
  • 3Boley H,Tabet S,Wagner G.Design Rationale of RuleML:a Markup Language for Semantic Web Rules[C] //Proceedings of Semantic Web Working Symposium (SWWS'01).Stanford:Stanford University,2001:381-401. 被引量:1
  • 4Boley H,Kifer M.Rule Interchange on the Web[C] //Proceedings of Reasoning Web.Heidelberg:Springer,2007:269-309. 被引量:1
  • 5叶育鑫,欧阳丹彤,领吉,张永刚.本体与规则整合的推理方法研究及设计[J].吉林大学学报(工学版),2009,39(5):1297-1302. 被引量:5
  • 6Boley H,Kifer M.RIF Basic Logic Dialect[EB/OL].[2008-07-30].http://www.w3.org/TR/2008/WD-rif-bld-20080730. 被引量:1
  • 7Marie C de S,Paschke A,Hallmark G.RIF Production Rule Dialect[EB/OL].[2008-12-18].http://www.w3.org/TR/2008/WD-rif-prd-20081218. 被引量:1
  • 8Friedman-Hill E.Jess in Action[M].Greenwich:Manning Publications Co.,2003:31-146. 被引量:1
  • 9Lloyd J W.Foundations of Logic Programming[M].2nd ed.Berlin:Springer,1987:30-88. 被引量:1
  • 10Grosof B,Horrocks I,Volz R,et al.Description Logic Programs:Combining Logic Programs with Description Logic[C] //Proceedings of the 12th International Conference on World Wide Web.New York:ACM,2003:48-57. 被引量:1

二级参考文献13

  • 1Eiter T, Lukaslewiez T, Schindlauer R, et al. Combining answer set programming with description logics for the semantic Web[C]//KR' 04, Whistler, Canada, 2004. 被引量:1
  • 2Wang K, Billington D, Blee J, et al. Combining description logic and defeasible logic for the semantic Web [ C] // Lecture Notes in Computer Science (LNCS), Heidelberg: Springer, 2004. 被引量:1
  • 3Ro.sati R. On the decidability and complexity of integrating ontologies and rules[J]. Web Semantics Journal, 2005, 3(1):61-73. 被引量:1
  • 4Horrocks I, Sattler U. A tableau decision procedure for SHOIQ[J]. Automated Reasoning, 2007, 39 (3) :249-276. 被引量:1
  • 5Lifschitz V. SLDNF, constructive negation and grounding[C]//ICLP-95, Tokyo, Japan, 1995. 被引量:1
  • 6Antoniou G, Harmelen F V. Web Ontology I.an guage: OWL[M]. Cambridge:The MIT Press, 2004. 被引量:1
  • 7Greco G, Greco S, Zumpano E. A logic program ming aApproach to the integration, repairing and querying of inconsistent databases [C] // Lecture Notes in Computer Science(LNCS), Heidelberg: Springer, 2001. 被引量:1
  • 8Uschold M. Where are the semantics in the semantic Web? [J]. Web Semantics: Science, Services and Agents on the World Wide Web, 2007, 5(4):225- 226. 被引量:1
  • 9Baader F, Calvanese D, McGuinness D. The De scription Logic Handbook: Theory, Implementation, and Applications[M]. Cambridge: Cambridge University Press, 2003. 被引量:1
  • 10Eiter T, Iannil G, Axel P, et al. Reasoning with rules and ontologies[J]. Lecture Notes in Computer Science, 2006, 4126:93-127. 被引量:1

共引文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部