Related Communities:

RIF Framework for Logic Dialects

RIF Framework for Logic Dialects: Analysis and a Case Study.

Author(s): Kalinichenko L. A., Stupnikov S. A.
Created:2011/01/01
Published:Proc. of the Second Symposium on Ontological Modeling. Moscow: IPI RAS, 2011. P. 123-150. (In Russian)
Abstract:
RIF Framework for Logic Dialects is intended for describing of syntax and semantics of RIF logic dialects through such generic constructions as signatures, symbol spaces, semantic structures and so on. The aim of the paper is to provide analysis of the RIF Framework and a case study of concrete dialect definition. The main features of syntactic and semantic frameworks are considered. Concrete dialects are assumed to be specializations of these frameworks.
Download: [ Adobe PDF ]

Supported by Synthesis Group