Traversal Constraint
- CURIE:
gmeow:TraversalConstraint - IRI: https://blackcatinformatics.ca/gmeow/TraversalConstraint
- Category: class
- Defined by:
gmeow:slices/music - Box roles: TBox role (What is this?)
Mobile form as data: a set of fragments, allowed-successor links (mayFollow), selection rules, and termination rules interpreted by a solver. Graph reachability and termination are solver work; no DL chain axiom is ever asserted over mayFollow (Principles 4, 12).
Structure
Subclass of: gmeow:InformationObject, gufo:Object
Practical Pattern
Use gmeow:TraversalConstraint as a specialized kind of gmeow:InformationObject, gufo:Object. Add statement metadata or a standpoint when the assertion needs provenance, confidence, or vantage.