Laconic and precise justifications in OWL. (2008)

by Matthew Horridge, Bijan Parsia, Ulrike Sattler
Venue:In The Semantic Web - ISWC