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

适用于空间推理的DLSR(DP)描述逻辑

Descriptin Logic DLSR(DP) for Spatial Reasoning
下载PDF
导出
摘要 本文扩展了描述逻辑ALC(D)并提出了空间推理的描述逻辑DLSR(DP),在利用描述逻辑进行空间推理时,通过术语推理把定性信息和定量信息相结合。 This paper extends the description logic ALC(D) and developes a description logic DLSR(DP) for spatial reasoning. In spatial reasoning by this description logic, we can integrate quantitative and qualitative information with terminological reasoning.
作者 刘亚彬 陈岗
机构地区 上海财经大学信息系
出处 《计算机科学》 CSCD 北大核心 2004年第7期188-191,共4页 Computer Science
基金 国家自然科学基金(空间推理和空间知识表示研究及应用69883003) 国家836高科技项目基金(农业专家系统开发平台836-306-ZB05-01-2) 吉林大学符号计算与知识工程国家教育部开放实验室基金
关键词 空间推理 描述逻辑 ALC DLSR Concrete domain, Description logic, ALC(D), DLSR(DP), Spatial reasoning
分类号 TP182 [自动化与计算机技术—控制理论与控制工程]
  • 相关文献

参考文献11

  • 1[1]Baader F,Hanschke P. A scheme for integrating concrete domain into concept languages. In:Twelfth Intl. Joint Conf. Artificial Intelligence, Aug. 1991. 452～457
  • 2[2]Lutz C. Reasoning with concrete domain. In:Proc. of the Sixteenth Intl. Joint Conf. on Artificial Intelligence IJCAI-99, Stockholm, Sweden, 1999
  • 3[3]Lutz C. Reasoning with Complexity of terminological reasoning revisited. In: Proc. of the 6th Intl. Joint Conf. on Logic for Programming and Automated Reasoning(LPA'99), number 1705 in Lecture Notes in Artificial Intelligence, Springer-Verlag, Step.1999. 181～200
  • 4[4]Horrocks I,Sattler U,Tessaris S,Tobies S. Query Containment using a DLR ABox: [ LTCS-Report 00-15]. LuFG Theoretical Computer Science, RWTH Aachen, Germany
  • 5[5]Borgida A , Franconi E, Horrocks I, McGuinness D. Explaining ALC subsumption. In:Proc. of DL'99,1999. 37～40
  • 6[6]Artele A,Franconi E.A terporal description logic for reasoning about action and plans. In:J. Doyle, E. Sandewall,P. Torasso,eds. Fourth Intl. Conf. on Principles of Knowledge Representation, May 1994
  • 7[7]Faltings B. Qualitative spatial reasoning using algebraic topology.In A U Frank and W Kuhn, editors, Spatial Information Theory:a theoretical basis for GIS, volume 988 of Lecture Notes in Computer Science, Springer-Verlag,1995.17～30
  • 8[8]Randell D A,Cui Z, Cohn A G. A spatial logic based on regions and connection. In:B. Nebel, W. Swartout, C. Rich, eds. Principles of Knowledge Representation and Reasoning of the 3rd Intl.Conf. Cambridge MA,Morgan Kaufmann,1992. 165～176
  • 9[9]Baader F,Hanschke P. A scheme for integrating concrete domains into concept languages. In: Twelfth Intl. Joint Conf. Artificial Intelligence, Aug. 1991. 452～457
  • 10[10]Nebel B. Computational properties of qualitative spatial reasoning: First results. In: I. Wachsmuth, C. -R. Rollinger, W.Brauer, eds. Proc. KI-95: Advances in Artificial Intelligence,19th Annual German Conf. on Artificial Intelligence, Volume 981of LNAI, Springer-Verlag, Sep. 1995.233～244
计算机科学
2004年 第7期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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