Thursday, November 29, 2007
Introduction to the IFF-ONT
Introduction to the IFF-ONT
The IFF Ontology (meta) Ontology (IFF-ONT)
According to Merriam-Webster, logic is the science that deals with the principles and criteria of validity of inference and demonstration. It is the science of the formal principles of reasoning. A logic consists of a first order language of types, together with an axiomatic system and a model-theoretic semantics.
Overview
The IFF Ontology (meta) Ontology (IFF-ONT) provides a metalevel axiomatic framework for object-level ontologies. The second term “Ontology” in the title refers to the fact that this is a meta-ontology – an ontology located in the IFF metalevel. The first term “Ontology” in the title refers to the fact that this is about object-level ontologies. The documentation for the IFF-ONT consists of three parts: this introductory HTML document that gives a brief intuitive overview of the IFF-ONT, a metatheory PDF document that gives an IFF upper metalevel abstraction for the IFF-ONT, and four namespace PDF documents that give the IFF-ONT axiomatization.
The IFF Ontology (meta) Ontology (IFF-ONT)
According to Merriam-Webster, logic is the science that deals with the principles and criteria of validity of inference and demonstration. It is the science of the formal principles of reasoning. A logic consists of a first order language of types, together with an axiomatic system and a model-theoretic semantics.
Overview
The IFF Ontology (meta) Ontology (IFF-ONT) provides a metalevel axiomatic framework for object-level ontologies. The second term “Ontology” in the title refers to the fact that this is a meta-ontology – an ontology located in the IFF metalevel. The first term “Ontology” in the title refers to the fact that this is about object-level ontologies. The documentation for the IFF-ONT consists of three parts: this introductory HTML document that gives a brief intuitive overview of the IFF-ONT, a metatheory PDF document that gives an IFF upper metalevel abstraction for the IFF-ONT, and four namespace PDF documents that give the IFF-ONT axiomatization.