Show simple item record

dc.contributor.authorBaader, F
dc.contributor.authorPenaloza, R
dc.contributor.editorOlivetti, N
dc.date.accessioned2015-11-02T14:03:11Z
dc.date.available2015-11-02T14:03:11Z
dc.date.issued2007
dc.identifier.citationBaader F, Penaloza R (2007). Axiom Pinpointing in General Tableaux. In Olivetti N (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings (pp. 11-27). Berlin, Heidelberg: Springer-Verlagen_US
dc.identifier.isbn978-3-540-73098-9
dc.identifier.urihttp://dx.doi.org/10.1007/978-3-540-73099-6_4
dc.identifier.urihttp://link.springer.com/chapter/10.1007%2F978-3-540-73099-6_4
dc.identifier.urihttp://hdl.handle.net/10863/1437
dc.description.abstractAxiom 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 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 paper 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 “tableaux algorithms,” which captures many of the known tableau-based algorithms employed in DLs, but also other kinds of reasoning procedures.en_US
dc.publisherSpringer-Verlagen_US
dc.relation.ispartofseriesLecture Notes in Computer Science;
dc.titleAxiom Pinpointing in General Tableauxen_US
dc.typeBook chapteren_US
dc.date.updated2015-11-02T11:23:19Z
dc.publication.titleAutomated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings
dc.description.fulltextopenen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record