Logica Universalis 12 (3-4):297-325 (2018)

In this work, we propose a meaningful extension of description logics for non-monotonic reasoning. We introduce \, a logic allowing for the representation of and reasoning about both typical class-membership and typical instances of a relation. We propose a preferential semantics for \ in terms of partially-ordered DL interpretations which intuitively captures the notions of typicality we are interested in. We define a tableau-based algorithm for checking \ knowledge-base consistency that always terminates and we show that it is sound and complete w.r.t. our preferential semantics. The general framework we here propose can serve as the foundation for further exploration of non-monotonic reasoning in description logics and similarly structured logics.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s11787-018-0211-x
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,337
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.

View all 12 references / Add more references

Citations of this work BETA

Logic Prizes Et Cætera.Jean-Yves Beziau - 2018 - Logica Universalis 12 (3-4):271-296.

Add more citations

Similar books and articles

From KLM-Style Conditionals to Defeasible Modalities, and Back.Katarina Britz & Ivan Varzinczak - 2018 - Journal of Applied Non-Classical Logics 28 (1):92-121.
Second-Order Reasoning in Description Logics.Andrzej Szalas - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):517-530.
Preferential Accessibility and Preferred Worlds.Katarina Britz & Ivan Varzinczak - 2018 - Journal of Logic, Language and Information 27 (2):133-155.
Pspace Reasoning With The Description Logic Aℒcf.Carsten Lutz - 2002 - Logic Journal of the IGPL 10 (5):535-568.
Defeasible Reasoning and Logic Programming.Timothy R. Colburn - 1991 - Minds and Machines 1 (4):417-436.
Abstract Argumentation.Robert A. Kowalski & Francesca Toni - 1996 - Artificial Intelligence and Law 4 (3-4):275-296.


Added to PP index

Total views
11 ( #852,788 of 2,508,046 )

Recent downloads (6 months)
1 ( #416,715 of 2,508,046 )

How can I increase my downloads?


My notes