期刊文献+

基于本体的知识库推理研究 被引量:17

Analysis of Knowledge Bases Reasoning Based on Ontology
下载PDF
导出
摘要 本体的应用是第二代语义Web的重要内容。利用本体构建知识库,进行逻辑判定,实现语义Web的自动推理,描述逻辑的作用十分重要。就知识库的本体描述以及在此基础上利用描述逻辑从不同角度的推理进行了研究,并分析了其内在联系。 The ontology application is a matter of primary importance in the second generation semantic Web. It holds the balance to construct Knowledge Bases(KB) and to reason for automated processes in the Web. It is studied how to descript Knowledge Bases with ontology and how to reasoning using description logics in the KB from different viewpoint. In term of newer literature, their relations are analyzed.
出处 《计算机应用研究》 CSCD 北大核心 2005年第1期50-52,87,共4页 Application Research of Computers
基金 国家自然科学基金资助项目(60275022)
关键词 本体 知识库 推理 Ontology Knowledge Bases Reasoning.
  • 相关文献

参考文献14

  • 1I Horrocks, S Tobies. Reasoning with Axioms: Theory and Practice[ C]. Proc of the 7th Int Conf on the Principles of Knowledge Representation and Reasoning ( KR' 2000) ,2000. 285-296.
  • 2Sergio Tessaris,Graham Gough. ABox Reasoning with Transitive Roles and Axioms[ C ]. Proceedings of the 1999 International Workshop on Description Logics,CEUR Pubblication, 1999.
  • 3Alexander Maedehe. Development and Applications of Ontologies[ R]. ECML / PKDD'2001 Tutorial.
  • 4Ian Horrocks, Ulrike Sattler, Ontology Reasoning in the SHOQ(D) Description Logic [ C]. Proceedings of the 17th International Joint Conference on Artificial Intelligence,2001.
  • 5F Baader, W Nutt. Basic Description Logics[ M ]. Franz Baader, Diego Calvanese,Deborah McGuinness,et al. The Description Logic Handbook: Theory, Implementation, and Applications, Cambridge University Press,2003.43-95.
  • 6B Hollunder.Algorithmie Foundations of Terminological Knowledge Representation System [ D ]. Universitat des Saarlandes, 1994.
  • 7F Baader, I Horrocks, U Saltier. Description Logics as Ontolog? languages for the Semantic Web[ C ]. Festschrift in Honor of Joerg Siekmann, Lecture Notes in Artificial Intelligence,Springer-Verlag,2003.
  • 8I Horrocks,S Tobies.Reasoning with Axioms: Theory and Practice[C].Proc. of the 7th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR'2000),2000.285-296.
  • 9Sergio Tessaris,Graham Gough.ABox Reasoning with Transitive Roles and Axioms[C].Proceedings of the 1999 International Workshop on Description Logics,CEUR Pubblication, 1999.
  • 10Alexander Maedche.Development and Applications of Ontologies[R]. ECML / PKDD'2001 Tutorial.

同被引文献171

引证文献17

二级引证文献70

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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