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

语义Web的逻辑基础 被引量：71

原文传递
导出
摘要 分析了目前语义Web理论的研究现状和存在的问题, 分析了用传统描述逻辑作为语义Web逻辑基础的不充分性, 根据语义Web的特点和需求, 提出了一种新的动态描述逻辑DDL, 该DDL将静态知识和动态知识表示与推理有机地整合在一起. 特别的是, 给出了具体的动作描述方法, 并按照传统描述逻辑的语义解释方法给出了动作的语义解释, 从而该DDL形成了一种能同时处理静态知识和动态知识的统一的形式化逻辑框架. 该DDL具有清晰的语义特征, 既提供了可判定的推理服务, 又能有效地对静态知识、动态过程和运行机制进行表示和推理(动作的可实现性和动作之间的包含关系), 因此, 提出的动态描述逻辑DDL可以为语义Web提供合理的逻辑基础, 弥补了传统描述逻辑作为语义Web逻辑基础的不足.
作者 史忠植 董明楷 蒋运承 张海俊
机构地区 中国科学院计算技术研究所智能信息处理重点实验室
出处 《中国科学（E辑）》 CSCD 北大核心 2004年第10期1123-1138,共16页 Science in China(Series E)
基金 国家八六三计划(批准号: 2001AA113121) 国家自然科学基金 (批准号: 90104021)资助项目
关键词 语义WEB 描述逻辑 DDL 知识表示 推理 动态 形式化 逻辑基础 存在 传统
分类号 TP393.092 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献15

  • 1Berners-Lee T, Hendler J, Lassila O. The semanticWeb. Scientific American, 2001, 284(5): 34-43
  • 2http://www.w3.org/TR/daml+oil-reference
  • 3http://www.w3.org/TR/owl-ref/
  • 4Horrocks I. DAML+OIL: A description logic for the semantic web. Bull of the IEEE Computer Society Technical Committee on Data Engineering, 2002, 25(1): 4-9
  • 5Horrocks I, Peter F. Patel-Schneider. Reducing OWL entailment to description logic satisfiability. In: Fensel D, Sycara D, Mylopoulos D, ed. Proc of the 2003 International Semantic Web Conference (ISWC 2003), Berlin: Springer, 2003. 17～29
  • 6Baader F, Horrocks I, Sattler U. Description logics as ontology languages for the semantic web. In: Dieter Hutter and Werner Stephan, ed. Festschrift in honor of J?rg Siekmann, Berlin: Springer, 2003
  • 7McIlraith S, Son T C, Zeng H. Semantic web services. IEEE Intelligent Systems, Special Issue on the Semantic Web, 2001, 16(2): 46-53
  • 8Baader F, et al. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge: Cambridge University Press, 2002
  • 9Lutz C, Sattler U. A Proposal for Describing Services with DLs. In: Horrocks, Tessaris S, ed. Proceedings of the 2002 International Workshop on Description Logics, Aachen : CEUR-WS, 2002. 129-140
  • 10Wolter F, Zakharyaschev M. Dynamic description logic. In Segerberg K, et al, ed. Advances in Modal Logic, Vol 2. Stanford: CSLI Publications, 2000. 449-463

二级参考文献11

  • 1Baader F, et al. The Description Logic Handbook: Theory,Implementation and Applications. Cambridge: Cambridge University Press, 2002.
  • 2Brachman R J, Schmolze J G. An overview of the KL-ONE knowledge representation system. Cognitive Science, 1985, 9(2): 171-216.
  • 3Schmidt-Schauβ M, Smolka G. Attributive concept descriptions with complements. Artificial Intelligence, 1991, 48(1) : 1-26.
  • 4Reiter R. A logic for default reasoning. Artificial Intelligence,1980, 13(1): 81-132.
  • 5McCarthy J. Circumscription-A form of non-monotonic reasoning. Artificial Intelligence, 1980, 13(1): 27-39.
  • 6Brewka G. Nonmonotonic Reasoning- Logical Foundations of Commonsense. Cambridge: Cambridge University Press, 1991.
  • 7Baader F, Hullunder B. Embedding defaults into terminological representation systems. Journal of Automated Reasoning,1995, 14(1): 149-180.
  • 8Baader F, Hollunder B. Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic. Journal of Automated Reasoning, 1995, 15(1): 41-68.
  • 9Haarslev V, Moeller R, Turhan A Y, Wessel M. On terminological default reasoning about spatial information: Extended abstract. In: Proceedings of the International Workshop on Description Logics (DL' 99), Linkoping, Sweden, 1999. 155-159.
  • 10Lambrix P, Shahmehri N, Wahlloef N. A default extension to description logics for use in an intelligent search engine. In:Proceedings of the 31st Hawaii International Conference on System Sciences, Volume V - Modeling Technologies and Intelligent Systems Track, Hawaii, 1998. 28-35.

共引文献52

同被引文献774

引证文献71

二级引证文献340

中国科学（E辑）
2004年 第10期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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