diff --git a/src/main/java/fr/emse/gitlab/saref/jobs/CheckOWLProfile.java b/src/main/java/fr/emse/gitlab/saref/jobs/CheckOWLProfile.java index ed42a7aa4766de9720e11325dd48c6c658092ecb..c3c6a368aa53f65d45f01f27d88dea570430b430 100644 --- a/src/main/java/fr/emse/gitlab/saref/jobs/CheckOWLProfile.java +++ b/src/main/java/fr/emse/gitlab/saref/jobs/CheckOWLProfile.java @@ -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