资 源 简 介
At a particular stage of ontology construction, the ontology engineer may pause to consider the consequences which follow from that particular version of the ontology (identified by some reasoning engine). The engineer may indicate that a subset of these consequences are actually erroneous and collates these in a set of unwanted axioms. OntoRepair is able to generate explanations for why the unwanted axioms hold in the ontology and also a list of repairs (maximally-sized ontologies in which none of the unwanted axioms hold) for the unwanted axiom set.