Kalyanpur, A., Parsia, B., Sirin, E., & Grau, B. (2006). Beyond Asserted Axioms: Fine−Grain Justifications for OWL−DL Entailments.

Kalyanpur, A., B. Parsia, E. Sirin, and B. Grau. Beyond Asserted Axioms: Fine−Grain Justifications for OWL−DL Entailments. 2006.

Kalyanpur, A., et al. Beyond Asserted Axioms: Fine−Grain Justifications for OWL−DL Entailments. 2006.