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

Tableau算法在粗逻辑知识推理中的应用 被引量：3

Research on application of Tuableau algorithm in rough-logical knowledge reasoning
下载PDF
导出
摘要 Tableau算法是本体推理部分描述逻辑中用于ABox一致性检验的算法,基于二值逻辑,不能完成多值概念的一致性检测。将粗糙逻辑的基本思想植入描述逻辑体系中,并改进了Tableau算法,使粗糙描述逻辑能够完成对粗糙概念的推理任务,为基于语义的本体知识检索奠定了技术基础。 Tableau Algorithm is used for the uniformity testing in ontology knowledge reasoning of DLs, which is based on two-value logics, it can not realize the uniformity testing for multiple-valued concepts. This paper took the fundamental ideal to the system of DLs, improved Tableau Algorithm by introducing approximate precision for the target of completing the reasoning assignments of RDLS to rough concepts, Which laid the foundation for 0ntology-based semantic knowledge retrieval technology.
作者 阎红灿 闫宏图 刘保相
机构地区 河北联合大学理学院 中海石油(中国)有限公司天津分公司
出处 《贵州师范大学学报（自然科学版）》 CAS 2013年第1期40-43,共4页 Journal of Guizhou Normal University：Natural Sciences
基金 河北省自然科学基金(A2011209046 GR(k))资助
关键词 描述逻辑 粗糙逻辑 Tuableau算法 知识推理 description logics（DLs） rough logic tableau algorithm knowledge reasoning
分类号 TP391 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献11

  • 1Baader F,Calvanese D,McGuinness D. The Description Logic Handbook[M].Cambridge:Cambridge University Press,2003.
  • 2石莲,孙吉贵.描述逻辑综述[J].计算机科学,2006,33(1):194-197. 被引量：42
  • 3Baader F,Horrocks I,Sattler U. Description logics as ontology languages for the semantic web[A].Springer-verlag,2003.
  • 4常亮,王娟,古天龙,董荣胜.时态描述逻辑ALC-LTL的Tableau判定算法[J].计算机科学,2011,38(8):150-154. 被引量：5
  • 5周鑫,张建军.基于描述逻辑的语义Web本体研究[J].科学技术与工程,2007,7(3):329-333. 被引量：5
  • 6蒋运承,汤庸,王驹,周生明.面向语义Web的描述逻辑[J].模式识别与人工智能,2007,20(1):48-54. 被引量：15
  • 7Pawlak Z. Rough Logic[J].Bulletin Of The Polish Academy Of Sciences Technology Sciences,1987,(05):253-258.
  • 8Brachman R J,Sehmolze J G. An overview of the KL-ONE knowl-edge representation system[J].Cognitive Science,2005,(02):171-216.
  • 9Peltason C. The BACK system-an overview[J].SIGART Bulletin,1991,(03):114-119.
  • 10Franz Baader,Rafael Penaloza. Automata-based axiom pinpointing[A].Berlsn:Springer-Verlag,2008.226-241.

二级参考文献67

  • 1刘亚彬,陈岗.基于描述逻辑的空间推理研究[J].计算机科学,2004,31(8):110-112. 被引量：3
  • 2史忠植,董明楷,蒋运承,张海俊.语义Web的逻辑基础[J].中国科学（E辑）,2004,34(10):1123-1138. 被引量：71
  • 3梅婧,林作铨.从ALC到SHOQ(D):描述逻辑及其Tableau算法[J].计算机科学,2005,32(3):1-11. 被引量：34
  • 4Description Logic. home page http://dl.kr.org/.
  • 5Baader F, Nutt W. Basic Description Logics. In: Baader F, McGuinness, Nardi D, et al. eds. The Description Logic Handbook, Chapter2. Cambridge Univ Press,2003.
  • 6De Giacomo G, Lenzerini M. TBox and ABox Reasoning in Expressive Description Logics. KR 1996. 316-327.
  • 7Brachman R J, Levesque H J. The tractability of subsumption in frame-based description languages. In:Proceedings of the 4th National Conference of the American Association for Artificial Intelligence (AAAIr84) ,Austin, TX, 1984. 34-37.
  • 8Baader F, Horrocks I, Sattler U. Description logics as ontology languages for the semantic web. In: Hutter D, Stephan W, eds.Festschrift in honor of Jorg Siekmann, Lecture Notes in Artificial Intelligence. Springer, 2003.
  • 9Brachman R J, Sehmolze J G. An overview of the KL-ONE knowledge representation system. Cognitive Science, 1985,9 (2) : 171-216.
  • 10Mays E,Dionne R,Weida R. K REP system overview. SIGART Bulletin, 1991,2(3).

共引文献60

同被引文献30

  • 1王驹,蒋运承,申宇铭.描述逻辑系统vL循环术语集的可满足性及推理机制[J].中国科学（F辑:信息科学）,2009,39(2):205-211. 被引量：17
  • 2梅婧,林作铨.从ALC到SHOQ(D):描述逻辑及其Tableau算法[J].计算机科学,2005,32(3):1-11. 被引量：34
  • 3石莲,孙吉贵.描述逻辑综述[J].计算机科学,2006,33(1):194-197. 被引量：42
  • 4甘健侯,姜跃,夏幼明.本体方法及其应用[M].北京:科学出版社,2011:188-189.
  • 5Baader F,Nutt W.Basic description logics.In:Baader F,Calvanese D,McGuinness D,Nardi D,Patel-Scheider P F,(eds.)The Description Logic Handbook:Theory,Implementation,and Applications[M].Cambridge University Press,2003.
  • 6{Horrocks03} Horrocks I,Patel-Schneider P F,Harmelen F V.From SHIQ and RDF to OWL:The making of a Web ontology language[J].Journal of Web Semantics.2003,(1):7-26.
  • 7王洪微.知识本体模型下的不一致推理机制研究[D]//大连海事大学,2013.
  • 8余泉,王驹.模态描述逻辑的模型[J].南京大学学报（数学半年刊）,2007,24(2):222-237. 被引量：7
  • 9Baader F, Calvanese D, McGuinness D, et al. The description logic handbook [ M ]. Cambridge, UK : Cambridge University Press, 2003.
  • 10Straccia U. Reasoning within fuzzy description logic [ J ]. Jour- nal of Artificial Intelligence Research, 2002, 14 ( 1 ) : 137 - 166.

引证文献3

贵州师范大学学报（自然科学版）
2013年 第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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