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

描述逻辑研究进展 被引量：1

Survey of Research on Description Logic
下载PDF
导出
摘要 介绍了描述逻辑系统的结构,对基本的描述逻辑语言以及推理机制进行了描述。重点概述了描述逻辑的动态扩展、模糊以及概率扩展的研究状况,并根据其应用领域对描述逻辑的研究趋势及其更新进展进行了介绍。 Description logic（DL） is a formal language for representing knowledge and it is a decidable subset of first-order logic. As an effective mechanism of knowledge representation, description logci is extensively applied to various fields of computer science. The architecture of DL system is introduced and the basic DL languages as well as their reasoning mechanism of DL are described. The current research progresses about dynamic extension and fuzzy extension as well as possibility extension to DL are summarized. The research trends and update to DL are presented according to applications of DL.
作者 张燕
机构地区 江苏省邮电技工学校
出处 《江南大学学报（自然科学版）》 CAS 2010年第1期122-126,共5页 Joural of Jiangnan University (Natural Science Edition)　
关键词 描述逻辑 知识表示 推理机制 description logic, knowledge representation, reasoning mechanism
分类号 TP11 [自动化与计算机技术—控制理论与控制工程]
  • 相关文献

参考文献33

  • 1Baader F, Nutt W. Basic description logics [ C ]. Baader F, McGuinness, Nardi D, et al. The Description Logic Handbook. Cambridge : Cambridge University Press ,2003.
  • 2Sattler U. A concept language extended with different kinds of transitive roles [ C ]. Gorz G, Holldobler S. In 20th Deutsche Jahrestagung fur Kilnstliche Intclligenz. Berlin : Springer-Verlag, 1996,1137:333-345.
  • 3Schild K. A correspondence theory for terminological logics: preliminary report [ C ]. John Mylopoulos, Ray Reiter. Proceedings of the 12th on Artificial Intelligence(IJCAI'91 ). Sydney, Australia: [ s. n. ], 1991:466-471.
  • 4Lutz C. The complexity of reasoning with concrete domains : [ ph. D thesis ]. LuFG Theoretical Computer Science, RWTH. Aachen, Germany: Rheinsci-Wesffalische Technische Hochsule, 2002.
  • 5Brachman R J, Levesque H J. The tractability of subsumption in frame-based description languages [ C ]//Proceedings of the 4th National Conference of the American Association for Artificial Intelligence (AAAI-84). Austin, TX, [ s. n. ] , 1984:34-37.
  • 6Schmidt-Schauβ M,Smolka G. Attributive concept descriptions with complements [ J]. Artificial Intelligence Journal, 1991,48 (1) :1-26.
  • 7梅婧,林作铨.从ALC到SHOQ(D):描述逻辑及其Tableau算法[J].计算机科学,2005,32(3):1-11. 被引量：34
  • 8Armin Laux. Beliefs in multi-agent worlds: a terminological approach [ C ]//Proc of the 11 th Eur Conf on Artificial Intelligence. Amsterdam, The Netherlands : [ s. n. ], 1994:299-303.
  • 9Franz Baader, Armin Laux. Terminological logics with modal operators [ C ]// Proc of the 14th Int Joint Conf on Artificial Intelligence. Montreal, Canada, 1995. Morgan Kaufmann, Los Altos : [ s. n. ], 1995 : 808-814.
  • 10Franz Baader, Hans-Jurgen Ohlbach. A multi-dimensional terminological knowledge representation language[ J]. J of Applied Non-Classical Logics, 1995,5 : 153-197.

二级参考文献49

  • 1史忠植,蒋运承,张海俊,董明楷.基于描述逻辑的主体服务匹配[J].计算机学报,2004,27(5):625-635. 被引量：62
  • 2Available at: http://www.w3.org/2000/Talks/1206.xml2k-tbl/slide10-0.htmlwq
  • 3Horrocks I. Using an expressive description logic: FaCT or fiction? In: Proc. of the 6th Int. Conf. on Principles of Knowledge Representation and Reasoning(KR'98),2001. 199～204
  • 4Haarslev V,Mol1er R. RACER system description. In:Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR'2001), volume 2083 of Lecture Notes in Artificial Intelligence ,Spinger, 2001. 701～705
  • 5Savitch W J. Relationships between nondeterministic and deterministic tape complexities. Journal of Computer and System Sciences,1970,4(2) :177～192
  • 6Grosof B N,Horrocks I,Volz R,Decker S. Description logic programs: Combining logic programs with description logic. In:Proc.of the Twelfth International World Wide Web Conference (WWW 2003) ,ACM, 2003. 48～57
  • 7Baader F, Nutt W. Handbook of Description Logic, the second chapter. Cambridge University Press, Jan. 2003
  • 8Schmidt-Schauβ M, Smolka G. Attributive concept descriptions with complements. Artificial Intelligence, 1991,48(1): 1～26
  • 9Sattler U. A concept language extended with different kinds of transitive roles. In 20. Deutsche Jahrestagung fur KI,LNAI 1137.Springer-Verlag, 1996
  • 10Horrocks I,Gough G. Description logics with transitive roles. In:M.-C. Rousset, R. Brachmann, F. Donini, E. Franconi, I. Horrocks, and A. Levy,eds, Proc. of DL'97,1997.25～28

共引文献120

同被引文献10

  • 1PFISTERER D, ROMER K, BIMSCHAS D, et al. SPITFIRE:toward a semantic Web of things[ J ]. Communications Magazine ,2011,49 (11) :40-48.
  • 2ZHANG Xiang, CHENG Gong, QU Yu-zhong. Ontology summariza- tion based on RDF sentence graph [ C ] //Proc of the 16th Interna- tional Conference on World Wide Web. [ S. 1. ] : ACM Press, 2007 : 707-716.
  • 3BARNAGHI P, WANG Wei, HENSON C, et al. Semantics for the Intemet of things: early progress and back to the future[ J]. Interna- tional Journal on Semantic Web and Information Systems, 2012,8(1) :1-21.
  • 4FANG Jun. Ontology lossless summarization based on equivalence [ EB/OL]. (2013-01-16). http://www, paper, edu. cn/releasepa- per/content/201301 - 695.
  • 5LINing, MOTYA E. Evaluations of user-driven ontology summariza- tion[ C]//Proc of the 17th International Conference on Knowledge Engineering and Management by the Masses. Berlin:Springer, 2010: 544-553.
  • 6FOKOUE A, KERSHENBAUM A, MALi, et al. The summary Abox:cutting ontologies down to size[ C]//Proc of the 5th Interna- tional Semantic Web Conference. Berlin:Springer,2006:343-356.
  • 7ALANI H, HARRIS S, O' NEIL B. Winnowing ontologies based on application use[ C]//Proc of the 3rd European Semantic Web Confer- ence. Berlin :Springer,2006 : 185-199.
  • 8黄映辉,李冠宇.语义物联网:物联网内在矛盾之对策[J].计算机应用研究,2010,27(11):4087-4090. 被引量：13
  • 9黄映辉,李冠宇.物联网:语义、性质与归类[J].计算机科学,2011,38(1):31-33. 被引量：19
  • 10黄映辉,李冠宇.物联网:标志性特征与模型描述[J].计算机科学,2011,38(B10):4-6. 被引量：9

引证文献1

江南大学学报（自然科学版）
2010年 第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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