Semantics - W3C RIF-WG Wiki (original) (raw)

This is an archive of an inactive wiki and cannot be modified.

TBC

RIF expressions have a unique semantics, whereas the semantics of rules depends on the dialect.

• How semantics are specified
• Each standard RIF dialect must have a clear and precise syntax and semantics that extends RIF core;
• For standard RIF dialects, model theories will be normative; in their absence it will be proof theories; in the absence of both it will be operational semantics.