# Consequence-Based Axiom Pinpointing

arXiv: https://arxiv.org/abs/1805.10250 · HTML: https://mlsanity.com/paper/1805.10250/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 25 May 2018.

## Built on by (most cited first, 1 of 1)

- [Union and Intersection of all Justifications](https://mlsanity.com/paper/2109.11216/) (2021)

## Abstract (arXiv)

Axiom pinpointing refers to the problem of finding the axioms in an ontology that are relevant for understanding a given entailment or consequence. One approach for axiom pinpointing, known as glass-box, is to modify a classical decision procedure for the entailments into a method that computes the solutions for the pinpointing problem. Recently, consequence-based decision procedures have been proposed as a promising alternative for tableaux-based reasoners for standard ontology languages. In this work, we present a general framework to extend consequence-based algorithms with axiom pinpointing.