You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Follow-up from #198 (fixme.md item 22), related to #184.
dprod:deadline, dprod:recurrence, dprod:subjectOfDuty, and dprod:objectOfDuty are duty-only properties. Their OWL domains describe that intent but do not validate input. A Permission or Prohibition carrying one of these properties is not explicitly rejected by the current SHACL graph; reasoning can instead infer an unintended additional odrl:Duty type.
That is not fail-fast validation and can produce resources belonging to ODRL-disjoint rule classes.
Acceptance criteria
Add regression tests first for each duty-only property used on an odrl:Permission and an odrl:Prohibition; each case must currently demonstrate the validation gap.
Add SHACL violations targeting non-Duty subjects of the duty-only properties.
Keep valid named and inline Duty instances conformant.
Context
Follow-up from #198 (
fixme.mditem 22), related to #184.dprod:deadline,dprod:recurrence,dprod:subjectOfDuty, anddprod:objectOfDutyare duty-only properties. Their OWL domains describe that intent but do not validate input. A Permission or Prohibition carrying one of these properties is not explicitly rejected by the current SHACL graph; reasoning can instead infer an unintended additionalodrl:Dutytype.That is not fail-fast validation and can produce resources belonging to ODRL-disjoint rule classes.
Acceptance criteria
odrl:Permissionand anodrl:Prohibition; each case must currently demonstrate the validation gap.