Merge branch 'main' into anitacaron/issue5

h3abionet · Feb 1, 2024 · 51c222b · 51c222b
2 parents 190ff8b + cad268c
commit 51c222b
Show file tree

Hide file tree

Showing 3 changed files with 66 additions and 71 deletions.
diff --git a/src/ontology/Makefile b/src/ontology/Makefile
@@ -42,7 +42,7 @@ REPORT_FAIL_ON =            ERROR
 REPORT_LABEL =              -l true
 REPORT_PROFILE_OPTS =       --profile $(ROBOT_PROFILE)
 OBO_FORMAT_OPTIONS =        
-SPARQL_VALIDATION_CHECKS =  owldef-self-reference iri-range label-with-iri multiple-replaced_by 
+SPARQL_VALIDATION_CHECKS =  owldef-self-reference iri-range label-with-iri multiple-replaced_by redundant-subClassOf 
 SPARQL_EXPORTS =            basic-report class-count-by-prefix edges xrefs obsoletes synonyms 
 ODK_VERSION_MAKEFILE =      v1.4.3