Beyond Asserted Axioms: Fine−Grain Justifications for OWL−DL Entailments

Bibliographic Details
Main Authors: Kalyanpur, A, Parsia, B, Sirin, E, Grau, B
Format: Conference item
Published: 2006