Istituto di Scienza e Tecnologie dell'Informazione     
Casini G., Straccia U. Rational closure for defeasible description logics. In: JELIA-10 - Proceedings of the 12th European Conference on Logics in Artificial Intelligence (Helsinki, Finland, 13-15 September 2010). Proceedings, pp. 77 - 90. Tomi Janhunen, Ilkka Niemelš (eds.). (Lecture Notes in Computer Science, vol. 6341). Springer Verlag, 2010.
In the field of non-monotonic logics, the notion of rational closure is acknowledged as a landmark, and we are going to see that such a construction can be characterised by means of a simple method in the context of propositional logic. We then propose an application of our approach to rational closure in the field of Description Logics, an important knowledge representation formalism, and provide a simple decision procedure for this case.
URL: http://www.springerlink.com/content/lgn15vw1j87621r7/
DOI: 10.1007/978-3-642-15675-5_9
Subject Description Logics
Rational Closure
F.4 Mathematical Logic and Formal Languages

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