Axiom Pinpointing in General Tableaux


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. The pinpointing algorithms described in the DL literature are obtained as… (More)
DOI: 10.1093/logcom/exn058


Cite this paper

@inproceedings{Baader2007AxiomPI, title={Axiom Pinpointing in General Tableaux}, author={Franz Baader and Rafael Pe{\~n}aloza}, booktitle={J. Log. Comput.}, year={2007} }