Reasoning in the presence of inconsistency through Preferential ALC

14 pages•Published: December 18, 2015

Graham Deane, Krysia Broda and Alessandra Russo

Abstract

This paper presents an inconsistency tolerant semantics for the Description Logic ALC called Preferential ALC (p-ALC). A p-ALC knowledge base is comprised of defeasible and non-defeasible axioms. The defeasible ABox and TBox are labelled with confidence weights that could reflect an axiom's provenance. Entailment is defined through the notion of preferred interpretations which minimise the total weight of the inconsistent axioms. We introduce a modified ALC tableau algorithm in which the open branches give rise to the preferred interpretations, and show that it can compute p-ALC entailment by refutation. The modified algorithm is implemented as an incremental answer set program (ASP) that exploits optimisation to capture preferred interpretations of p-ALC.

Keyphrases: answer set program, description logic, inconsistency tolerant, tableau

In: Ansgar Fehnker, Annabelle McIver, Geoff Sutcliffe and Andrei Voronkov (editors). LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, vol 35, pages 67-80.

Links:	https://easychair.org/publications/paper/Vj
	https://doi.org/10.29007/8qr4

BibTeX entry

@inproceedings{LPAR-20:Reasoning_presence_inconsistency_through,
  author    = {Graham Deane and Krysia Broda and Alessandra Russo},
  title     = {Reasoning in the presence of inconsistency through Preferential ALC},
  booktitle = {LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations},
  editor    = {Ansgar Fehnker and Annabelle McIver and Geoff Sutcliffe and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {35},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Vj},
  doi       = {10.29007/8qr4},
  pages     = {67-80},
  year      = {2015}}

Download PDF Open PDF in browser