Matthew Horridge, Bijan Parsia, Ulrike Sattler. Explanation of OWL Entailments in Protege 4. In Christian Bizer, Anupam Joshi, editors, Proceedings of the Poster and Demonstration Session at the 7th International Semantic Web Conference (ISWC2008), Karlsruhe, Germany, October 28, 2008. Volume 401 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]
Abstract is missing.