The past 25 years have seen many attempts to introduce defeasible-reasoning capabilities
into a description logic setting. Many, if not most, of these attempts are based on preferential …

Industry 4.0 is an industry that combines automation technology with cyber technology, and
this is a trend of automation and data exchange in manufacturing technology, including the …

In this paper we develop a concept aware multi-preferential semantics for dealing with
typicality in description logics, where preferences are associated with concepts, starting from …

The paper describes a preferential approach for dealing with exceptions in KLM preferential
logics, based on the rational closure. It is well known that rational closure does not allow an …

This article investigates technologies used for knowledge sharing among rice farmers in the
Eastern Region of Ghana and suggests ways by which the use of technologies may be …

The tractability of the lightweight description logic EL has allowed for the construction of
large and widely used ontologies that support semantic interoperability. However …

Abstract Description logics have been extended in a number of ways to support defeasible
reasoning in the KLM tradition. Such features include preferential or rational defeasible …

Dealing with context-dependent knowledge has led to different formalizations of the notion
of context. Among them is the Contextualized Knowledge Repository (CKR) framework …

The representation of defeasible information in Description Logics is a well-known issue and
many formal approaches have been proposed, mostly emerging from existing formalisms in …

The development of proof methods for defeasible description logics (DLs), following those
for classical DLs, is mainly based on semantic tableaux. However, the literature offers …