From: <phe...@go...> - 2014-07-28 20:43:07
|
Revision: 779 Author: cmungall Date: Mon Jul 28 20:42:23 2014 UTC Log: added inference building step http://code.google.com/p/phenotype-ontologies/source/detail?r=779 Modified: /trunk/src/ontology/hp/Makefile ======================================= --- /trunk/src/ontology/hp/Makefile Mon Jul 28 20:41:41 2014 UTC +++ /trunk/src/ontology/hp/Makefile Mon Jul 28 20:42:23 2014 UTC @@ -1,4 +1,4 @@ -all: hp.obo hp.owl all-subsets +all: hp.obo hp.owl all-subsets hp-inferred.obo hp.obo: build/hp-simple.obo owltools $< --make-subset-by-properties -o -f obo $@.tmp && grep -v ^remark: $@.tmp > $@ @@ -16,6 +16,7 @@ build/hp-simple.obo: hp-edit.owl ontology-release-runner $(OORT_ARGS) --ignoreLock --skip-release-folder --outdir build --simple --allow-overwrite --no-reasoner $< +# TODO: once equivalence have been sorted, remove --allowEquivalencies hp-inferred.obo: hp-edit.owl owltools --use-catalog $< --assert-inferred-subclass-axioms --markIsInferred --allowEquivalencies --reasoner-query -r elk HP_0000001 --make-ontology-from-results hp-inferred -o -f obo $@.tmp --reasoner-dispose && grep -v ^owl-axioms $@.tmp > $@ |