Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove disjoint stripping from ECTO pipeline #79

Open
matentzn opened this issue Feb 11, 2020 · 1 comment
Open

Remove disjoint stripping from ECTO pipeline #79

matentzn opened this issue Feb 11, 2020 · 1 comment
Assignees
Labels

Comments

@matentzn
Copy link
Contributor

It became necessary to strip disjoint classes for ECTO build to pass.

Once the dependent tickets are solved you can remove the following goal from the extended Makefile:

$(ONT)-full.owl: $(SRC) $(OTHER_SRC)
	echo "!!!!!! FULL RELEASE IS OVERWRITTEN, REMOVING DISJOINTS - ecto.Makefile. Change see ticket 12 !!!!!!"
	$(ROBOT) merge --input $< \
		remove --axioms disjoint --preserve-structure false \
		reason --reasoner ELK --equivalent-classes-allowed all --exclude-tautologies structural \
		relax \
		reduce -r ELK \
		annotate --ontology-iri $(ONTBASE)/$@ --version-iri $(ONTBASE)/releases/$(TODAY)/$@ --output $@.tmp.owl && mv $@.tmp.owl $@

Dependent tickets/problems:

  • Outdated imports and unsats envo#913
  • No ticket, but the axiom develops from SubPropertyOf: has developmental contribution from needs to disappear from all upstream ontologies (uberon, nbo, maxo) - its not in RO anymore, but it will take a while until it disappears everywhere.
@matentzn matentzn added the bug label Mar 17, 2020
@matentzn matentzn self-assigned this Mar 17, 2020
@matentzn
Copy link
Contributor Author

Same goes for testing pipeline..

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant