Constraint Logic

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

The boolean operator of a logical constraint — odrl:and / odrl:or / odrl:xone (exactly one) / odrl:andSequence (ordered conjunction).

Structure

Subclass of: gufo:QualityValue

Practical Pattern

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

Usage Advice

Use when

• Use as the value vocabulary for the boolean-combination axis — the operator (and, or, xone, andSequence) a logical constraint uses, referenced via gmeow:constraintLogic.

Avoid when

• Avoid minting per-operator subclasses (operators are individuals, Principle 9) and avoid using it for an atomic comparison operator, which is gmeow:ConstraintOperator.

How to use

• Reference a seeded value (gmeow:logicAnd, gmeow:logicOr, gmeow:logicXone, gmeow:logicAndSequence) from gmeow:constraintLogic.

Examples

• ex:logXone a gmeow:ConstraintLogic; rdfs:label "exactly one"@en.