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

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

Abstract: Temporal and spatial reasoning remains one of the most important parts in the artificial intelligence research. With their more and more applications in the fields of GIS, spatio-temporal database, CAD/CAM etc. ontology representation of spatio-temporal information is gaining recognition these years. Currently, the construction of spatio-temporal ontology is based on FOL, and can not utilize the Web ontology language OWL; this bans its applications on the semantic Web. To address this problem, the paper investigates how to use logic mapping from FOL to description logic to represent the formalized spatio-temporal ontology, and gives the concrete the OWL spatio-temporal ontolgoy in protégé environment.

中图分类号: 

• TP18