Beyond Asserted Axioms: Fine−Grain Justifications for OWL−DL Entailments
Aditya Kalyanpur‚ Bijan Parsia‚ Evren Sirin and Bernardo Cuenca Grau
Book Title
DL 2006‚ Proceedings of the 19th International Workshop on Description Logics‚ Lake District‚ UK‚ June 2006
Year
2006