Technologie semantyczne prof. dr hab. Jerzy Gołuchowski
Wykład 2
Ontologia - definicje
Próbuje odpowiedzieć na pytania:
What is being?
What are the features common to all beings?
Representation Languages
Ontologia:
Teoria bytu, podstawowy dział filozofii zajmujący się badaniem charakteru i struktury rzeczywistości
Określa rodzaje istniejących obiektów, właściwości, zdarzeń, procesów, relacji
Opis rzeczywistości umożliwiający wyczerpującą klasyfikację bytów
Kluczowe zagadnienia:
Istnienie, identyczność, właściwość, realność/hipotetyczność, zależność, możliwość, konieczność, powszechność/wyjątkowość, rzecz/proces, zdarzenie, czas, przestrzeń, przyczyna, ilość
Ontologia - opisanie rzeczywistości/związków (a nie wytłumaczenie)
Credo ontologiczne - aby stworzyć dobre reprezentacje należy mieć wiedzę o reprezentowanych obiektach i procesach - odnosić się do nich
Ontologie w systemach informatycznych
Obszary informatyki odnoszące się do ontologii:
Inżynieria programowania
Struktury danych - reprezentacje 'rzeczy' i programy - procesy
Model obiektowy
Współdzielenie kodu - biblioteki, moduły
Systemy baz danych
Projektowanie struktur baz danych - modelowanie konceptualne
Sztuczna inteligencja, przetwarzanie języka naturalnego, SE
Ontologie = tezaurusy
Relacja
Przykład
Synonim
Duzy-wielki
Antonim
Mały-duży
Is-A (hyperonim)
Pies-ssak
Part-of (meronim)
Kuchnia-piekarnik
Cele inżynierii ontologicznej
Spójna i jednorodna platforma reprezentacji i wymiany wiedzy
Oszczędność czasu - podstawowe pojęcia i relacyjne już zaprojektowane, uniknięcie modelowania ontologicznego ad hoc, rozjaśnienie problemów
Bogatsze narzędzia wyrazu - zbliżone do języka naturalnego
Integracja międzysystemowa
Wyszukiwanie informacji
Bardziej inteligentne systemy - dodanie odniesienia ontologicznego
Zorientowanie na cele - obiekty rzeczywistości - software bardziej elastyczny, adoptowalny
Umożliwienie automatycznego wnioskowania
Wujek, stryjek, wnuk, ciotka, kuzyn, brat, siostra, teść, teściowa
Podstawowa charakterystyka systemu ontologii
Formalizm modelu
Logika formalna, algebra, teoria kategorii, mereologia, teoria zbiorów, topologia, formalna analiza pojęć
(…)
…
Podstawowa charakterystyka systemu ontologii
Formalizm modelu
Logika formalna, algebra, teoria kategorii, mereologia, teoria zbiorów, topologia, formalna analiza pojęć
Klasyfikacje (taksonomie) podstawowych pojęć
Forma drzewiasta (albo krata, graf)
Liście wyczerpujące wszystkie możliwości
Jeden korzeń - najbardziej ogólna kategoria
Ontologia jako rodzina drzew - różne perspektywy rzeczywistości, np. skala…
... zobacz całą notatkę
Komentarze użytkowników (0)