Merge pull request #94 from ISA-tools/coka-stato

Coka stato

Author: proccaserra

.gitignore

@@ -2,3 +2,4 @@
 .gitignore
 dev/ontology/catalog-v001.xml
 *.*~
+.idea

dev/ontology/imports/obi_import.owl

@@ -0,0 +1,29 @@
+robot extract --method MIREOT  --input ../stato/obi-2020-12-16/obi.owl  --term-file ../stato/dev/ontology/imports/input/input.txt   --output ../stato/dev/ontology/modules/obi_module.owl
+
+
+robot merge --input edit.owl annotate --ontology-iri https://github.com/ontodev/robot/examples/merged.owl --output results/merged.owl
+
+robot merge --input stato.owl 
+
+java -jar robot.jar merge --input ../stato/dev/ontology/stato.owl --input ../stato/dev/ontology/imports/obi_import.owl --output ../stato/dev/ontology/results/stato-obi-merged.owl
+
+java -jar /Users/philippe/Documents/git/robot-1.9/robot.jar reason --reasoner ELK  --create-new-ontology true  --input ../stato/dev/ontology/results/stato-obi-merged.owl  --output ../stato/dev/ontology/results/stato-obi-merged-reasoned.owl
+
+java -jar /Users/philippe/Documents/git/robot-1.9/robot.jar report --input  ../stato/dev/ontology/results/stato-obi-merged-reasoned.owl --output ../stato/dev/ontology/reports/stato-obi-merged-reasoned-report.tsv
+
+
+
+
+
+java -jar robot.jar  reason --reasoner ELK --create-new-ontology-with-annotations true --input ../stato/dev/ontology/stato.owl  --output ../stato/dev/ontology/results/stato-elk-2021-02-13.owl
+java -jar  /Users/philippe/Documents/git/robot-1.9/robot.jar  reason --reasoner hermit --create-new-ontology-with-annotations true --input ../stato/dev/ontology/stato.owl  --output ../stato/dev/ontology/results/stato-hermit-2021-02-13.owl
+
+
+
+
+java -jar /Users/philippe/Documents/git/robot-1.9/robot.jar report --input  ../stato/dev/ontology/stato.owl --output ../stato/dev/ontology/reports/stato-report-2021-02-13.tsv
+java -jar /Users/philippe/Documents/git/robot-1.9/robot.jar report --input  ../stato/dev/ontology/results/stato-elk-2021-02-13.owl --output ../stato/dev/ontology/reports/stato-elk-report-2021-02-13.tsv
+java -jar /Users/philippe/Documents/git/robot-1.9/robot.jar report --input  ../stato/dev/ontology/results/stato-hermit-2021-02-13.owl --output ../stato/dev/ontology/reports/stato-hermit-report-2021-02-13.tsv
+
+
+java -jar /Users/philippe/Documents/git/robot-1.9/robot.jar report --input  ../stato/dev/ontology/results/stato-hermit-2024-05-06.owl --output ../stato/dev/ontology/reports/stato-hermit-report-2024-05-06.tsv