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

This is the root for the RIF-FLD document. The official document is extracted from the Wiki, starting at this page, by wiki-tr. Direct link: Dynamically (slowly) generated W3C-styled version

RIF Framework for Logic Dialects

Editor
Harold Boley (National Research Council Canada)
Editor
Michael Kifer (State University of New York at Stony Brook)
Publication Date
Request For Comments
Comments Due By
Document Class Code
WD
This Version
Previous Version
Latest Version

Abstract

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

Table Of Contents

  1. Overview of RIF-FLD

  2. Syntactic Framework

  3. Semantic Framework

  4. XML Serialization Framework

  5. References

Discussion

Conventions: