Commit 6f54ba47 authored by Omar ALQAWASMEH's avatar Omar ALQAWASMEH
Browse files

updated GUI

parent 9944a86f

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

+1 −11
Original line number Diff line number Diff line
@@ -31,7 +31,6 @@ 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;
@@ -70,16 +69,7 @@ public class CheckOWLProfile extends JobRunner { 
		for (OWLProfileViolation v : report.getViolations()) {

			logger.warn(v.toString());

		}



		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 ReasonerFactory reasonerFactory = new ReasonerFactory();

		final InconsistentOntologyExplanationGeneratorFactory inconsistentOntologyExplanationFeneratorFactory = new InconsistentOntologyExplanationGeneratorFactory(

				reasonerFactory, ontologyManager.getOWLDataFactory(), m, 10000);

		final ExplanationGenerator<OWLAxiom> gen = inconsistentOntologyExplanationFeneratorFactory