Exploiting SAT Technology for Axiom Pinpointing

@inproceedings{Manthey2015ExploitingST,
title={Exploiting SAT Technology for Axiom Pinpointing},
author={Norbert Manthey and Rafael Pe{\~n}aloza},
year={2015}
}
• Published 2015
Axiom pinpointing is the task of identifying the axioms that are responsible for a consequence. It is a fundamental step for tasks like ontology revision and context-based reasoning, among many others. One known approach is to reduce axiom pinpointing to an enumeration problem over a set of Horn clauses. We introduce the new SATPin system, which combines techniques from axiom pinpointing and minimal unsatisfiable subformula enumeration, and exploits the numerous optimizations developed for SAT… CONTINUE READING

5 Citations
24 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-5 of 5 extracted citations
Highly Influenced
10 Excerpts
1 Excerpt
1 Excerpt

References

Publications referenced by this paper.
Showing 1-10 of 24 references
Highly Influential
5 Excerpts
Highly Influential
5 Excerpts
Highly Influential
4 Excerpts
Highly Influential
3 Excerpts
1 Excerpt