Mitigation
- CURIE:
gmeow:Mitigation - IRI: https://blackcatinformatics.ca/gmeow/Mitigation
- Category: class
- Defined by:
gmeow:slices/risk - Box roles: TBox role (What is this?)
A reified countermeasure binding: a measure — a gmeow:Norm or a Procedure (procedures extension) — set against a causal link or hazard it counters. The measure range is intentionally OPEN (the tenurePosition precedent, fourth use): the P16 DAG rule bars extension→extension dependencies, and the open range lets the deontic and procedural worlds plug in without axiom coupling. The D3FEND countermeasure and bowtie barrier map here at alignment time. Whether a mitigation WORKED is a vantage-indexed claim, never an entailment.
Structure
Subclass of: gufo:Relator
Practical Pattern
Use gmeow:Mitigation as a specialized kind of gufo:Relator. Add statement metadata or a standpoint when the assertion needs provenance, confidence, or vantage.
Example Snippets
These snippets are generated from canonical slice examples and trimmed to the Turtle blocks where this term appears.
Trust Collapse
- Source:
slices/extensions/risk/examples/trust-collapse.ttl - Examples catalog: open in catalog#example-slices-extensions-risk-examples-trust-collapse
@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix ex: <https://blackcatinformatics.ca/gmeow/examples/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
# Open-range measure: the oath norm plugs in with no
# extension→extension axiom — the IRI is reference, not dependency.
ex:oathMitigation a gmeow:Mitigation ;
gmeow:mitigationMeasure ex:oathNorm ;
gmeow:mitigationCounters ex:linkBetrayalToDissolution , ex:betrayalHazard ;
gmeow:mitigationStatus gmeow:mitigationActive .