Validate Accessibility Compliance
Class
http://proethica.org/ontology/engineering_standards#ValidateAccessibility
Class Hierarchy
Definition
Required validation for inclusive design compliance
Properties
Applies To Domain
product_engineering
software_engineering
Has Urgency
testing_phase
Relationships
Asserted object-property edges to other entities. Logical class axioms such as
owl:disjointWith are shown separately below.
supportsPrinciple
Social Responsibility
Property Structure
1 · Object and Data Properties
rdfs:domain on this class or ancestor
| Property | Range | Description |
|---|---|---|
| constrainedBy | Constraint | Relates an action to constraints that limit or restrict it. The ratified D1 producer (an Action-pass action_constraints field resolved to this edge) shipped without its emitter; the edge is reserved with the Action-side enrichment family (usesResource pattern) and the producer lands with the Step-4 enrichment or the 119 rebuild. Do not deprecate on the zero-use test. |
| fulfillsObligation | Obligation | Relates an action to obligations it fulfills. The action realizes the directive content of the obligation. |
| guidedByPrinciple | Principle | Relates an action to a principle that directs it. The principle supplies the value the action is taken to serve. |
| hasAgentRole | Role | Relates an action to the role of the agent performing it. |
| initiates | State | Event Calculus initiation: relates a happening (Action or Event) to a State (fluent) that begins to hold as a result and persists until terminated (inertial) or holds momentarily (non-inertial). |
| isPerformedBy | Agent | Relates an action to the agent that performs it. Inverse of performsAction. |
| raisesObligation | Obligation | Relates an action to an obligation it puts at stake without itself resolving it. The fulfillment or breach occurs at a downstream action in the same chain. This third predicate distinguishes an upstream choice that engages an obligation from the downstream action that satisfies or breaches it; without it the same obligation appears as both fulfilled and violated across adjacent steps. |
| realizesCapability | Capability | Relates an action to capabilities it realizes. |
| temporalMarker | string | Narrative temporal marker indicating when an action or event occurred in case time (e.g. 'During preliminary design phase', 'Several months later'). Cases use narrative rather than calendar time. |
| temporalSequence | nonNegativeInteger | Chronological position of an action or event within its case, 1-based, no gaps. Populated by an LLM ordering pass over the case's actions and events; consumed by the validation Timeline view to render entries in chronological order. Free-text temporalMarker is the human-readable signal; temporalSequence is the sortable companion. |
| terminates | State | Event Calculus termination: relates a happening (Action or Event) to a State (fluent) that ceases to hold as a result. |
| usesResource | Resource | Relates an action to resources it utilizes. Reserved as the canonical Action-to-Resource edge for the Step-4 enrichment emitters (the survivor named by the 2026-07-07 hasResource deletion); zero corpus uses are expected until those emitters land. Do not deprecate on the zero-use test. |
| violatesObligation | Obligation | Relates an action to an obligation it breaches. The action fails to realize the directive content of the obligation, the negative counterpart of fulfillsObligation. |
2 · Bearer Attributes
SHACL property shape
individual data
| Attribute | Property (sh:path) | Description |
|---|---|---|
| has agent | hasAgent | The acting agent name, kept verbatim and resolved to the proeth-core:isPerformedBy Agent edge (participant family; precedent-case parties correctly resolve to none). |
| mental state | hasMentalState | The mental state of the agent at decision time (the intention block). |
| intended outcome | intendedOutcome | What the agent intended the action to achieve. |
| foreseen unintended effects | foreseenUnintendedEffects | Effects the agent foresaw but did not intend (the double-effect input). |
| within competence | withinCompetence | Whether the action lay within the competence of the agent (boolean judgment). |
| requires capability | requiresCapabilityText | The capabilities the action calls on, kept as a literal only (no Action-domain edge; the O-to-Ca direction is carried by the requires_capability_edges family). |
| fulfills obligation | fulfillsObligationText | The obligation the action fulfills, kept verbatim and resolved to the fulfillsObligation edge (obligation-engagement family). |
| guided by principle | guidedByPrincipleText | The principle guiding the action, kept verbatim and resolved to the guidedByPrinciple edge. |
| initiates | initiatesText | The State the action brings about, kept verbatim and resolved to the initiates edge (fluent family). |
| temporal marker | temporalMarker | The temporal positioning of the action in the case; temporalExtent records instant versus interval, and the OWL-Time anchor (time:hasTime) plus the sequence ordinal attach at commit. |
3 · Referenced By
rdfs:range on this class or ancestor
| From | Property | Description |
|---|---|---|
| Agent | performsAction | Relates an agent to actions they perform. |
| Causal Normative Link | analyzesAction | Links a Step-4 causal-normative-link (reasoning) node to the committed Action it analyzes, so the reasoning is grounded in the graph and the obligation edges of the action are reachable from it. Domain proeth-cases:CausalNormativeLink, the class the emitter actually asserts (the earlier CausalChain domain wrongly inferred every reasoning node into the Step-3 NESS chain population); neither class is among the nine D-tuple categories, so there is no disjointness impact. Range Action. |
| Decision Point | involvesAction | Links a decision point to a committed Action individual realized by one of its alternatives. Repeated per action. |
| Event | causedByAction | Links an Event to the Action that caused or enabled it: cause-in-fact per the NESS test of Wright (1985), formalized for action languages by Sarmiento et al. (2022). Resolved deterministically at commit by causal_edges.apply_event_cause_edges from the converter reference (fragment remap; no embedding or LLM); records the enabling action in the AutomaticEvent origin tie-break, and a commit guard skips the edge on ExogenousEvent subjects (no proximate agent cause by definition). |
| Temporal Relation | fromEntity | The source entity in a temporal relation (Entity1 [relation] Entity2). |
| Temporal Relation | toEntity | The target entity in a temporal relation (Entity1 [relation] Entity2). |
@prefix core: <http://proethica.org/ontology/core#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix pcsh: <http://proethica.org/shapes/core#> .
@prefix proeth: <http://proethica.org/ontology/intermediate#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
<http://proethica.org/ontology/engineering_standards#ValidateAccessibility> a owl:Class ;
rdfs:label "Validate Accessibility Compliance" ;
proeth:appliesToDomain "product_engineering",
"software_engineering" ;
proeth:hasUrgency "testing_phase" ;
proeth:supportsPrinciple proeth:SocialResponsibility ;
rdfs:comment "Required validation for inclusive design compliance" ;
rdfs:subClassOf core:Action ;
skos:definition "Required validation for inclusive design compliance",
"The testing and validation of system accessibility against applicable accessibility standards" .
pcsh:ActionPropertyShape a sh:NodeShape ;
rdfs:label "Action per-case schema (individual data, non-definitional)"@en ;
rdfs:comment "What a given action INDIVIDUAL carries in a specific case: the acting agent (kept verbatim and resolved to the isPerformedBy edge), the intention block, the professional-context judgments, the obligation-engagement and principle literals (kept verbatim and resolved to the engagement edges), the fluent-transition literals (kept verbatim and resolved to the initiates/terminates edges), and the temporal anchors. Descriptive only."@en ;
sh:property [ sh:description "The acting agent name, kept verbatim and resolved to the proeth-core:isPerformedBy Agent edge (participant family; precedent-case parties correctly resolve to none)." ;
sh:name "has agent" ;
sh:order 1 ;
sh:path proeth:hasAgent ],
[ sh:description "The mental state of the agent at decision time (the intention block)." ;
sh:name "mental state" ;
sh:order 2 ;
sh:path proeth:hasMentalState ],
[ sh:description "What the agent intended the action to achieve." ;
sh:name "intended outcome" ;
sh:order 3 ;
sh:path proeth:intendedOutcome ],
[ sh:description "Effects the agent foresaw but did not intend (the double-effect input)." ;
sh:name "foreseen unintended effects" ;
sh:order 4 ;
sh:path proeth:foreseenUnintendedEffects ],
[ sh:description "Whether the action lay within the competence of the agent (boolean judgment)." ;
sh:name "within competence" ;
sh:order 5 ;
sh:path proeth:withinCompetence ],
[ sh:description "The capabilities the action calls on, kept as a literal only (no Action-domain edge; the O-to-Ca direction is carried by the requires_capability_edges family)." ;
sh:name "requires capability" ;
sh:order 6 ;
sh:path proeth:requiresCapabilityText ],
[ sh:description "The obligation the action fulfills, kept verbatim and resolved to the fulfillsObligation edge (obligation-engagement family)." ;
sh:name "fulfills obligation" ;
sh:order 7 ;
sh:path proeth:fulfillsObligationText ],
[ sh:description "The principle guiding the action, kept verbatim and resolved to the guidedByPrinciple edge." ;
sh:name "guided by principle" ;
sh:order 8 ;
sh:path proeth:guidedByPrincipleText ],
[ sh:description "The State the action brings about, kept verbatim and resolved to the initiates edge (fluent family)." ;
sh:name "initiates" ;
sh:order 9 ;
sh:path proeth:initiatesText ],
[ sh:description "The temporal positioning of the action in the case; temporalExtent records instant versus interval, and the OWL-Time anchor (time:hasTime) plus the sequence ordinal attach at commit." ;
sh:name "temporal marker" ;
sh:order 10 ;
sh:path proeth:temporalMarker ] ;
sh:targetClass core:Action .
pcsh:CaseAnnotationShape a sh:NodeShape ;
rdfs:label "Shared per-case annotation schema (all nine components)"@en ;
rdfs:comment "The cross-component annotation fields on committed case individuals: proeth:confidence (extraction confidence, decimal; all components except Action, whose Step-3 contract carries no confidence field), proeth:textReferences (verbatim supporting quotes, universal), proeth-prov sourceText (the source snippet, on the Step-1/2 provenance layers; Step-3 A/E individuals ground via textReferences only), and the involvement gloss (proeth:caseInvolvement on role individuals, proeth:caseContext on obligation, capability, and constraint individuals). Values are per-individual; the fields do not individuate any type."@en ;
sh:property [ sh:description "Extraction confidence for this individual (0 to 1)." ;
sh:name "confidence" ;
sh:order 1 ;
sh:path proeth:confidence ],
[ sh:description "Verbatim case quotes supporting this individual." ;
sh:name "text references" ;
sh:order 2 ;
sh:path proeth:textReferences ],
[ sh:description "How this individual figures in the case narrative (role individuals; the same text is routed into rdfs:comment)." ;
sh:name "case involvement" ;
sh:order 3 ;
sh:path proeth:caseInvolvement ],
[ sh:description "Grounding context in this case (obligation, capability, and constraint individuals)." ;
sh:name "case context" ;
sh:order 4 ;
sh:path proeth:caseContext ] ;
sh:targetClass core:Action,
core:Capability,
core:Constraint,
core:Event,
core:Obligation,
core:Principle,
core:Resource,
core:Role,
core:State .