Representation of defeasible information is of interest in description logics, as it is related to the need of accommodating exceptional instances in knowledge bases. In this direction, in our previous works we presented a datalog translation for reasoning on (contextualized) OWL RL knowledge bases with a notion of justified exceptions on defeasible axioms. While it covers a relevant fragment of OWL, the resulting reasoning process needs a complex encoding in order to capture reasoning on negative information. In this paper, we consider the case of knowledge bases in DL-LiteR, i.e. the language underlying OWL QL. We provide a definition for DL-LiteR knowledge bases with defeasible axioms and study their properties. The limited form of DL-LiteR axioms allows us to formulate a simpler encoding into datalog (under answer set semantics) with direct rules for reasoning on negative information. The resulting materialization method gives rise to a complete reasoning procedure for instance checking in DL-LiteR with defeasible axioms.

A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility

Loris Bozzato;Luciano Serafini
2019-01-01

Abstract

Representation of defeasible information is of interest in description logics, as it is related to the need of accommodating exceptional instances in knowledge bases. In this direction, in our previous works we presented a datalog translation for reasoning on (contextualized) OWL RL knowledge bases with a notion of justified exceptions on defeasible axioms. While it covers a relevant fragment of OWL, the resulting reasoning process needs a complex encoding in order to capture reasoning on negative information. In this paper, we consider the case of knowledge bases in DL-LiteR, i.e. the language underlying OWL QL. We provide a definition for DL-LiteR knowledge bases with defeasible axioms and study their properties. The limited form of DL-LiteR axioms allows us to formulate a simpler encoding into datalog (under answer set semantics) with direct rules for reasoning on negative information. The resulting materialization method gives rise to a complete reasoning procedure for instance checking in DL-LiteR with defeasible axioms.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11582/319375
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
social impact