Many modern applications of description logics (DLs, for short), such as biomedical
ontologies and semantic web policies, provide fresh motivations for extending DLs with …

Among the various proposals for defeasible reasoning for description logics, Rational
Closure, a procedure originally defined for propositional logic, turns out to have a number of …

In recent years, various approaches have been developed for representing and reasoning
with exceptions in OWL. The price one pays for such capabilities, in terms of practical …

Object detection in remotely sensed (RS) satellite imagery has gained significance in smart
city concepts, which include urban planning, disaster management, and environmental …

Dealing with context dependent knowledge is a well-known area of study that roots in John
McCarthy's seminal work. More recently, the Contextualized Knowledge Repository (CKR) …

Minimal inconsistent subsets of knowledge bases play an important role in propositional
logic, most notably for diagnosis, axiom pinpointing, and inconsistency measurement. It …

DL N is a recent approach that extends description logics with defeasible reasoning
capabilities. In this paper we provide an overview on DL N, illustrating the underlying …

The ability to generate explanations for inferences drawn from a knowledge base is of
utmost importance for intelligent systems. A central notion in this context are minimal subsets …

In this paper, we extend description logics (DLs) with non-monotonic reasoning fea-tures.
We start by investigating a notion of defeasible subsumption in the spirit of defeasible …

Explanation facilities are an essential part of tools for knowledge representation and
reasoning systems. Knowledge representation and reasoning systems allow users to …