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

Populating only a single slot/attribute out of many that have IntersectionOf leads to no axiom generation #39

Open
ShahimEssaid opened this issue Aug 9, 2023 · 3 comments
Assignees

Comments

@ShahimEssaid
Copy link

I have a Class that has multiple attributes with owl: ObjectSomeValuesFrom, EquivalentClasses, IntersectionOf. I noticed that if I only populate one of the attributes (I needed such an equivalence class), no equivalence axiom is generated. I have to populate at least 2 for the equivalence axiom (with an intersection) to be created. I understand that an intersection needs more than one attribute but the implementation should be forgiving and be able to generate the equivalence axiom without the intersection if there is only one attribute to work with. I'm cloning the class to have a different set of annotations (i.e no IntersectionOf ) as a workaround for now.

@turbomam
Copy link

Hi @ShahimEssaid did you ever get a response to this, or did you make progress on your own?

@cmungall cmungall self-assigned this Dec 8, 2023
@ShahimEssaid
Copy link
Author

Hi @turbomam it's still an issue that I managed to work around until now but it's becoming more difficult now.

Hi @cmungall Is it possible that this will be fixed? I can join a call sometime to discuss if my description of the issue isn't clear.

@sierra-moxon
Copy link
Member

from dev call:
might've been considered an edge case during original design.
funowl has been converted to another, faster, rust-implementation (pyhornedowl) - PR in progress on linkml-owl to swap from funowl->pyhornedowl (lots of good code refactoring here). It's easier to deal with this one after that one.

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

4 participants