@prefix da: <https://ontology.inferal.com/modules/ads-agent-diagnostics/> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
da:CoverageSliceShape a sh:NodeShape ; sh:targetClass da:CoverageSlice ; sh:property [ sh:path da:context ; sh:minCount 1 ; sh:maxCount 1 ; sh:nodeKind sh:IRI ],
  [ sh:path da:addressedSlots ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:integer ; sh:minInclusive 0 ],
  [ sh:path da:axisDecisions ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:integer ; sh:minInclusive 0 ],
  [ sh:path da:resolved ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:integer ; sh:minInclusive 0 ],
  [ sh:path da:unassessed ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:integer ; sh:minInclusive 0 ],
  [ sh:path da:conflicted ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:integer ; sh:minInclusive 0 ],
  [ sh:path da:conditional ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:integer ; sh:minInclusive 0 ],
  [ sh:path da:assessedOperations ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:integer ; sh:minInclusive 0 ],
  [ sh:path da:variantInventoryStanding ; sh:minCount 1 ; sh:maxCount 1 ; sh:nodeKind sh:IRI ],
  [ sh:path da:conditionInventoryStanding ; sh:minCount 1 ; sh:maxCount 1 ; sh:nodeKind sh:IRI ],
  [ sh:path da:clientScenarioInventoryStanding ; sh:minCount 1 ; sh:maxCount 1 ; sh:nodeKind sh:IRI ],
  [ sh:path da:sourceDigest ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ],
  [ sh:path da:contextDigest ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ],
  [ sh:path da:interpretationDigest ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ],
  [ sh:path da:inputDigest ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ],
  [ sh:path da:extensionsDigest ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ] .
da:InputPathAssessmentShape a sh:NodeShape ; sh:targetClass da:InputPathAssessment ; sh:property [ sh:path da:context ; sh:minCount 1 ; sh:maxCount 1 ; sh:nodeKind sh:IRI ],
  [ sh:path da:request ; sh:minCount 1 ; sh:maxCount 1 ; sh:nodeKind sh:IRI ],
  [ sh:path da:item ; sh:minCount 1 ; sh:maxCount 1 ; sh:nodeKind sh:IRI ],
  [ sh:path da:provider ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ],
  [ sh:path da:artifactVersion ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ],
  [ sh:path da:apiVersion ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ],
  [ sh:path da:operation ; sh:minCount 1 ; sh:maxCount 1 ; sh:nodeKind sh:IRI ],
  [ sh:path da:wirePath ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ],
  [ sh:path da:ownerPath ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ],
  [ sh:path da:representation ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ],
  [ sh:path da:semanticField ; sh:minCount 1 ; sh:maxCount 1 ; sh:nodeKind sh:IRI ],
  [ sh:path da:sourceDigest ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ],
  [ sh:path da:contextDigest ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ],
  [ sh:path da:interpretationDigest ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ],
  [ sh:path da:axis ; sh:minCount 1 ; sh:maxCount 1 ; sh:nodeKind sh:IRI ],
  [ sh:path da:state ; sh:minCount 1 ; sh:maxCount 1 ; sh:nodeKind sh:IRI ],
  [ sh:path da:scopeStanding ; sh:minCount 1 ; sh:maxCount 1 ; sh:nodeKind sh:IRI ],
  [ sh:path da:reason ; sh:minCount 1 ; sh:maxCount 1 ; sh:nodeKind sh:IRI ],
  [ sh:path da:evidenceNeeded ; sh:minCount 1 ; sh:maxCount 1 ; sh:nodeKind sh:IRI ],
  [ sh:path da:writeAuthorityStanding ; sh:minCount 1 ; sh:maxCount 1 ; sh:nodeKind sh:IRI ],
  [ sh:path da:inputDigest ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ],
  [ sh:path da:extensionsDigest ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ] .
da:InventoryPairShape a sh:NodeShape ; sh:targetClass da:InventoryPair ; sh:property [ sh:path da:context ; sh:minCount 1 ; sh:maxCount 1 ; sh:nodeKind sh:IRI ],
  [ sh:path da:providerIRI ; sh:minCount 1 ; sh:maxCount 1 ; sh:nodeKind sh:IRI ],
  [ sh:path da:question ; sh:minCount 1 ; sh:maxCount 1 ; sh:nodeKind sh:IRI ],
  [ sh:path da:declaredStanding ; sh:minCount 1 ; sh:maxCount 1 ; sh:nodeKind sh:IRI ],
  [ sh:path da:registrationStanding ; sh:minCount 1 ; sh:maxCount 1 ; sh:nodeKind sh:IRI ],
  [ sh:path da:loadedStanding ; sh:minCount 1 ; sh:maxCount 1 ; sh:nodeKind sh:IRI ],
  [ sh:path da:historicalStanding ; sh:minCount 1 ; sh:maxCount 1 ; sh:nodeKind sh:IRI ],
  [ sh:path da:fingerprintStanding ; sh:minCount 1 ; sh:maxCount 1 ; sh:nodeKind sh:IRI ],
  [ sh:path da:currentVerificationStanding ; sh:minCount 1 ; sh:maxCount 1 ; sh:nodeKind sh:IRI ],
  [ sh:path da:clientAdoptionStanding ; sh:minCount 1 ; sh:maxCount 1 ; sh:nodeKind sh:IRI ],
  [ sh:path da:sourceDigest ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ],
  [ sh:path da:contextDigest ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ],
  [ sh:path da:interpretationDigest ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ],
  [ sh:path da:inputDigest ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ],
  [ sh:path da:extensionsDigest ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ] .
da:ProviderSliceShape a sh:NodeShape ; sh:targetClass da:ProviderSlice ; sh:property [ sh:path da:context ; sh:minCount 1 ; sh:maxCount 1 ; sh:nodeKind sh:IRI ],
  [ sh:path da:providerIRI ; sh:minCount 1 ; sh:maxCount 1 ; sh:nodeKind sh:IRI ],
  [ sh:path da:assessedOperations ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:integer ; sh:minInclusive 0 ],
  [ sh:path da:nativeInventoryStanding ; sh:minCount 1 ; sh:maxCount 1 ; sh:nodeKind sh:IRI ],
  [ sh:path da:sourceDigest ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ],
  [ sh:path da:contextDigest ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ],
  [ sh:path da:interpretationDigest ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ],
  [ sh:path da:inputDigest ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ],
  [ sh:path da:extensionsDigest ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ] .
da:AxisValueShape a sh:NodeShape ; sh:targetClass da:InputPathAssessment ; sh:property [ sh:path da:selectedValue ; sh:maxCount 1 ; sh:nodeKind sh:IRI ], [ sh:path da:account ; sh:maxCount 1 ; sh:nodeKind sh:Literal ], [ sh:path da:itemIndex ; sh:maxCount 1 ; sh:datatype xsd:integer ; sh:minInclusive 0 ] .

@prefix ior: <https://ontology.inferal.com/mappings/relay-operation-input-roles/> .
da:StateShape a sh:NodeShape ; sh:targetClass da:InputPathAssessment ; sh:property [ sh:path da:state ; sh:in ( ior:Resolved ior:Unassessed ior:Conflicted ior:Conditional ) ] .