-
Notifications
You must be signed in to change notification settings - Fork 74
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
Expected behavior of export "Disjoint With" #1144
Comments
@dlutz2 I think you are right, this does not seem desirable. Since ROBOT template associates a single ID with a set of values, the structure is different than the OWLAPI set returned by EntitySearcher. Do you feel confident enough with OWL API to propose a fix/PR? |
Yes, we're getting our act together to be able to work open source. We should be able to generate PRs for this and a couple of others. |
Equivalent class fails - ontodev#1145 Self-disjoint - ontodev#1144 Export Large excel - ontodev#1131
ROBOT 1.9.4
The export operation with a "Disjoint With" heading results in a set of class/property expressions which includes the entity being described e.g. in BFO:
"continuant" is described as being disjoint from "continuant|occurrent".
This is the behavior of the underlying OWLAPI EntitySearcher which apparently returns the members of the mutually disjoint set including the entity of interest.
Is including a self-disjoint value the desired result for export? Reconstructing the original ontology from the exported values (e.g. using template) requires a manual edit to remove that self-disjoint,
The text was updated successfully, but these errors were encountered: