From Justifications Towards Proofs for Ontology Engineering.

Matthew Horridge, Bijan Parsia

Browse the full KR paper archive.