Onto-Med >> Theories >> GFO Part I Basic Principles

Overview

General Formal Ontology (GFO)

Next: 2.1 Philosophical Assumptions Up: General Formal Ontology (GFO) Previous: 1.4 Related Work

2 Basic Assumptions and Logical Methods

This section reviews the main principles and methods from logic and philosophy that we assume when developing ontologies. The logical methods include the axiomatic method, the representation problem for categorial knowledge, and the principles of ontological reduction and mapping.

• 2.1 Philosophical Assumptions
  • 2.1.1 Categories
  • 2.1.2 Existence and Modes of Being
  
  
• 2.2 The Axiomatic Method
• 2.3 Representation of Ontologies
  • 2.3.1 Model-theoretical Languages
  • 2.3.2 Graph-theoretical Systems
  
  
• 2.4 Translations and Ontological Mappings
  • 2.4.1 Semantic Translations
  • 2.4.2 Ontological Mappings and Reductions