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

Add axioms to the tasks module #2004

Open
madbkr opened this issue Dec 18, 2024 · 0 comments · May be fixed by #2005
Open

Add axioms to the tasks module #2004

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

Comments

@madbkr
Copy link
Contributor

madbkr commented Dec 18, 2024

Description of the issue

As discussed with @stap-m we are still missing a relation between the action specifications of the subtasks and any of the other concepts of the new module. It was agreed on to have a has part relation to the methodology when first modeling but we were unsure about the exact axiom (should subtasks be in an OR or an AND relationship?).

So far we agreed that OR seems to fit the original description of the issue #1891 best.

Ideas of solution

Add the missing axioms to all the methodologies.

Workflow checklist

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

I am aware that

  • [x ] every entry in the ontology should have a definition
  • [x ] classes should arise from concepts rather than from words
@madbkr madbkr added [C] definition update Update an ontology definition To do Issues that haven't got discussed yet labels Dec 18, 2024
@madbkr madbkr self-assigned this Dec 18, 2024
@stap-m stap-m moved this to To do in Issues Dec 18, 2024
@stap-m stap-m added this to Issues Dec 18, 2024
@madbkr madbkr linked a pull request Dec 18, 2024 that will close this issue
2 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