overrides

• CURIE: gmeow:overrides
• IRI: https://blackcatinformatics.ca/gmeow/overrides
• Category: property
• Defined by: gmeow:slices/norms
• Box roles: RBox role (What is this?)

Pairwise defeasible precedence: when both norms apply, the subject prevails over the object — according to whoever asserts this claim (statement-layer indexed like everything else). DELIBERATELY NOT TRANSITIVE: lex-superior chains, specificity reasoning, and cycle handling are solver inferences over the recorded pairs, never reasoner entailments (Principle 12). Irreflexive by SHACL. The flat 80% case; promote to gmeow:PrecedenceTenure when the precedence held over an interval is itself the fact of interest.

Structure

Property shape: object property; gmeow:Norm -> gmeow:Norm

Practical Pattern

Use gmeow:overrides from gmeow:Norm to gmeow:Norm when the relationship itself belongs in the native GMEOW graph.

Common Companion Terms

gmeow:Norm

Usage Advice

Use when

• Use for the flat case — recording that one norm prevails over another when both apply, as a pairwise claim indexed to whoever asserts it.

Avoid when

• Avoid relying on transitivity (it is deliberately non-transitive — chains are solver inferences, never entailments) and avoid it when the precedence held over an interval is itself the fact (promote to gmeow:PrecedenceTenure).

How to use

• Assert gmeow:overrides from the prevailing norm to the yielding one; the solver builds lex-superior chains and handles cycles over the recorded pairs. Reify to gmeow:PrecedenceTenure when adoption/withdrawal matters.

Examples

• ex:constitutionN gmeow:overrides ex:bylawN.