Commit 67ecd2b7 authored by Maxime Lefrançois's avatar Maxime Lefrançois
Browse files

Merge branch 'issue-3' into 'master' 

issue-3 solved

See merge request saref/saref-pipeline!1
parents f9f9019e 4a633fbc

src/main/java/fr/emse/gitlab/saref/jobs/CheckOWLProfile.java

+9 −1
Original line number Diff line number Diff line
@@ -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