Lemmas for Justifications in OWL
Matthew Horridge, Bijan Parsia, Ulrike Sattler · 2009
Over the past few years there has been a significant amount of interest in the area of debugging and repairing of OWL ontologies. The process of debugging an ontology is necessary in the same way that debugging programme code is necessary – that is, debugging takes place in order to eradicate faults. In terms of