The following publications are possibly variants of this publication:
- Justification Oriented Proofs in OWLMatthew Horridge, Bijan Parsia, Ulrike Sattler. semweb 2010: 354-369 [doi]
- Finding All Justifications of OWL DL EntailmentsAditya Kalyanpur, Bijan Parsia, Matthew Horridge, Evren Sirin. semweb 2007: 267-280 [doi]
- Beyond Asserted Axioms: Fine-Grain Justifications for OWL-DL EntailmentsAditya Kalyanpur, Bijan Parsia, Bernardo Cuenca Grau. dlog 2006: [doi]
- Laconic and Precise Justifications in OWLMatthew Horridge, Bijan Parsia, Ulrike Sattler. semweb 2008: 323-338 [doi]
- Justification Masking in OWLMatthew Horridge, Bijan Parsia, Ulrike Sattler. dlog 2010: [doi]
- The Cognitive Complexity of OWL JustificationsMatthew Horridge, Samantha Bail, Bijan Parsia, Ulrike Sattler. dlog 2011: [doi]
- Lemmas for Justifications in OWLMatthew Horridge, Bijan Parsia, Ulrike Sattler. dlog 2009: [doi]
- Understanding Entailments in OWLMatthew Horridge, Johannes Bauer, Bijan Parsia, Ulrike Sattler. owled 2009: [doi]
- Extracting Finite Sets of Entailments from OWL OntologiesSamantha Bail, Bijan Parsia, Ulrike Sattler. dlog 2011: [doi]
- Explanation of OWL Entailments in Protege 4Matthew Horridge, Bijan Parsia, Ulrike Sattler. semweb 2008: [doi]