基于逻辑映射的时空本体构造

摘要：

时间和空间的表示和推理是人工智能研究中重要的组成部分.随着时空信息在地理信息系统、时空数据库、CAD/CAM等领域的重要应用,时空信息的本体表示越来越受到人们的重视.目前时空本体的构造都是基于一阶谓词逻辑,不能直接应用最新的OWL本体语言描述,不利于其在语义Web上的表示和应用.为解决这一问题,该文研究了使用一阶谓词逻辑到描述逻辑的逻辑映射构造的时空本体,给出了基于Web本体语言OWL的时空本体在Protege环境中的具体实现.

关键词：本体、时空推理、描述逻辑、语义Web

所属期刊栏目：31

分类号：TP312(计算技术、计算机技术)

资助基金：国家自然科学基金69883003,601 73006;国家高技术研究发展计划863计划2001AA115160;吉林大学校科研和教改项目2002CX028

在线出版日期：2005-06-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：139-141