A formal ontology is an ontology with a structure that is guided and defined through axioms. The goal of a formal ontology is to provide an unbiased view on reality. Formal ontologies are founded upon a specific formal upper level ontology, which provides consistency checks for the entire ontology and, if applied properly, allows the modeler to avoid possibly erroneous ontological assumptions encountered in modeling large-scale ontologies.

PropertyValue
dbpprop:abstract
  • A formal ontology is an ontology with a structure that is guided and defined through axioms. The goal of a formal ontology is to provide an unbiased view on reality. Formal ontologies are founded upon a specific formal upper level ontology, which provides consistency checks for the entire ontology and, if applied properly, allows the modeler to avoid possibly erroneous ontological assumptions encountered in modeling large-scale ontologies. By maintaining an independent view on reality the 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 Aristotle.
  • Formale Ontologie bezeichnet Projekte ontologischer Theoriebildung, welche sich weitgehend formaler Instrumentarien bedienen, wie sie in den letzten Jahrzehnten in der analytischen Ontologie nach dem sogenannten "ontological turn" entwickelt wurden. Ähnlich wie die formale Logik keine konkreten Gehalte studiert, sondern logische Beziehungen im Allgemeinen, beschreibt die formale Ontologie allgemeine Eigenschaften, Beziehungen, Identifikations- und Identitätskriterien von Objekten überhaupt. Teilweise bilden dabei unsere Urteile über die Strukturen der Wirklichkeit den Ausgangspunkt der Untersuchung. Zur praktischen Anwendung zur Wissensrepräsentation von einigen Projekten formaler Ontologie vgl. Ontologie (Informatik).
dbpprop:date
  • February 2009
dbpprop:hasPhotoCollection
dbpprop:reference
dbpprop:wikiPageUsesTemplate
rdfs:comment
  • A formal ontology is an ontology with a structure that is guided and defined through axioms. The goal of a formal ontology is to provide an unbiased view on reality. Formal ontologies are founded upon a specific formal upper level ontology, which provides consistency checks for the entire ontology and, if applied properly, allows the modeler to avoid possibly erroneous ontological assumptions encountered in modeling large-scale ontologies.
  • Formale Ontologie bezeichnet Projekte ontologischer Theoriebildung, welche sich weitgehend formaler Instrumentarien bedienen, wie sie in den letzten Jahrzehnten in der analytischen Ontologie nach dem sogenannten "ontological turn" entwickelt wurden. Ähnlich wie die formale Logik keine konkreten Gehalte studiert, sondern logische Beziehungen im Allgemeinen, beschreibt die formale Ontologie allgemeine Eigenschaften, Beziehungen, Identifikations- und Identitätskriterien von Objekten überhaupt.
rdfs:label
  • Formal ontology
  • Formale Ontologie
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of