| 基于逻辑映射的时空本体构造 |
| |
| 引用本文： | 胡鹤,刘大有,胡志永. 基于逻辑映射的时空本体构造[J]. 计算机工程, 2005, 31(10): 139-141 |
| |
| 作者姓名： | 胡鹤 刘大有 胡志永 |
| |
| 作者单位： | 中国人民大学信息学院,北京,100872;吉林大学计算机科学与技术学院,长春,130061;吉林省经济管理干部学院,长春,130061 |
| |
| 基金项目： | 国家自然科学基金资助项目(69883003,60173006)，国家“863”计划基金资助项目(2001AA115160)，吉林大学创新基金资助项目(2002CX028) |
| |
| 摘 要： | 时间和空间的表示和推理是人工智能研究中重要的组成部分。随着时空信息在地理信息系统、时空数据库、CAD/CAM等领域的重要应用,时空信息的本体表示越来越受到人们的重视。目前时空本体的构造都是基于一阶谓词逻辑,不能直接应用最新的OWL本体语言描述,不利于其在语义Web上的表示和应用。为解决这一问题,该文研究了使用一阶谓词逻辑到描述逻辑的逻辑映射构造的时空本体,给出了基于Web本体语言OWL的时空本体在Protégé环境中的具体实现。
|
| 关 键 词： | 本体 时空推理 描述逻辑 语义Web |
| 文章编号： | 1000-3428(2005)10-0139-03 |
Spatio-temporal Ontology Construction Based on Logic Mapping |
| |
| HU He,LIU Dayou,Hu Zhiyong. Spatio-temporal Ontology Construction Based on Logic Mapping[J]. Computer Engineering, 2005, 31(10): 139-141 |
| |
| Authors: | HU He LIU Dayou Hu Zhiyong |
| |
| Affiliation: | HU He1,LIU Dayou2,HU Zhiyong3 |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
