Najlepsza odpowiedź
Ontologia to badanie podstawowych rodzajów bytów, które istnieją. Tradycyjne słowo określające „rodzaj podstawowy” w tym sensie to kategoria y. Na przykład rozróżniamy poszczególne przedmioty i ich cechy, takie jak kolor, kształt i waga tego liścia. To rozróżnienie jest założone we wszystkich naukach. Zatem hipotezy lub „teorie” dotyczące tego rozróżnienia, tego, czym jest właściwość lub konkret, nie mieszczą się w żadnej z innych nauk. Jest to typowe dla kwestii ontologicznej. Pozostałe dwie odpowiedzi są niepoprawne, ponieważ sugerują, że epistemologia jest w jakiś sposób częścią ontologii. Tak nie jest. Epistemologia to osobne badanie. Epistemologia zajmuje się tym, w jaki sposób przekonania stają się uzasadnione lub czym jest wiedza.
Podmiot można rozumieć jako wszystko, co dotyczy prawdziwych stwierdzeń, wszystko, co ma jakiekolwiek cechy. Wszystkie języki bez wyjątku mają rozróżnienie między przedmiotem, czymś, o czym możemy coś powiedzieć, a wyrażeniami czasownikowymi, których używamy do orzekania lub potwierdzania cech tego bytu. Wszystkie języki bez wyjątku rozróżniają między stwierdzeniem orzeczenia czegoś i zaprzeczając temu orzeczeniu. Tak więc przedmiot ontologii nie wynika ze specyfiki jakiejś konkretnej rodziny językowej.
Istnieje wiele różnych kandydatów, którzy zostali zaproponowani do statusu kategorii. „wspomniałem dotychczas o dwóch: partykularności i własności. Inne obejmują zdarzenie lub czynność, proces, stan rzeczy, fakt. Na przykład niektórzy ontolodzy proponują, że istnieją określone obiekty, takie jak cząsteczki, drzewa, ludzie itd., A zdarzenia te mają miejsce w tych rzeczach i te rzeczy utrzymują się poprzez różne zmiany, które w nich zachodzą. W tym widoku zdarzenia są złożoną jednostką składającą się z danych szczegółowych posiadających właściwości zdarzenia. Utrzymuje się zazwyczaj, że dane szczegółowe mają naturę, która jest ich podstawową zdolnością do zmiany. W każdym razie, utrzymujące się szczegóły mają zdolności, a te przejawiają się w ich działaniach. Inni ontolodzy uważają jednak, że konkrety są iluzją, którą można zredukować do ciągów zdarzeń lub procesów. Zatem te ontologie zdarzeń traktują zdarzenia lub procesy jako podstawowe.
Odpowiedź
Dwie ** bardzo różne ** odpowiedzi Thomasa Musselmana i Kingsleya Ihehena, obaj wysoko wykwalifikowani respondenci (w rzeczywistości, Uważam Kingsleya Idehena za wiodące światło ontologii obliczeniowej). Dlaczego tak różnie? Obaj mówią o różnych rzeczach: Musseman o ontologii jako * temacie w filozofii * i Idehen o ontologii jako wyłaniającym się * temacie w inżynierii komputerowej *.
W filozofii ontologia dotyczy tego, jakie są ogólne kategorie istniejących „rzeczy”, takich jak być może obiekty fizyczne, doznania, idee, dusze, nastroje, zdarzenia, relacje, role, fakty, przypuszczenia, obrazy mentalne…. W inżynierii komputerowej ontologie katalogują rodzaje rzeczy, które są używane do opisywania dziedzin ludzkich wysiłków i wiedzy, takich jak elektrony i protony oraz… w chemii, akcjach i obligacjach, handlu i osadnictwie i…. w branży papierów wartościowych… widżety i style i piksele oraz… w internetowych interfejsach użytkownika,. Zasadniczo język domeny i relacje znaczeniowe między pojęciami w tej dziedzinie. Tak więc ontologia jest podstawą języka, który należy rozumieć, aby mieć jakąkolwiek wiedzę o tej dziedzinie, na przykład „ każdy atom ma taką samą liczbę protonów i elektronów .
Ale moim zdaniem to podejście w inżynierii komputerowej wpada w kłopoty, gdy zajmuje się tym, co nazywają „wyższą ontologią” – często twierdzą, że są to klasy wyższego poziomu rzeczy, które nie są zależne od domeny. Tutaj ontologia inżynierii komputerowej zderza się z ontologią filozoficzną. Na przykład Kingsley twierdzi, że ontologia jest katalogiem „typów bytów” i typów relacji ”. To * zakłada *, że rzeczami, które mogą istnieć, są wszystkie byty lub relacje. Jak to ustalono? Czy to najlepszy model do wszystkich celów? (W szczególności, dzisiejsi ontolodzy inżynierscy prawie wszyscy podążają za siecią semantyczną i używają przez nią określonej formy dla wszystkich twierdzeń jako „ potrójnego RDF : podmiot-czasownik-obiekt.) Jest to twierdzone i może być prawdziwe z niektórymi rozszerzeniami , że każde twierdzenie * można * wyrazić w tej formie. Ale, jak to często bywa, fakt, że wszystko można wyrazić w określonej formie, skłania ludzi do myślenia, że tak właśnie jest. , ale raczej na przykład do wydarzeń i / lub ról w wydarzeniach. (Np. Malgaski).Niektóre powiązane alternatywne podejścia inżynierii komputerowej, takie jak modelowanie roli obiektu, okazały się moim zdaniem bardziej skuteczne, szczególnie w przypadku aplikacji do nauki o danych.
Moim zdaniem potrzebny jest komputer nauka, która mogłaby odnosić się do ontologii filozoficznej i ontologii inżynierskiej. Jak powiedział niedawno Ronald Stamper, jeden z myślicieli założycieli semantyki informatyki:
„W moim życiu naukowym mam dwa silne, trwałe pragnienia:
1. Odkryć, na jakiej ukrytej ontologii w sensie metafizycznym opiera się inżynieria ontologiczna; „
Uważam, że w pracach Stampera od późnych lat 80. do początku XXI wieku faktycznie prowadzi do tej federacji idei.