Skip to main content

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