Istituto di Scienza e Tecnologie dell'Informazione     
Straccia U., Casini G., Meyer T. A Polynomial Time Subsumption Algorithm for EL under Rational Closure. Technical report, 2015.
In this paper we consider Description Logics (DLs) under Rational Closure (RC), a well-known framework for non-monotonic reasoning in DLs. Specifically, we address the concept subsumption decision problem under RC for the DL EL⊥, a notable DL representative of the OWL profile OWL EL. Previous subsumption decision procedures for DLs under RC have been defined for more expressive DLs. These procedures, however, do not scale down in the sense that they remain exponential for EL⊥, even if the monotonic subsumption decision problem is polynomial. Our main contribution here is to define a polynomial time subsumption procedure for EL⊥ under RC. We also adapt it to known extensions of RC for DLs, such as Lexicographic Closure, Defeasible Inheritance-based DLs, and two versions of Relevant Closure. Since the basic language requirement is to have conjunction on the left-hand side of so-called Generalised Concept Inclusions, we show that our procedure can be adapted to any other DL having this feature as well.
Subject Rational Closure, Description Logic EL
I.2.4 Knowledge Representation Formalisms and Methods

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional