A framework for a modular multi-concept lexicographic closure semantics

09/02/2020
by   Laura Giordano, et al.
0

We define a modular multi-concept extension of the lexicographic closure semantics for defeasible description logics with typicality. The idea is that of distributing the defeasible properties of concepts into different modules, according to their subject, and of defining a notion of preference for each module based on the lexicographic closure semantics. The preferential semantics of the knowledge base can then be defined as a combination of the preferences of the single modules. The range of possibilities, from fine grained to coarse grained modules, provides a spectrum of alternative semantics.

READ FULL TEXT

page 1

page 2

page 3

page 4

05/05/2013

On Rational Closure in Description Logics of Typicality

We define the notion of rational closure in the context of Description L...
04/20/2020

Reasoning about Typicality and Probabilities in Preferential Description Logics

In this work we describe preferential Description Logics of typicality, ...
07/08/2018

Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure

Reasoning about exceptions in ontologies is nowadays one of the challeng...
04/05/2018

An Approach to Incremental and Modular Context-sensitive Analysis

Context-sensitive global analysis of large code bases can be expensive, ...
04/05/2018

An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs

Context-sensitive global analysis of large code bases can be expensive, ...
11/08/2021

Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties

Algorithms for computing congruence closure of ground equations over uni...
06/08/2020

An ASP approach for reasoning in a concept-aware multipreferential lightweight DL

In this paper we develop a concept aware multi-preferential semantics fo...