Finding All Justifications of OWL DL Entailments

By Aditya Kalyanpur, Bijan Parsia, Matthew Horridge, Evren Sirin. ISWC/ASWC, 2007

369 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Molecular Biology

View Paper: https://www.semanticscholar.org/paper/59c96e8db11c7127d01becb2b1952baf219d207b

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Isabelle Bloch
2. Jamal Atif
3. Céline Hudelot
4. Ivan Donadello
5. Luciano Serafini

In Molecular Biology

1. Isabelle Bloch
2. Jamal Atif
3. Céline Hudelot
4. Ivan Donadello
5. Luciano Serafini

Citations in the corpus

• Explanatory Reasoning for Image Understanding Using Formal Concept Analysis and Description Logics (2014, background): “, finding a minimally unsatisfiable subset of TBox axioms, and in [33], and later [34], the authors addressed the problem of finding justifications, i.”