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

Try replacing NORM goal with ROBOT commands #8322

Open
matentzn opened this issue Nov 8, 2024 · 4 comments
Open

Try replacing NORM goal with ROBOT commands #8322

matentzn opened this issue Nov 8, 2024 · 4 comments
Assignees

Comments

@matentzn
Copy link
Member

matentzn commented Nov 8, 2024

Blocked by ontodev/robot#1223

@matentzn matentzn self-assigned this Nov 8, 2024
@twhetzel
Copy link
Collaborator

twhetzel commented Nov 8, 2024

@matentzn are you limiting this to only NORM or trying to replace owltools in all places where it is used? The Tech call discussion was about whether owltools should be replaced in all places where it's used, NORM is just one of those places.

@matentzn
Copy link
Member Author

matentzn commented Nov 8, 2024

Only NORM for now - but it does not work; and no time to debug atm. I will focus on the import ticket better this is too low priority!

@matentzn
Copy link
Member Author

There is a blocker in ROBOT (a bug). I fixed ROBOT, but this postpones the implementation of this issue a few months..

@matentzn
Copy link
Member Author

For future me, this is how the NORM goal should look like:

NORM: mondo-edit.obo
	$(ROBOT) repair -i $< --merge-axiom-annotations true \
		convert -o [email protected] && mv [email protected] $<

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

No branches or pull requests

2 participants