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

[Closes #119] Add manufacturing scenario for discovery of behavior specifications #136

Merged
merged 86 commits into from
Sep 29, 2023

Conversation

danaivach
Copy link
Contributor

This manufacturing scenario motivates concepts defined by the hMAS ontology for the discovery of behavior specifications.

See the scenario folder for further details.

Replaced:
Behavior -> Behavior Execution
Behavioral Specification -> Behavior Specification
has Form -> Form
signifies -> Signification of Behaviors

Updated:  Behavior Execution, Action Execution, Behavior Specification, Action Specification, Form, Input, Schema

Removed: has Action
update scenario description and competency questions to cover discovery of behavior specifications and behavior parametrization
What are the behavior specifications that a given signifier signifies?
Q2: What are the action specifications that a given signifier signifies?
Q3: What are the forms that describe how to execute a given specified action?
Q4: What is the input that is expected by a given specified action?
Q5: What are the schemas of a given expected input?
Classes: BehaviorExecution, ActionExecution, BehaviorSpecification, ActionSpecification, Input
Properties: signifies, hasForm, expectsInput, hasSchema
Copy link
Contributor

@gnardin gnardin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

There are two minor points to discuss/adjust, but all major suggestions/comments have been addressed.

:signifies a owl:ObjectProperty ;
rdfs:isDefinedBy :interaction ;
rdfs:domain :Signifier ;
rdfs:range sh:NodeShape ;
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please check with the Web Semantic experts if it is Okay to have sh:NodeShape as rdfs:range.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Addressed in a past commit based on #136 (comment).

- a form describing an HTTP request,
- a form describing a request based on the Constrained Application Protocol (CoAP).

The agent discovers the signifier, that is exposed in the profile of the robotic arm artifact. Based on the signified information, the agent moves the gripper by providing an [`onto:GripperJoint`](https://ci.mines-stetienne.fr/kg/ontology#GripperJoint) as input, and sends an HTTP request based on one of the forms.
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I would say that reformulating the sentence as suggest in item 3 is enough. I do not see the need to make the changes proposed in items 1 and 2.

@danaivach danaivach merged commit f4dbcc4 into master Sep 29, 2023
@FabienGandon FabienGandon deleted the scenario-manufacturing-discover-behavior-specs branch December 1, 2023 14:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
high priority ontology Related to the ontology itself scenario Concerns a motivating scenario
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[CREATE] Discover Behavior Specifications
5 participants