constraint logic

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

The boolean operator combining a logical constraint's members — one of the gmeow:ConstraintLogic values (odrl:and / or / xone / andSequence). Functional.

Structure

Property shape: object property; gmeow:LogicalConstraint -> gmeow:ConstraintLogic; functional

Practical Pattern

Use gmeow:constraintLogic from gmeow:LogicalConstraint to gmeow:ConstraintLogic when the relationship itself belongs in the native GMEOW graph.

Common Companion Terms

gmeow:LogicalConstraint, gmeow:ConstraintLogic

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 name the boolean operator that combines a logical constraint's members — AND, OR, XONE, or AND-sequence — by referencing a gmeow:ConstraintLogic value.

Avoid when

• Avoid giving one logical constraint several logics (it is functional) and avoid putting it on an atomic constraint; the operator combines members, it does not compare a value.

How to use

• Set gmeow:constraintLogic once per LogicalConstraint (functional) to a gmeow:ConstraintLogic value over its gmeow:logicConstraintMember parts.

Examples

• ex:euAndUntil2030 gmeow:constraintLogic gmeow:logicAnd.