"Formale Ontologie"@de . . . . . . . . . . . . . . . . . "11200"^^ . . . . . . . . . . . . . . "Formal ontology"@en . . . . . "1098458117"^^ . . . . . . . "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 (- and application-independent) view on reality, which can help the modeler of - 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:"@en . . . . . . . . . . . "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 (- and application-independent) view on reality, which can help the modeler of - 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: \n* indefinite expandability:the ontology remains consistent with increasing content. \n* content and context independence:any kind of 'concept' can find its place. \n* accommodate different levels of granularity."@en . . . . . . . . "5378848"^^ . . . . "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. \u00C4hnlich wie die formale Logik, die keine konkreten Gehalte studiert, sondern logische Beziehungen im Allgemeinen, beschreibt die formale Ontologie allgemeine Eigenschaften, Beziehungen, Identifikations- und Identit\u00E4tskriterien von Objekten \u00FCberhaupt. Teilweise bilden dabei unsere Urteile \u00FCber die Strukturen der Wirklichkeit den Ausgangspunkt der Untersuchung."@de . . . . "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. \u00C4hnlich wie die formale Logik, die keine konkreten Gehalte studiert, sondern logische Beziehungen im Allgemeinen, beschreibt die formale Ontologie allgemeine Eigenschaften, Beziehungen, Identifikations- und Identit\u00E4tskriterien von Objekten \u00FCberhaupt. Teilweise bilden dabei unsere Urteile \u00FCber die Strukturen der Wirklichkeit den Ausgangspunkt der Untersuchung. Zur praktischen Anwendung zur Wissensrepr\u00E4sentation von einigen Projekten formaler Ontologie vgl. Ontologie (Informatik)."@de . . . . .