Concept Contraction in the Description Logic EL
Concept Contraction in the Description Logic EL
复制标题
DOI：
10.24963/kr.2020/74
复制
发表时间：
2020-06
期刊：
影响因子：
--
通讯作者：
Tjitze Rienstra;C. Schon;Steffen Staab;Steffen Staab
中科院分区：
文献类型：
--
作者：
Tjitze Rienstra;C. Schon;Steffen Staab;Steffen Staab
本文研究了描述逻辑EL的概念压缩问题。概念收缩涉及以下问题：给定两个概念C和D（有趣的情况是D包含C），我们如何找到不被D包含但在其他方面与C尽可能相似的C的概括？我们采用agm风格的方法，并使用概念收缩算子的概念对这个问题建模。我们考虑构造定义和概念收缩的公设集合，并通过表示定理将两者联系起来。
In this paper we study the problem of concept contraction for the description logic EL. Concept contraction is concerned with the following question: Given two concepts C and D (with the interesting case being that D subsumes C) how can we find a generalisation of C that is not subsumed by D but is otherwise as similar as possible to C? We take an AGM-style approach and model this problem using the notion of a concept contraction operator. We consider constructive definitions as well as sets of postulates for concept contraction,and link the two by means of representation theorems.