Document - Rational closure for defeasible description logics

2010

Conference article Restricted

Rational closure for defeasible description logics

Casini G., Straccia U.

Rational Closure Description Logics Non-monotone Mathematical Logic and Formal Languages

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.

Source: 12th European Conference on Logics in Artificial Intelligence (JELIA-10), pp. 77–90, Helsinki, Finland, 13-15 September 2010

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:44338,
	title = {Rational closure for defeasible description logics},
	author = {Casini G. and Straccia U.},
	doi = {10.1007/978-3-642-15675-5_9},
	booktitle = {12th European Conference on Logics in Artificial Intelligence (JELIA-10), pp. 77–90, Helsinki, Finland, 13-15 September 2010},
	year = {2010}
}