PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Casini G., Straccia U. Lexicographic closure for defeasible description logics. In: AOW 2012 - Eighth Australasian Ontology Workshop (Sydney, Australia, 4 December 2012). Proceedings, vol. 969 pp. 28 - 39. Aurona Gerber, Kerry Taylor, Tommie Meyer, Mehmet Orgun (eds.). CEUR Electronic Workshop Proceedings (CEUR-WS), 2012.
 
 
Abstract
(English)
In the field of non-monotonic logics, the lexicographic closure is acknowledged as a a powerful and logically well-characterized approach; we are going to see that such a construction can be applied in the field of Description Logics, an important knowledge representation formalism, and we shall provide a simple decision decision procedure.
URL: http://ceur-ws.org/Vol-969/paper3.pdf
Subject Description Logics
Non-monotone reasoning
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