Ogólne ontologia formalna - General formal ontology

Ogólnie formalne ontologia ( GFO ) jest górna ontologia integracji procesów i obiektów. GFO został opracowany przez Heinricha Herre, Barbara Heller i współpracowników (grupy badawczej na-Med ) w Lipsku . Chociaż GFO zapewnia jeden taksonomiczną drzewa, różne systemy Axiom może być wybrany na jego modułów. W tym sensie, GFO zapewnia ramy dla budowania niestandardowych ontologii specyficznych domen. GFO wykazuje trójwarstwową architekturę meta-ontologiczną składający się z abstrakcyjnego najwyższym poziomie, abstrakcyjnym poziomie rdzenia, a na poziomie podstawowym. Przede wszystkim jednak GFO ontologia:

  • obejmuje obiekty jak również procesy i oba są zintegrowane w jeden spójny system,
  • obejmuje poziomy rzeczywistości
  • przeznaczony jest do wspierania interoperacyjności przez zasady ontologicznej mapowania i redukcji
  • zawiera szereg nowych ontologiczne modułów, w szczególności, moduł dla funkcji i moduł do roli i
  • przeznaczony jest do zastosowań, przede wszystkim w dziedzinach medycznych, biologicznych i biomedycznych, ale także w dziedzinie ekonomii i socjologii.

Taksonomiczna drzewo GFO

Podstawowe taksonomiczne drzewo Walnego formalnej ontologii

GFO (General formalna ontologia) dokonuje podstawowego rozróżnienia między konkretnymi podmiotami , kategorie i zestawów . Zestawy są opisane aksjomatyczną fragmentu teorii zbiorów z Zermelo-Fraenkel, chociaż fragmenty przeciwciał podstawą aksjomatów zestaw teorii jak ZF AFA są brane pod uwagę.

Podmioty betonowe są podmioty, które są w czasie i przestrzeni , podczas gdy kategorie mają uniwersalny charakter.

Kategorie

Wspólną własnością wszystkich kategoriach jest to, że mogą one być orzekana podmiotu.

Kategorie GFO są dodatkowo podzielone na immanentnych uniwersaliów , struktur pojęciowych i struktur symbolicznych . Immanentne uniwersalia są tzw Aristotlian uniwersalia , w tym sensie, że są one uznawane w re . Oznacza to, że te uniwersalia istnieją we wszystkich podmiotach, które instancji immanentną uniwersalne, niezależne od obserwatora. Przykładem może być immanentną Universalu APPLE. Uniwersalny APPLE istnieje we wszystkich jabłek, niezależnie od postrzegania przez pośrednika.

Koncepcyjne struktury są reprezentacje umysłowe podmiotów lub uniwersaliów, a one istnieć w agenta umysłu . Na przykład, jednostka reprezentacja (językowej) określenie „apple” w umyśle danej agenta (określona przez agenta doświadczenia, wiedzy i wiary, etc.).

Struktury są symboliczne znaki, które mogą być tworzone wystąpienia przez tokenów. Mają właściwość do kandydowania do czegoś poza siebie. Przykładem jest fizyczne wzór „oczko”, który instancję „oczko” strukturę symbolicznego.

Przestrzeń i czas

GFO wykorzystuje teorię przestrzeni i czasie, który jest inspirowany przez filozofię Brentano . Do czasu, czasowo przedziały , zwane chronoids , są traktowane jako prymitywne. Egzystencjalnie zależne od tych przedziałów czasowych są granice czasowe. Granice czasowe różnych odstępach czasowych może zbiegać. To pojęcie zbieżności jest równoznaczne z formalizacji czasu oparte na spełnia zależność (z powodu Allen i Hayes).

Połączonych ze sobą części trójwymiarowych przestrzeni nazywane są „ topoids ”. Jako chronoids, topoids mogą zbiegać się na granicy dwuwymiarowej. Ta granica może pokrywać się z innymi (dwuwymiarowej) granice na granicy jednowymiarowej, i tak dalej.

Procesy i obiekty

GFO rozróżnia procesów i obiektów . Procesy rozwijają się w czasie, mają części czasowe. Przedmioty (zwane presentials ) nie mają części skroniowej, i może istnieć tylko w granicach czasowych. Presentials są zależne od procesów. Może to być postrzegane jako odmiana o zależnościach stosunków w formalizacji czasu: procesy są zawsze otoczone chronoid; i jako czasowe granice zależą od chronoids, tacy presentials zależne od procesów.

DOLCE i inne ontologie zmierzyć się z problemem „tożsamości”: jak to możliwe, aby modelować utrzymywanie obiektu w czasie. W GFO, problem ten jest wyraźnie: wszystkie presentials wyraźnie istnieć tylko w jednym czasowej granicy; Trwałość jest modelowany za pomocą specjalnego typu kategorii, trwałe.

Zobacz też

Referencje

  1. ^ Herre, H .; Heller, B .; Burek, P .; Hoehndorf R .; Loebe F. i Michałek H .. ogólne Formalna Ontologia (GFO) fundamentalne Ontologia Integracja obiektów i sposobów. Część I: Podstawowe zasady. Grupa badawcza ontologie w Medicine (na-Med), Uniwersytet w Lipsku.
  2. ^ R. Poli. Podstawowym problemem teorii poziomów rzeczywistości. Axiomathes 2001. Springer.

Linki zewnętrzne