Ontology DSL

The default operational language package built with Forma.

The Ontology DSL is the authoring language inside Alpha Ontology. It gives teams a ready-made set of forms for defining operational software: entities, facts, queries, policies, actors, commands, effects, projections, workflows, documents, interfaces, and agents.

It is built with Forma Toolchain. That means the DSL has descriptors, typechecking, diagnostics, editor metadata, source provenance, and elaboration into Canonical IR instead of living as ad hoc configuration.

Default Forms#

The core language package should stay small and operational:

• Entity defines a thing the system tracks.
• Fact records an assertion about an entity.
• Query derives information from facts.
• Policy gates authority.
• Actor owns mutation boundaries.
• Command changes operational state.
• Event records what happened.
• Effect names controlled interaction with the world.
• Projection exposes interfaces and derived views.

Higher-level concepts such as workflow, form, dashboard, violation, task, queue, timer, notification, and agent can be elaborated from those primitives until they become stable enough to deserve named forms.

Why It Exists#

The Ontology DSL is the default path for teams that want to model operational software without designing a language from scratch. A team can adopt it, extend it with its own forms, fork it, or replace it with another Forma-built language package.

The important boundary is that Alpha Ontology is a language package, not the compiler itself. Forma provides the toolchain. The Ontology DSL provides the default vocabulary.