Mathematical Connections

Here we overview some categorical structure for the Information Flow Framework, and we briefly connect components of Onto Logic and Information Flow.



This page establishes the Information Flow representation by giving correspondences between the IFF language and the mathematics behind the Information Flow Framework.



Here we explain the various relationships and constraints between the components of the Information Flow Framework such as languages, models, ontologies, etc.


Abbreviated Syntax

This page describes the abbreviation syntax for the IFF language.






Please send questions, comments and suggestions about this page to: Robert E. Kent rekent@ontologos.org


Copyright 1999 TOC (The Ontology Consortium).