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.

Sign up for GitHub

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

Jump to bottom

Duplicated ontologies #7

Open

Rezenders opened this issue Jul 14, 2022 · 1 comment

Labels

question

Contributor

Rezenders commented Jul 14, 2022

Are the ontologies on the mros_ontology repo and the ontologies on this repo duplicated?

These ontologies appear in both:

mros.owl
navigation_domain.owl
urjc_pilot.owl

Are there differences between them? Should we merge the repos?

Rezenders added the question label

Contributor Author

Rezenders commented Sep 21, 2023

This is not the case in the ros2 branch.
@chcorbato can I make the ros2 branch the main branch?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment