Condition Expression

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

A machine formalization of a condition in a named expression language. STORED, NEVER EXECUTED: no CI step, test, or tool may evaluate a ConditionExpression against the graph as part of validation (Principle 12 made operational). Attaching one to a Condition (gmeow:formalizedAs) is a claim that the expression captures the prose — a claim like any other, carrying confidence and vantage through the statement layer.

Structure

Subclass of: gmeow:InformationObject

Practical Pattern

Use gmeow:ConditionExpression as a specialized kind of gmeow:InformationObject. Add statement metadata or a standpoint when the assertion needs provenance, confidence, or vantage.

Common Companion Terms

gmeow:InformationObject

Usage Advice

Use when

• Use to carry a machine formalization of a condition in a named expression language — SPARQL ASK, CEL, Rego, Cedar, XACML, SHACL — as a stored, challengeable equivalence claim.

Avoid when

• Avoid evaluating it against the graph during validation (stored, never executed — Principle 12) and avoid treating it as the canonical condition; the prose gmeow:conditionText is canonical.

How to use

• Mint the expression with gmeow:expressionText and gmeow:expressionLanguage, attach it to a gmeow:Condition via gmeow:formalizedAs, and carry the equivalence claim's confidence and vantage on the statement layer.

Examples

• ex:e1 a gmeow:ConditionExpression; gmeow:expressionLanguage gmeow:exprLangSparqlAsk; gmeow:expressionText "ASK { ?s ex:requestedErasure true }".