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

Bugfix: textual definition of has model does not match axioms #2000

Open
5 tasks
LillyG901 opened this issue Dec 14, 2024 · 0 comments · May be fixed by #2001
Open
5 tasks

Bugfix: textual definition of has model does not match axioms #2000

LillyG901 opened this issue Dec 14, 2024 · 0 comments · May be fixed by #2001
Assignees
Labels
[C] definition update Update an ontology definition To do Issues that haven't got discussed yet

Comments

@LillyG901
Copy link
Contributor

Description of the issue

The relation has model is defined as: inverse of is-model-of.
The actually defined inverse relation of has model is called has role in modeling.

Both of these relations are imported from the RO.
After checking the most recent version, it seems that this is actually an issue that is still in the RO and has been imported into the OEO.

Ideas of solution

After discussing this inconsistency with @stap-m, we came to the concluson, that we should just add a comment to the relation that points out the actual definition.

Workflow checklist

  • I discussed the issue with someone else than me before working on a solution
  • I already read the latest version of the workflow for this repository
  • The goal of this ontology is clear to me

I am aware that

  • every entry in the ontology should have a definition
  • classes should arise from concepts rather than from words
@LillyG901 LillyG901 added [C] definition update Update an ontology definition To do Issues that haven't got discussed yet labels Dec 14, 2024
@LillyG901 LillyG901 self-assigned this Dec 14, 2024
@stap-m stap-m added this to Issues Dec 14, 2024
@stap-m stap-m moved this to To do in Issues Dec 14, 2024
@LillyG901 LillyG901 linked a pull request Dec 14, 2024 that will close this issue
5 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
[C] definition update Update an ontology definition To do Issues that haven't got discussed yet
Projects
Status: To do
Development

Successfully merging a pull request may close this issue.

1 participant