On the (non-)succinctness of uniform interpolation in general EL terminologies

Authors:
Nadeschda Nikitina;Sebastian Rudolph
Affiliations:
Karlsruhe Institute of Technology, Karlsruhe, Germany;Karlsruhe Institute of Technology, Karlsruhe, Germany
Venue:
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Year:
2012

Citing 6
Cited 0

The Description Logic Handbook

The Description Logic Handbook
Pushing the EL envelope

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Deciding inseparability and conservative extensions in the description logic EL

Journal of Symbolic Computation
Forgetting and uniform interpolation in large-scale description logic terminologies

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Foundations for uniform interpolation and forgetting in expressive description logics

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Reasoning-supported interactive revision of knowledge bases

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two

Quantified Score

Hi-index	0.00

Visualization

Abstract

In view of the practical deployment of OWL [9] based on description logics [2], the importance of non-standard reasoning services for supporting ontology engineers was pointed out, for instance, in [8]. An example of such reasoning services is that of uniforminterpolation: given a theory using a certain vocabulary, and a subset Σ of "relevant terms" of that vocabulary, find a theory that uses only Σ terms and gives rise to the same consequences (expressible via Σ) as the original theory.