Constraint

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

The abstract base of a condition on a rights rule (odrl:Constraint) — specialised by gmeow:AtomicConstraint (a leftOperand / operator / rightOperand comparison, e.g. dateTime ≤ 2030, spatial = EU, count ≤ 5) and gmeow:LogicalConstraint (a boolean combination of constraints). A licence's temporal bound is an AtomicConstraint over the dateTime operand.

Structure

Subclass of: gufo:Relator

Practical Pattern

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

External Equivalences

Equivalent or closely aligned targets: odrl, premis

Linkages

Generated from the canonical mapping DSL. SSSOM files are the generated public interchange form for term equivalences.

Term Equivalences

Usage Advice

Use when

• Use as the abstract base only when reasoning over any rule condition regardless of kind; for a concrete condition mint a gmeow:AtomicConstraint (one comparison) or a gmeow:LogicalConstraint (a boolean combination).

Avoid when

• Avoid typing an instance as a bare gmeow:Constraint (the two kinds are disjoint and one always applies) and avoid using a constraint where a simple validity window suffices — a licence term is fine as gmeow:validFrom / gmeow:validUntil.

How to use

• Type the condition as AtomicConstraint or LogicalConstraint, attach it to a rule with gmeow:ruleConstraint, and let the solver evaluate it; the rule holds only when all its constraints are satisfied.

Examples

• ex:c a gmeow:AtomicConstraint; gmeow:leftOperand gmeow:leftOpSpatial; gmeow:constraintOperator gmeow:operatorEq; gmeow:rightOperand "EU".