Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity
Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity
复制标题
DOI：
--
复制
发表时间：
2004-06
期刊：
影响因子：
--
通讯作者：
K. Kaneiwa;R. Mizoguchi
中科院分区：
文献类型：
--
作者：
K. Kaneiwa;R. Mizoguchi
虽然排序和一元谓词在有序逻辑中语义上是相同的，但它们在形式本体中被分类为不同类型的属性（例如排序和非排序）。本体论分析是知识表示和推理中处理对象属性（或种类）的基本概念。本文提出了具有本体论性质分类的有序逻辑的扩展。该逻辑包含类型（刚性排序）、非刚性排序和一元谓词，以区别地表达属性：实体排序、非实体排序和非排序属性。我们在知识库中为这些属性表达式定义了一个排序的霍恩子句演算。在此基础上，我们开发了一种针对多个独立知识库的推理算法，其中每个知识库可以从其他知识库中提取刚性属性信息（称为刚性属性派生）。
Although sorts and unary predicates are semantically identical in order-sorted logic, they are classified as different kinds of properties in formal ontology (e.g. sortal and non-sortal). This ontological analysis is an essential notion to deal with properties (or sorts) of objects in knowledge representation and reasoning. In this paper, we propose an extension of an order-sorted logic with the ontological property classification. This logic contains types (rigid sorts), non-rigid sorts and unary predicates to distinguishably express the properties: substantial sorts, non-substantial sorts and non-sortal properties. We define a sorted Horn-clause calculus for such property expressions in a knowledge base. Based on the calculus, we develop a reasoning algorithm for many separated knowledge bases where each knowledge base can extract rigid property information from other knowledge bases (called rigid property derivation).