What lower metalevel modules are being contemplated for the IFF?
A module in the lower metalevel should be based upon a well-researched area. In addition to the IFF Ontology (meta) ontology, which is based upon knowledge representation and logic, other lower metalevel modules being considered are as follows: a module for the soft computation of both rough sets and fuzzy logic; a module for theories of semiotics; a module for game-theoretic semantics; a module that corresponds to the Kestrel Institutes Specware system by representing the notions of sheaves and specifications; a module corresponding to the work by Goguen and Meseguer on institutions; etc.
