co-equal facet
- CURIE:
gmeow:coequalFacet - IRI: https://blackcatinformatics.ca/gmeow/coequalFacet
- Category: property
- Defined by:
gmeow:slices/kernel - Box roles: RBox role (What is this?)
Marks a property as one co-equal identity-facet axis among peers (CONSTITUTION P9, co-equal facet lint). Every property annotated coequalFacet true is held orthogonal to every other by the generated reasoning lint: its range is its own (distinct from every other axis), no rdfs:subPropertyOf or owl:equivalentProperty bridge may connect two axes, none may be owl:FunctionalProperty (a single locked value invites exactly the owl:sameAs collapse Principle 5 forbids), and all axis ranges must be jointly declared owl:AllDisjointClasses. A new annotated axis receives Principle 9 enforcement by construction.
Structure
Property shape: annotation property
Practical Pattern
Use gmeow:coequalFacet when the definition matches the source fact. Prefer a narrower GMEOW term when one exists, and keep projection concerns in the mapping layer.