RIF Framework for Logic Dialects

Harold Boley, Michael Kifer

Harold Boley, Michael Kifer, RIF Framework for Logic Dialects, World Wide Web Consortium, Recommendation REC-rif-fld-20100622, June 2010.

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 should specialize this framework to produce their syntaxes and semantics.


Keywords: RIF (Rule Interchange Format)0.9; (undefined keyword: riffld);


Bibliography Navigation: Reference List; Author Index; Title Index; Keyword Index

Generated by sharef2html on 2011-04-15, 02:00:41.