Automata-Based Axiom Pinpointing


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



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} }