# Axiom Pinpointing

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

## Key facts

- Cited by 7 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 18 Mar 2020.

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

- [Union and Intersection of all Justifications](https://mlsanity.com/paper/2109.11216/) (2021)
- [Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases](https://mlsanity.com/paper/2407.20754/) (2024)
- [Current and Future Challenges in Knowledge Representation and Reasoning](https://mlsanity.com/paper/2308.04161/) (2023)
- [Repairing Networks of EL_perp Ontologies using Weakening and Completing -- Extended version](https://mlsanity.com/paper/2407.18848/) (2024)
- [Enumerating Minimal Unsatisfiable Cores of LTLf formulas](https://mlsanity.com/paper/2409.09485/) (2024)
- [Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective](https://mlsanity.com/paper/2510.00817/) (2025)
- [NeurOWL: An LLM-Based Neural-symbolic Framework for Incomplete OWL Ontology Reasoning](https://mlsanity.com/paper/2607.15776/) (2026)

## Abstract (arXiv)

Axiom pinpointing refers to the task of finding the specific axioms in an ontology which are responsible for a consequence to follow. This task has been studied, under different names, in many research areas, leading to a reformulation and reinvention of techniques. In this work, we present a general overview to axiom pinpointing, providing the basic notions, different approaches for solving it, and some variations and applications which have been considered in the literature. This should serve as a starting point for researchers interested in related problems, with an ample bibliography for delving deeper into the details.