From 20028483e210d6524f8b5ce9b970e0387fe1816c Mon Sep 17 00:00:00 2001 From: Eugenio Salvador Arellano Ruiz Date: Wed, 1 Feb 2023 10:34:09 +0100 Subject: [PATCH 1/4] Added reasoning to the creation of oeo-full.omn --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 32f55e8e2..c8ebd206a 100644 --- a/Makefile +++ b/Makefile @@ -88,7 +88,7 @@ $(VERSIONDIR)/%.omn: $(ONTOLOGY_SOURCE)/%.omn $(VERSIONDIR)/oeo-full.omn : | base $(ROBOT) merge --catalog $(VERSIONDIR)/catalog-v001.xml $(foreach f, $(VERSIONDIR)/oeo.omn $(OMN_COPY) $(OWL_COPY), --input $(f)) annotate --ontology-iri http://openenergy-platform.org/ontology/oeo/ --output $@ - + $(ROBOT) reason --input $@ --output $@ $(VERSIONDIR)/oeo-full.owl : $(VERSIONDIR)/oeo-full.omn $(call translate_to_owl,$@,$<) $(call replace_omns,$@) From aa87b3d2e6966b22d2d727606e69afb4cd96c257 Mon Sep 17 00:00:00 2001 From: Eugenio Salvador Arellano Ruiz Date: Tue, 14 Feb 2023 13:39:30 +0100 Subject: [PATCH 2/4] Added axiom-generators to closure reasoning --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 289049617..b316e6e29 100644 --- a/Makefile +++ b/Makefile @@ -109,4 +109,5 @@ $(VERSIONDIR)/oeo-full.omn : $(VERSIONDIR)/oeo-full.owl $(call replace_owls,$@) $(VERSIONDIR)/oeo-closure.owl : $(VERSIONDIR)/oeo-full.owl - $(ROBOT) reason --input $< --output $@ \ No newline at end of file + $(ROBOT) reason --input $< --reasoner hermit --catalog $(VERSIONDIR)/catalog-v001.xml --axiom-generators "SubClass EquivalentClass DisjointClasses DataPropertyCharacteristic EquivalentDataProperties SubDataProperty ClassAssertion PropertyAssertion EquivalentObjectProperty InverseObjectProperties ObjectPropertyCharacteristic SubObjectProperty ObjectPropertyRange ObjectPropertyDomain" --include-indirect true annotate --ontology-iri http://openenergy-platform.org/ontology/oeo/ --output $@ + $(ROBOT) merge --catalog $(VERSIONDIR)/catalog-v001.xml --input $< --input $@ annotate --ontology-iri http://openenergy-platform.org/ontology/oeo/ reduce --output $@ \ No newline at end of file From f6b2a00fe72df0e3eb3288e5630b5ae8a30aa424 Mon Sep 17 00:00:00 2001 From: Eugenio Salvador Arellano Ruiz Date: Tue, 14 Feb 2023 14:50:44 +0100 Subject: [PATCH 3/4] Added reasoning to make --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index b316e6e29..7df1628de 100644 --- a/Makefile +++ b/Makefile @@ -75,7 +75,7 @@ $(VERSIONDIR)/catalog-v001.xml: src/ontology/catalog-v001.xml sed -i -E "s/edits\//modules\//m" $@ build/robot.jar: | build - curl -L -o $@ https://github.com/ontodev/robot/releases/download/v1.4.1/robot.jar + curl -L -o $@ https://github.com/ontodev/robot/releases/download/v1.9.2/robot.jar $(VERSIONDIR)/%.owl: $(ONTOLOGY_SOURCE)/%.omn @@ -109,5 +109,5 @@ $(VERSIONDIR)/oeo-full.omn : $(VERSIONDIR)/oeo-full.owl $(call replace_owls,$@) $(VERSIONDIR)/oeo-closure.owl : $(VERSIONDIR)/oeo-full.owl - $(ROBOT) reason --input $< --reasoner hermit --catalog $(VERSIONDIR)/catalog-v001.xml --axiom-generators "SubClass EquivalentClass DisjointClasses DataPropertyCharacteristic EquivalentDataProperties SubDataProperty ClassAssertion PropertyAssertion EquivalentObjectProperty InverseObjectProperties ObjectPropertyCharacteristic SubObjectProperty ObjectPropertyRange ObjectPropertyDomain" --include-indirect true annotate --ontology-iri http://openenergy-platform.org/ontology/oeo/ --output $@ + $(ROBOT) reason --input $< --reasoner hermit --catalog $(VERSIONDIR)/catalog-v001.xml --axiom-generators "SubClass EquivalentClass DataPropertyCharacteristic EquivalentDataProperties SubDataProperty ClassAssertion EquivalentObjectProperty InverseObjectProperties ObjectPropertyCharacteristic SubObjectProperty ObjectPropertyRange ObjectPropertyDomain" --include-indirect true annotate --ontology-iri http://openenergy-platform.org/ontology/oeo/ --output $@ $(ROBOT) merge --catalog $(VERSIONDIR)/catalog-v001.xml --input $< --input $@ annotate --ontology-iri http://openenergy-platform.org/ontology/oeo/ reduce --output $@ \ No newline at end of file From 5b76c9c7891bfd6f1a33199959bbd1de2c70edac Mon Sep 17 00:00:00 2001 From: e_arel <86229326+areleu@users.noreply.github.com> Date: Fri, 1 Dec 2023 10:11:26 +0100 Subject: [PATCH 4/4] Update Makefile Do not reduce. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 766ff5104..0269dad7e 100644 --- a/Makefile +++ b/Makefile @@ -110,4 +110,4 @@ $(VERSIONDIR)/oeo-full.omn : $(VERSIONDIR)/oeo-full.owl $(VERSIONDIR)/oeo-closure.owl : $(VERSIONDIR)/oeo-full.owl $(ROBOT) reason --input $< --reasoner hermit --catalog $(VERSIONDIR)/catalog-v001.xml --axiom-generators "SubClass EquivalentClass DataPropertyCharacteristic EquivalentDataProperties SubDataProperty ClassAssertion EquivalentObjectProperty InverseObjectProperties ObjectPropertyCharacteristic SubObjectProperty ObjectPropertyRange ObjectPropertyDomain" --include-indirect true annotate --ontology-iri http://openenergy-platform.org/ontology/oeo/ --output $@ - $(ROBOT) merge --catalog $(VERSIONDIR)/catalog-v001.xml --input $< --input $@ annotate --ontology-iri http://openenergy-platform.org/ontology/oeo/ reduce --output $@ \ No newline at end of file + $(ROBOT) merge --catalog $(VERSIONDIR)/catalog-v001.xml --input $< --input $@ annotate --ontology-iri http://openenergy-platform.org/ontology/oeo/ --output $@