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

research
05/05/2013

On Rational Closure in Description Logics of Typicality

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

Reasoning about Typicality and Probabilities in Preferential Description Logics

In this work we describe preferential Description Logics of typicality, ...
research
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...
research
04/05/2018

An Approach to Incremental and Modular Context-sensitive Analysis

Context-sensitive global analysis of large code bases can be expensive, ...
research
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, ...
research
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...
research
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...

Please sign up or login with your details

Forgot password? Click here to reset