期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于Racer和nRQL的本体查询与推理 被引量：3

Ontology Query and Reasoning Based on Racer& nRQL
下载PDF
导出
摘要 语义网技术的兴起促进了本体技术的发展,本体作为语义网的基石,在知识表示与知识推理方面发挥着重要作用。本体描述语言与描述逻辑相结合,为本体推理的合理性和有效性提供了保证。在介绍描述逻辑及其系统的有关概念与查询推理机制的基础上,重点讨论了推理机Racer及其查询语言nRQL的功能,开发了一个基于Racer和nRQL的智能信息查询程序并应用于大学本体的信息查询。
作者 李信本 陈仲委
机构地区 浙江万里学院计算机与信息学院
出处 《计算机系统应用》 2007年第5期33-36,共4页 Computer Systems & Applications
基金 浙江省教育厅资助项目(20050208)
关键词 本体 描述逻辑 推理机 Raoer nRQL
分类号 TP311.13 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献4

  • 1Z. Zhang J. Miler, Ontology Query Languages fop The Semantic Web.
  • 2F. Baader, etc. editors. The Description Logic Handbook: Theory, Implementation and Application. Cambridge University Press.2003.472 - 494.
  • 3史忠植,董明楷,蒋运承,张海俊.语义Web的逻辑基础[J].中国科学（E辑）,2004,34(10):1123-1138. 被引量：71
  • 4Racer Systems GmbH & Co. KG. RacerPro Reference manual v1.9. 200.

二级参考文献15

  • 1Berners-Lee T, Hendler J, Lassila O. The semanticWeb. Scientific American, 2001, 284(5): 34-43
  • 2http://www.w3.org/TR/daml+oil-reference
  • 3http://www.w3.org/TR/owl-ref/
  • 4Horrocks I. DAML+OIL: A description logic for the semantic web. Bull of the IEEE Computer Society Technical Committee on Data Engineering, 2002, 25(1): 4-9
  • 5Horrocks I, Peter F. Patel-Schneider. Reducing OWL entailment to description logic satisfiability. In: Fensel D, Sycara D, Mylopoulos D, ed. Proc of the 2003 International Semantic Web Conference (ISWC 2003), Berlin: Springer, 2003. 17～29
  • 6Baader F, Horrocks I, Sattler U. Description logics as ontology languages for the semantic web. In: Dieter Hutter and Werner Stephan, ed. Festschrift in honor of J?rg Siekmann, Berlin: Springer, 2003
  • 7McIlraith S, Son T C, Zeng H. Semantic web services. IEEE Intelligent Systems, Special Issue on the Semantic Web, 2001, 16(2): 46-53
  • 8Baader F, et al. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge: Cambridge University Press, 2002
  • 9Lutz C, Sattler U. A Proposal for Describing Services with DLs. In: Horrocks, Tessaris S, ed. Proceedings of the 2002 International Workshop on Description Logics, Aachen : CEUR-WS, 2002. 129-140
  • 10Wolter F, Zakharyaschev M. Dynamic description logic. In Segerberg K, et al, ed. Advances in Modal Logic, Vol 2. Stanford: CSLI Publications, 2000. 449-463

共引文献70

同被引文献33

引证文献3

二级引证文献8

计算机系统应用
2007年 第5期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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