ASWC
2008
Springer
13 years 6 months ago
2008
Springer
Finding the justifications for an entailment (i.e., minimal sets of axioms responsible for it) is a prominent reasoning service in ontology engineering, as justifications facilitat...