基于ALC的空间语义知识库

ALC based spatial semantic knowledgebase

基于经典描述逻辑ALC,提出了空间语义知识的表示方法和可判定的推理算法。将空间关系表达为一类特殊的概念,空间关系的基本运算采用公理系统表达,空间约束满足问题求解和逻辑术语推理可以在同一个推理机下进行。首次实现了空间关系和语义知识相结合并且可判定的推理,同时支持多元空间关系结合推理。此前的同类方法都是不可判定的。理论分析、应用实例和相关工作对比均显示该方法解决了空间语义知识库的关键问题,具有一定的理论意义和应用价值。

The representation and decidable reasoning method for spatial semantic knowledge are proposed based on the classical description logic ALC.Spatial relations are represented by a kind of special concepts.The operations on spatial relations can be handled by axioms.The spatial constrain satisfaction problem as well as the terminological reasoning can be solved within a single reasoner.The decidable reasoning on both spatial relation and semantic knowledge is achieved for the first time,and the integration of multi-aspect spatial relation models is supported by the knowledgebase.All the previous methods are undecidable.Theoretical analysis,case application and comparison with related works all show that this method can solve the key problem of spatial semantic knowledgebase,and it possesses theoretical and practical values.