0


利用OWL公理改进RCC导出的地理空间近似

Improving an RCC-Derived Geospatial Approximation by OWL Axioms
课程网址: http://videolectures.net/iswc08_grutter_irccdg/  
主讲教师: Rolf Grütter
开课单位: 瑞士联邦研究所
开课时间: 2008-11-24
课程语种: 英语
中文简介:
提出了一种改进RCC导出的地理空间近似的方法,该方法利用OWL中的概念包含公理。用于控制近似的算法将假设检验与基于描述逻辑的知识表示系统提供的一致性检查相结合。关于精制ABox w.r.t.的一致性的提议当与基线ABox和TBox相比时,相关的TBox被制成。当检查两者中的任何一个时,正式证明了不同的一致性结果。当使用精制的ABox和TBox时,将该方法应用于地理空间设置导致大约十倍的改进近似。讨论了进一步改进近似和自动检测错误计算关系的方法。
课程简介: An approach to improve an RCC-derived geospatial approximation is presented which makes use of concept inclusion axioms in OWL. The algorithm used to control the approximation combines hypothesis testing with consistency checking provided by a knowledge representation system based on description logics. Propositions about the consistency of the refined ABox w.r.t. the associated TBox when compared to baseline ABox and TBox are made. Formal proves of the divergent consistency results when checking either of both are provided. The application of the approach to a geospatial setting results in a roughly tenfold improved approximation when using the refined ABox and TBox. Ways to further improve the approximation and to automate the detection of falsely calculated relations are discussed.
关 键 词: 地理空间近似; 假设检验; 一致性检查
课程来源: 视频讲座网
最后编审: 2019-04-28:cwx
阅读次数: 23