From f83435562196cf3f12d487dc33144203677af436 Mon Sep 17 00:00:00 2001 From: Nico Matentzoglu Date: Mon, 11 Mar 2024 10:37:30 +0200 Subject: [PATCH] Add correct default and casing to release_annotate_inferred_axioms Previously, binary values were printed in upper case. --- template/src/ontology/Makefile.jinja2 | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/template/src/ontology/Makefile.jinja2 b/template/src/ontology/Makefile.jinja2 index 86f691ea..6fce84ca 100644 --- a/template/src/ontology/Makefile.jinja2 +++ b/template/src/ontology/Makefile.jinja2 @@ -1086,7 +1086,7 @@ merge $(patsubst %, -i %, $(OTHER_SRC)) {% endif %} # base: A version of the ontology that does not include any externally imported axioms. $(ONT)-base.owl: $(EDIT_PREPROCESSED) $(OTHER_SRC) $(IMPORT_FILES) $(ROBOT_RELEASE_IMPORT_MODE) \{% if project.release_use_reasoner %} - reason --reasoner {{ project.reasoner }} --equivalent-classes-allowed {{ project.allow_equivalents }} --exclude-tautologies {{ project.exclude_tautologies }} --annotate-inferred-axioms {{ project.release_annotate_inferred_axioms }} \{% if project.release_materialize_object_properties is defined and project.release_materialize_object_properties %} + reason --reasoner {{ project.reasoner }} --equivalent-classes-allowed {{ project.allow_equivalents }} --exclude-tautologies {{ project.exclude_tautologies }} --annotate-inferred-axioms {{ project.release_annotate_inferred_axioms|default('false')|lower }} \{% if project.release_materialize_object_properties is defined and project.release_materialize_object_properties %} materialize {% for iri in project.release_materialize_object_properties %}--term {{iri}} {% endfor %} \{% endif %}{% endif %} relax \{% if project.release_use_reasoner %} reduce -r {{ project.reasoner }} \{% endif %} @@ -1129,7 +1129,7 @@ $(ONT)-non-classified.owl: $(EDIT_PREPROCESSED) $(OTHER_SRC) $(IMPORT_FILES) # remove --select imports --trim false $(ONT)-simple.owl: $(EDIT_PREPROCESSED) $(OTHER_SRC) $(SIMPLESEED) $(IMPORT_FILES) $(ROBOT_RELEASE_IMPORT_MODE) \{% if project.release_use_reasoner %} - reason --reasoner {{ project.reasoner }} --equivalent-classes-allowed {{ project.allow_equivalents }} --exclude-tautologies {{ project.exclude_tautologies }} --annotate-inferred-axioms {{ project.release_annotate_inferred_axioms }} \{% endif %} + reason --reasoner {{ project.reasoner }} --equivalent-classes-allowed {{ project.allow_equivalents }} --exclude-tautologies {{ project.exclude_tautologies }} --annotate-inferred-axioms {{ project.release_annotate_inferred_axioms|default('false')|lower }} \{% endif %} relax \ remove --axioms equivalent \ relax \ @@ -1165,7 +1165,7 @@ $(ONT)-international.owl: $(ONT).owl $(TRANSLATIONS_OWL) # removes any axioms that contains one of the ops that not in the whitelist file $(ONT)-basic.owl: $(EDIT_PREPROCESSED) $(OTHER_SRC) $(SIMPLESEED) $(KEEPRELATIONS) $(IMPORT_FILES) $(ROBOT_RELEASE_IMPORT_MODE) \{% if project.release_use_reasoner %} - reason --reasoner {{ project.reasoner }} --equivalent-classes-allowed {{ project.allow_equivalents }} --exclude-tautologies {{ project.exclude_tautologies }} --annotate-inferred-axioms {{ project.release_annotate_inferred_axioms }} \{% endif %} + reason --reasoner {{ project.reasoner }} --equivalent-classes-allowed {{ project.allow_equivalents }} --exclude-tautologies {{ project.exclude_tautologies }} --annotate-inferred-axioms {{ project.release_annotate_inferred_axioms|default('false')|lower }} \{% endif %} relax \ remove --axioms equivalent \ remove --axioms disjoint \