Projection Function

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

An FnO function that renders canonical frame-relative content to a notation system (Principle 12).

Structure

Subclass of: fno:Function

Practical Pattern

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

Usage Advice

Use when

• Use to type the executable FnO function that performs a notation render — the solver-layer object a projection profile points at to actually turn canonical content into a surface form.

Avoid when

• Avoid asserting the function's output as canonical data and avoid hand-encoding the render math in the ontology; the function is a solver-layer reference (P12), declared here, executed there.

How to use

• Type the function as ProjectionFunction (an fno:Function), reference it from a profile via gmeow:projectionFunction, and declare its input through gmeow:projectableExpression; the solver supplies the implementation.

Examples

• ex:renderStaff a gmeow:ProjectionFunction.