Formal Ontology

In philosophy, the term formal ontology is used to refer to an ontology defined by axioms in a formal language with the goal to provide an unbiased (domain- and application-independent) view on reality, which can help the modeler of domain- or application-specific ontologies (information science) to avoid possibly erroneous ontological assumptions encountered in modeling large-scale ontologies.

By maintaining an independent view on reality a formal (upper level) ontology gains the following properties:

  • indefinite expandability:
    the ontology remains consistent with increasing content.
  • content and context independence:
    any kind of 'concept' can find its place.
  • accommodate different levels of granularity.

Theories on how to conceptualize reality date back as far as Plato and Aristotle.


Read more about Formal Ontology:  Existing Formal Upper Level Ontologies (foundational Ontologies), Common Terms in Formal (upper-level) Ontologies, Formal Versus Nonformal

Famous quotes containing the word formal:

    It is in the nature of allegory, as opposed to symbolism, to beg the question of absolute reality. The allegorist avails himself of a formal correspondence between “ideas” and “things,” both of which he assumes as given; he need not inquire whether either sphere is “real” or whether, in the final analysis, reality consists in their interaction.
    Charles, Jr. Feidelson, U.S. educator, critic. Symbolism and American Literature, ch. 1, University of Chicago Press (1953)