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

描述逻辑系统vL循环术语集的可满足性及推理机制 被引量：17

原文传递
导出
摘要 文中分析了描述逻辑循环术语集的研究现状和存在的问题,将近年来Baader F和Nebel B等人的工作扩展到新的方向.首先定义了描述逻辑的子系统vL,重新定义描述图G_T和G_J,使用互模拟的方法,给出了描述逻辑系统vL循环TBox非平凡的模型存在的、基于描述图的一个语法条件.证明:vL的包含推理算法是多项式时间复杂的.
作者 王驹 蒋运承 申宇铭
机构地区 广西师范大学计算机科学与信息工程学院
出处 《中国科学（F辑:信息科学）》 CSCD 2009年第2期205-211,共7页
基金 国家自然科学基金(批准号:60496320 60573010 60663001) 广西自然科学基金(批准号:桂科自0447032) 广西青年科学基金(批准号:0640030)资助项目
关键词 描述逻辑 循环术语集 描述图 模型
分类号 TP301 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献13

  • 1SHIZhongzhi DONGMingkai JIANGYuncheng ZHANGHaijun.A logical foundation for the semantic Web[J].Science in China(Series F),2005,48(2):161-178. 被引量：27
  • 2Franz Baader.Using automata theory for characterizing the semantics of terminological cycles[J]. Annals of Mathematics and Artificial Intelligence . 1996 (2)
  • 3Sirin E,Parsia B,Grau B C,et al.Pellet:a practical OWL-DL reasoner. J Web Semant:Sci Services Agents World Wide Web . 2007
  • 4Tsarkov D,Horrocks I.FACT++ description logic reasoner:system description. Proceedings of the 3rd International Joint Conference on Automated Reasoning(IJCAR 2006) . 2006
  • 5Haarslev V,Moller R.RACER system description. Proceedings of the 1st International Joint Conference on Automated Reasoning(IJCAR 2001) . 2001
  • 6Baader F,Calvanese D,McGuinness D L,et al.The Description Logic Handbook. . 2003
  • 7G D Giacomo,M Lenzerini.A Uniform Framework for Concept Definitions in Description Logics. Journal of Artificial Organs . 1997
  • 8M Buchheit,F M Donini,W Nutt,A Schaerf.A Refined Architecture for Terminological Systems: Terminology = Schema + Views. Artificial Intelligence . 1998
  • 9Baader,F.Using Automata Theory for Characterizing the Semantics of Terminological Cycles. Annals of Mathematics . 1996
  • 10Nebel B.Terminological cycles:semantics and computational properties. Proceedings of the Principles of Seman-tic Networks . 1991

二级参考文献1

共引文献26

同被引文献150

  • 1史忠植,董明楷,蒋运承,张海俊.语义Web的逻辑基础[J].中国科学（E辑）,2004,34(10):1123-1138. 被引量：71
  • 2SHIZhongzhi DONGMingkai JIANGYuncheng ZHANGHaijun.A logical foundation for the semantic Web[J].Science in China(Series F),2005,48(2):161-178. 被引量：27
  • 3蒋运承,汤庸,王驹.基于描述逻辑的模糊ER模型[J].软件学报,2006,17(1):20-30. 被引量：30
  • 4蒋运承,史忠植,汤庸,王驹.面向语义Web语义表示的模糊描述逻辑[J].软件学报,2007,18(6):1257-1269. 被引量：36
  • 5F.Baader, R.Kusters, and R.Molitor. Computing Least Common Subsumers in Description Logics with Existential Restrictions [C], In T.Dean, editor, Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI'99), Morgan Kaufmann, 1999:96-101.
  • 6I.Horrocks,U.Sattler, and S.Tobies.Reasoning with Individuals for the Description Logic SHIQ [C]. In David MacAllester, editor,Proceedings of the 17th International Conference on Automated Deduction (CADE- 17), number 1831 in Lecture Notes in Computer Science, Germany: Springer Verlag,2000.
  • 7Franz Baader. The instance problem and the most specific concept in the description logic EL w.r.t, terminological cycles with descriptive semantics [C]. In Proceedings of the 26th Annual German Conference on Artificial Intelligence,volume 2821 of Lecture Notes in Artificial Intelligence, Hamburg, Germany:Springer- Verlag, 2003 : 64-78.
  • 8Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter?F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications [M]. Cambridge University Press, 2003.
  • 9Baader F,Calvanese D,McGuinness D,et al.The Description Logic Handbook:Theory,Implementation and Applications.Cambridge,UK:Cambridge University Press,2003.
  • 10Baader F,Horrocks I,Sattler U.Description Logics//Staab S,Studer R,eds.Handbook on Ontologies:International Handbooks on Information Systems.London,UK:Springer,2004:3-28.

引证文献17

二级引证文献55

中国科学（F辑:信息科学）
2009年 第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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