Commit 8a4489c2 authored by Maxime Lefrançois's avatar Maxime Lefrançois
Browse files

OWL 2 DL profile violation

parent 1c8941d8

src/main/java/fr/emse/gitlab/saref/checkers/Clause_9_4_5_Checker.java

+5 −3
Original line number Diff line number Diff line
@@ -64,9 +64,11 @@ public class Clause_9_4_5_Checker extends AbstractClauseChecker { 
		}



		final OWLProfileReport report = new OWL2DLProfile().checkOntology(ontology);

		if(!report.getViolations().isEmpty()) {

			String violations = report.getViolations().stream().map(Object::toString)

					.collect(Collectors.joining("\n- ", "\n\n- ", "\n\n"));

			logError(getMessage(MESSAGE.profile, violations));

		}

		

		OntologyManager ontologyManager = pipeline.getOntologyManager();