Misc,

RIF Framework for Logic Dialects

, and .
World Wide Web Consortium, Working Draft WD-rif-fld-20080730, (July 2008)

Abstract

This document, developed by the Rule Interchange Format (RIF) Working Group, defines a general RIF Framework for Logic Dialects (RIF-FLD). The framework describes mechanisms for specifying the syntax and semantics of logic RIF dialects through a number of generic concepts such as signatures, symbol spaces, semantic structures, and so on. The actual dialects are required to specialize this framework to produce their syntaxes and semantics.

Tags

Users

  • @dret

Comments and Reviews