interactive ontology debugging : two query strategies for efficient fault localization☆ .
Pellet : A practical OWL-DL reasoner