Not logged in : Login

About: Formal ontology     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : ods-qa.openlinksw.com:8896 associated with source document(s)

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:

AttributesValues
sameAs
wasDerivedFrom
dbpedia-owl: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, die 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).
  • 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: * 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.
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
dbpedia-owl:wikiPageRevisionID
comment
  • 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, die 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.
  • 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:
label
  • Formal ontology
  • Formale Ontologie
dbpprop:wikiPageUsesTemplate
described by
topic
Subject
is primary topic of
dbpedia-owl:wikiPageLength
dbpedia-owl:wikiPageWikiLink
Faceted Search & Find service v1.17_git55 as of Mar 01 2021


Alternative Linked Data Documents: ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3322 as of Mar 14 2022, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (7 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2022 OpenLink Software