Commit 4a633fbc authored by Omar ALQAWASMEH's avatar Omar ALQAWASMEH
Browse files

issue-3 solved

parent f9f9019e
......@@ -31,6 +31,7 @@ import org.semanticweb.owlapi.model.OWLOntologyManager;
import org.semanticweb.owlapi.profiles.OWL2DLProfile;
import org.semanticweb.owlapi.profiles.OWLProfileReport;
import org.semanticweb.owlapi.profiles.OWLProfileViolation;
import org.semanticweb.owlapi.reasoner.OWLReasoner;
import org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration;
import org.semanticweb.owlapi.util.PriorityCollection;
import org.slf4j.Logger;
......@@ -69,7 +70,14 @@ public class CheckOWLProfile extends JobRunner {
for (OWLProfileViolation v : report.getViolations()) {
logger.warn(v.toString());
}
final ReasonerFactory reasonerFactory = new ReasonerFactory();
final ReasonerFactory reasonerFactory = new ReasonerFactory() {
@Override
public OWLReasoner createReasoner(OWLOntology ontology, OWLReasonerConfiguration config) {
org.semanticweb.HermiT.Configuration configuration = new org.semanticweb.HermiT.Configuration();
configuration.ignoreUnsupportedDatatypes = true;
return super.createReasoner(ontology, configuration);
}
};
final InconsistentOntologyExplanationGeneratorFactory inconsistentOntologyExplanationFeneratorFactory = new InconsistentOntologyExplanationGeneratorFactory(
reasonerFactory, ontologyManager.getOWLDataFactory(), m, 10000);
final ExplanationGenerator<OWLAxiom> gen = inconsistentOntologyExplanationFeneratorFactory
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment