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:Theories on how to conceptualize reality date back as far as Plato and Aristotle.

Property Value
dbo:abstract
  • 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). (de)
  • 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: Theories on how to conceptualize reality date back as far as Plato and Aristotle. (en)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 5378848 (xsd:integer)
dbo:wikiPageRevisionID
  • 642124638 (xsd:integer)
dct:subject
rdfs:comment
  • 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:Theories on how to conceptualize reality date back as far as Plato and Aristotle. (en)
  • 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. (de)
rdfs:label
  • Formale Ontologie (de)
  • Formal ontology (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is foaf:primaryTopic of