Axiom pinpointing has been introduced in description logics (DLs) to help the user to understand the reasons why consequences hold and to remove unwanted consequences by computing minimal (maximal) subsets of the knowledge base that have (do not have) the consequence in question. Most of the pinpointing algorithms described in the DLliterature are obtained as extensions of the standard tableau-based reasoning algorithms for computing consequences from DL knowledge bases. Although these extensions are based on similar ideas, they are all introduced for a particular tableau-based algorithm for a particular DL. The purpose of this article is to develop a general approach for extending a tableau-based algorithm to a pinpointing algorithm. This approach is based on a general definition of tableau algorithms, which captures many of the known tableau-based algorithms employed in DLs, but also other kinds of reasoning procedures.

Baader, F., & Penaloza, R. (2010). Axiom pinpointing in general tableaux. JOURNAL OF LOGIC AND COMPUTATION, 20(1), 5-34 [10.1093/logcom/exn058].

Axiom pinpointing in general tableaux

Penaloza R
2010

Abstract

Axiom pinpointing has been introduced in description logics (DLs) to help the user to understand the reasons why consequences hold and to remove unwanted consequences by computing minimal (maximal) subsets of the knowledge base that have (do not have) the consequence in question. Most of the pinpointing algorithms described in the DLliterature are obtained as extensions of the standard tableau-based reasoning algorithms for computing consequences from DL knowledge bases. Although these extensions are based on similar ideas, they are all introduced for a particular tableau-based algorithm for a particular DL. The purpose of this article is to develop a general approach for extending a tableau-based algorithm to a pinpointing algorithm. This approach is based on a general definition of tableau algorithms, which captures many of the known tableau-based algorithms employed in DLs, but also other kinds of reasoning procedures.
Articolo in rivista - Articolo scientifico
axiom pinpointing, description logics, tableaux
English
5
34
30
Baader, F., & Penaloza, R. (2010). Axiom pinpointing in general tableaux. JOURNAL OF LOGIC AND COMPUTATION, 20(1), 5-34 [10.1093/logcom/exn058].
Baader, F; Penaloza, R
File in questo prodotto:
File Dimensione Formato  
BaaPen-JLC08.pdf

accesso aperto

Tipologia di allegato: Author’s Accepted Manuscript, AAM (Post-print)
Dimensione 365.09 kB
Formato Adobe PDF
365.09 kB Adobe PDF Visualizza/Apri

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/10281/258029
Citazioni
  • Scopus 91
  • ???jsp.display-item.citation.isi??? 52
Social impact