Automata-Based Axiom Pinpointing

Abstract

Axiom pinpointing has been introduced in description logics (DL) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base that have the consequence in question (MinA). Most of the pinpointing algorithms described in the DL literature are obtained as extensions of tableau-based reasoning algorithms for… (More)
DOI: 10.1007/s10817-010-9181-2

Topics

Statistics

01020302009201020112012201320142015201620172018
Citations per Year

109 Citations

Semantic Scholar estimates that this publication has 109 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Baader2008AutomataBasedAP, title={Automata-Based Axiom Pinpointing}, author={Franz Baader and Rafael Pe{\~n}aloza}, journal={Journal of Automated Reasoning}, year={2008}, volume={45}, pages={91-129} }