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

模态描述逻辑的模型 被引量：7

THE MODEL OF MODAL DESCRIPTION LOGIC
下载PDF
导出
摘要 本文主要讨论描述逻辑ALC的模态扩充,介绍扩充后所得的模态描述逻辑MALC的语法与语义,然后定义了模态描述逻辑的不交并模型、生成子模型的模型构造方法,并且证明他们具有的性质。 In this paper, we mainly discuss the modal extension of description logic ALC.The syntax and semantics of MALC are introduced. We then define the disjoint unions model and generated sub-models of MALC,and prove some of their properties.
作者 余泉 王驹
机构地区 黔南民族师范学院数学系 广西师范大学数学科学学院
出处 《南京大学学报（数学半年刊）》 CAS 2007年第2期222-237,共16页 Journal of Nanjing University(Mathematical Biquarterly)
基金 国家自然科学基金(No.60573010 No.60663001) 广西青年科学基金(No.0447032) 广西青年科学基金(No.0640030) 黔南民族师范学院科研项目的支持
关键词 描述逻辑 模态逻辑 扩充 description logic, modal logic, expansion
分类号 O141.4 [理学—基础数学]
  • 相关文献

参考文献14

  • 1Baader F Ralf Kusters ,Frank Wolter. Extensions to Description Logi. In: F Baader et al, eds, The Description Logic Handbook: Theory, Implementation and Applications. Cambridge: Cambridge University Press, 2003: 226-270.
  • 2Baader F and Laux A. Terminological Logics with Modal Operators.In C. Mellish,editor, Proceedings of the 14th International Joint Conference on Artifical Intelligence, pages 808-814,Montreal,Canada, 1995,Morgan Kaufmann.
  • 3Baader F and Ohlbach H J. A Multi-Dimensional Terminological Knowledge Representation Language. Applied Non-Classical Logics, 1995, 5: 153-197.
  • 4Wolter F and Zakharyaschev M. Modal Description Logics: Modalizing Roles. Fundamentae Informaticae, 1999, 39: 411-438.
  • 5Wolter F and Zakharyaschev M. Satisfiability Problem in Description Logics with Modal Operators. In Proceedings of the Fifth Conference on Principles of Knowledge Representation and Reasoning,Montreal,Canada, 1998.Morgan Kaufman.
  • 6Wolter F and Zakharyaschev M. Temporalizing Description Logic. In D.Gabbay andM.de Rijke, editors,Frontiers of Combining Systems,pages 379-402.Studies Press/Wiley,1999.
  • 7Wolter F and Zakharyaschev M. Multi-Dimensional Description Logics. In D.Thomas,editor,Proceedings of the 16th International Joint Conference on ArtificalIntelligence(IJCAI-99-Voll),pages104- 109,S.F.,July31-Aug.61999.Morgan Kaufmann Publishers.
  • 8Wolter F and Zakharyaschev M. Dynamic Description Logic. In K.Segerberg, M.de Rijke,H.Wansing, and M.Zakharyaschev,editors,Advances in Modal Logic,VoluMe 2.CSLI Publications,2000.
  • 9Marx M and Venema Y. Multi Dimensional Modal Logic. Kluwer Academic Publis-Hers,1997.
  • 10Sturm H and Wolter F. A Tableau Calculus for Temporal Description Logic: The expanding domain case.

同被引文献42

  • 1王驹,蒋运承,申宇铭.描述逻辑系统vL循环术语集的可满足性及推理机制[J].中国科学（F辑:信息科学）,2009,39(2):205-211. 被引量：17
  • 2Blackburn P, de Rijke M, de Venema Y. Modal Logic[ M]. Cambridge: Cambridge University Press,2001 : 50 - 122.
  • 3Baader F, Ohlbaeh H J. A multi - dimensional terminological knowledge representation language[J]. Applied Non- Classical logics, 1995(5) :153 - 197.
  • 4Wolter F,Zakharyaschev M. Modal description logics: modalizing roles [ J]. Fundamental Information, 1999 ( 39 ) : 411 - 438.
  • 5F.Baader and A.Laux.Terminological logics with modal operators[C].In C.Mellish,editor,Proceedings of the 14th International Joint Conference on Artifical Intelligence, Montreal,Canada, Morgan Kaufmann , 1995 : 808-814.
  • 6F.Baader and H.J.Ohlbach.A multi-dimensional terminological knowledge repr-Esentation language [J].Applied Non-Classical Logics , 1995, (5):153-197.
  • 7F.Wolter and M.Zakharyaschev. Modal description logics: modalizing roles[J].Fundamentae Informaticae, 1999, (39):411- 438.
  • 8Melvin Fitting ,Richard L.Mendelsohn. First-order Modal Logic [M]. Klluwer Academic Publishers / Dordrecht/ Boston/ London, 1998.
  • 9F Baader, W Nutt. Basic Description Logic. In: F Baader et al, eds, The Description Logic Handbook: Theory, Implementation and Applications[M]. Cambridge: Cambridge University Press, 2003: 47-100.
  • 10Patrick Blackburn, Maartan de Rijke, Yde Venema.Modal Logic[M]. Cambridge: Cambridge University Press, 2001: 50-122.

引证文献7

二级引证文献1

南京大学学报（数学半年刊）
2007年 第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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