KR2020Proceedings of the 17th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning

Rhodes, Greece. September 12-18, 2020.

Edited by
  1. Diego Calvanese
  2. Esra Erdem
  3. Michael Thielscher

ISSN: 2334-1033
ISBN: 978-0-9992411-7-2

Sponsored by
Published by

Copyright © 2020 International Joint Conferences on Artificial Intelligence Organization

Concept Contraction in the Description Logic EL

  1. Tjitze Rienstra(University of Koblenz-Landau)
  2. Claudia Schon(University of Koblenz-Landau)
  3. Steffen Staab(University of Stuttgart, University of Southampton)
PDF
BibTeX
DOI 10.24963/kr.2020/74

Keywords

  1. Belief revision and update, belief merging, information fusion-General
  2. Description logics-General
  3. KR and the Web, Semantic Web-General

Abstract

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.