Logical Constraint

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

A boolean combination of constraints under a gmeow:constraintLogic operator (odrl:and / odrl:or / odrl:xone / odrl:andSequence) over its gmeow:logicConstraintMember constraints — the ODRL LogicalConstraint, modelling the deontic constraint logic.

Structure

Subclass of: gmeow:Constraint

Practical Pattern

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

Common Companion Terms

gmeow:Constraint

External Equivalences

Equivalent or closely aligned targets: odrl

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 to combine two or more constraints under a boolean operator — AND (all), OR (any), XONE (exactly one), or AND-sequence (ordered) — the ODRL LogicalConstraint.

Avoid when

• Avoid for a single comparison (use gmeow:AtomicConstraint) and avoid mixing the logic operator into the member constraints; the operator is gmeow:constraintLogic on the logical constraint itself.

How to use

• Mint one LogicalConstraint, set gmeow:constraintLogic to the boolean operator, add its parts with gmeow:logicConstraintMember (each itself an Atomic or Logical constraint), and attach it to a rule with gmeow:ruleConstraint.

Examples

• ex:euAndUntil2030 a gmeow:LogicalConstraint; gmeow:constraintLogic gmeow:logicAnd; gmeow:logicConstraintMember ex:inEu, ex:until2030.