Commit 9944a86f authored by Omar ALQAWASMEH's avatar Omar ALQAWASMEH
Browse files

dataType problem is solved

parent 620b48d0

src/main/java/fr/emse/gitlab/saref/Constants.java

+1 −1
Original line number Diff line number Diff line
@@ -28,7 +28,7 @@ public class Constants { 


	public static final String CONFIG = BASE + "config";

	

	public static boolean isTheConsoleActive = true;

	public static boolean isTheConsoleActive = false;

	public static JFrame frame = new JFrame();

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

+11 −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,16 @@ 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