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

New taxslim-disjoint-over-in-taxon.owl is making violation in one ZFA mapping #3329

Closed
anitacaron opened this issue Aug 6, 2024 · 0 comments · Fixed by #3330
Closed

New taxslim-disjoint-over-in-taxon.owl is making violation in one ZFA mapping #3329

anitacaron opened this issue Aug 6, 2024 · 0 comments · Fixed by #3330
Assignees

Comments

@anitacaron
Copy link
Collaborator

ZFA_0001713 SubClassOf Nothing

Axiom Impact

Axioms used 1 times

Ontologies used:

Originally posted by @github-actions[bot] in #3328 (comment)

This was added in the latest release:

aleixpuigb added a commit that referenced this issue Aug 6, 2024
Fixes #3329 unsat for ZFA mapping
parallel fiber, teleost SubClassOf only in taxon some teleost fish
This axiom was not correct, since "teleost fish" is a subclass of 'unclassified Teleostei', a SubclassOf 'Teleostei'.
All classified Teleostei also have parallel fibers.
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

Successfully merging a pull request may close this issue.

2 participants