Reasoning on DL-Lite_ R with Defeasibility in ASP

06/28/2021
by   Loris Bozzato, et al.
0

Reasoning on defeasible knowledge is a topic of interest in the area of description logics, as it is related to the need of representing exceptional instances in knowledge bases. In this direction, in our previous works we presented a framework for representing (contextualized) OWL RL knowledge bases with a notion of justified exceptions on defeasible axioms: reasoning in such framework is realized by a translation into ASP programs. The resulting reasoning process for OWL RL, however, introduces a complex encoding in order to capture reasoning on the negative information needed for reasoning on exceptions. In this paper, we apply the justified exception approach to knowledge bases in DL-Lite_ R, i.e., the language underlying OWL QL. We provide a definition for DL-Lite_ R knowledge bases with defeasible axioms and study their semantic and computational properties. In particular, we study the effects of exceptions over unnamed individuals. The limited form of DL-Lite_ R axioms allows us to formulate a simpler ASP encoding, where reasoning on negative information is managed by direct rules. The resulting materialization method gives rise to a complete reasoning procedure for instance checking in DL-Lite_ R with defeasible axioms. Under consideration in Theory and Practice of Logic Programming (TPLP).

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/22/2019

A Note on Reasoning on DL-Lite_ R with Defeasibility

Representation of defeasible information is of interest in description l...
research
06/19/2013

Event-Object Reasoning with Curated Knowledge Bases: Deriving Missing Information

The broader goal of our research is to formulate answers to why and how ...
research
06/07/2023

Querying Circumscribed Description Logic Knowledge Bases

Circumscription is one of the main approaches for defining non-monotonic...
research
08/17/2020

Automated Reasoning in Temporal DL-Lite

This paper investigates the feasibility of automated reasoning over temp...
research
02/23/2018

Semantic Vector Spaces for Broadening Consideration of Consequences

Reasoning systems with too simple a model of the world and human intent ...
research
08/27/2021

Geometric Models for (Temporally) Attributed Description Logics

In the search for knowledge graph embeddings that could capture ontologi...
research
08/06/2021

Towards a Semantics for Hybrid ASP systems

Over the last decades the development of ASP has brought about an expres...

Please sign up or login with your details

Forgot password? Click here to reset