[Motivating Scenario] Structure an Organization

[gnardin]

This issue relates to the motivating scenario for the structuring of an organization in HMAS.

[vcharpenay]

here is feedback from today's internal meeting at EMSE:

• q7 seems to be a competency question of a different kind compared to others: as incompatibilities are defined so far (as SHACL shapes), an agent wouldn't submit a SPARQL query, it would instead evaluate the SHACL shape specifying incompatibilities (ex:incompatibilityShape) on the graph specifying the organization (FL_Logistics). The methodology doesn't include this case but it would be legitimate to add it.
• alternatively, the competency question could be reformulated as: "what constraint do apply on the agent's memberships?", so that the agent knows what shapes to evaluate when reasoning on its memberships. Then, a simple solution is to add ex:incompatibilityShape rdfs:subClassOf hmas:IncompatibilityConstraint (up to the wording). However, the agent wouldn't necessarily know what role or group violates the constraint.
• in Moise, incompatibilities are enumerated between all pairs (roles, group class) in an organizational model. The constraint language of Moise could easily be defined in RDF and its semantics be provided as generic SHACL shapes (actually defined as sh:SPARQLConstraints). But all this should probably be done in another scenario.

[FabienGandon]

@gnardin can we close this issue as addressed in PR #165 ?

[gnardin]

@FabienGandon This issue is addressed in and linked to the PR #165 . Whenever the PR is accepted, this issue will be closed. My suggestion is to keep this issue open until the PR is finalized.