Pobieranie prezentacji. Proszę czekać

Pobieranie prezentacji. Proszę czekać

Ontologie w systemach informacyjnych. Spis treści Ontologia - definicje Ontologia w systemach informacyjnych Cele inżynierii ontologicznej Charakterystyka.

Podobne prezentacje


Prezentacja na temat: "Ontologie w systemach informacyjnych. Spis treści Ontologia - definicje Ontologia w systemach informacyjnych Cele inżynierii ontologicznej Charakterystyka."— Zapis prezentacji:

1 Ontologie w systemach informacyjnych

2 Spis treści Ontologia - definicje Ontologia w systemach informacyjnych Cele inżynierii ontologicznej Charakterystyka systemów ontologii Przykład – SUMO Zastosowania Problemy

3 Ontologia – definicje Tries to answer the questions: What is being? What are the features common to all beings? Representation Languages

4 Ontologia – definicje Ontologia: teoria bytu, podstawowy dział filozofii zajmujący się badaniem charakteru i struktury rzeczywistości (Aristotle, Metaphysics, IV, 1) 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

5 Ontologie w systemach informacyjnych 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 (NLP), systemy eksperckie

6 Proste ontologie = tezaurusy RelacjaPrzykład SynonymDuży – wielki AntonymMały – duży IS-A (hyperonim) PIES – SSAK PART-OF (meronim) Kuchnia – piekarnik

7 Cele inżynierii ontologicznej Spójna i jednorodna platforma reprezentacji i wymiany wiedzy Oszczędność czasu – podstawowe pojęcia i relacje 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

8 Podstawowa charakterystyka systemu ontologii Formalizmy 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 mikro / makro, stosunek do czasu, itd. Język naturalny (np. angielski) – do ustalania nazw Aksjomaty relacje między podstawowymi pojęciami wyznaczające interpretacje pojęć System dedukcyjny

9 Podstawowe elementy ontologii i przykładowa aksjomatyzacja Całość / część Ozn.: P(x,y) – x jest częścią y (P1) P(x,x) (P2) P(x,y) and P(y,x) -> x = y (P3) P(x,y) and P(y,z) -> P(x,z) Połączenie (C1) C(x,x) (C2) C(x,y) -> C(y,x) (C3) P(x,y) -> forall z (C(z,x) -> C(z,y)) Zależność / niezależność (D1) D(x,x) (D2) D(x,y) and D(y,z) -> D(x,z) (D3) P(x,y) -> D(y,x) Identyczność / różność; Jedność / wielość; podzielność / niepodzielność; złożoność / elementarność; Czas, przestrzeń, ruch Np. połączenie, rozdzielenie, zetknięcie, separacja, zawieranie, przecięcie Procesy / zdarzenia modalność

10 Perspektywa pragmatyczna Metody wyznaczania kategorii przez potrzeby, praktykę, doświadczenie, codzienność, postrzeganie Język naturalny, części mowy Metody ewolucyjne Kryterium czytelności (na różnych poziomach) Specjalizacja ontologii Łączenie ontologii nie zawsze jest uzasadnione ontologie domenowe, np. działalność przedsiębiorstwa, geografii, genomu człowieka, społeczeństwa, ekologii, finansów przedsiębiorstwa zorientowanie na cele i zadania Jednoczesne używanie kilku ontologii (języki obce) Ontologia jako model przybliżony Wydajność systemu Wpływ na język reprezentacji Ograniczenia ilościowe

11 Pierwsze systemy języków (formalnych) do reprezentowania ontologii KL-ONE, sieci semantyczne CyCL (1990) – LOOM [MacGregor, 1991] Conceptual Graphs [Sowa, 1993] Ontolingua [Gruber, 1993] and KIF [Genesereth & Fikes,1992] F-Logic [Kifer, Lausen, Wu, 1995] Important question: Are the represented ontologies executable, is a reasoning service available?

12 Inne systemy języków (formalnych) do reprezentowania ontologii OntoMap – Ontolingua DAML+OIL (http://www.daml.org, ) Systemy description logics: BACK, CLASSIC, CRACK, FLEX, K-REP,

13 Nowe systemy języków (formalnych) do reprezentowania ontologii RDF / RDF-Schema [Brickley, Guha, 98] UML: Unified Modeling Language XOL: Ontology Exchange Language (cf. DRDFS: Web-based Representation using Conceptual Graphs [Delteil et al., 01] Rule Markup Language (http://www.dfki.uni-kl.de/ruleml/)

14 Nowe systemy języków (formalnych) do reprezentowania ontologii

15 RDF Semantics W3C Recommendation 10 February 2004 This Version: Latest Version: Previous Version: Editor: Patrick Hayes (IHMC) Patrick Series Editor Brian McBride (Hewlett Packard Labs) Brian Please refer to the errata for this document, which may include some normative corrections.errata

16

17 Zastosowania

18 Przykład istniejącego systemu ontologii – SUO/SUMO SUO – Standard Upper Ontology SUO – grupa robocza IEEE mająca za zadanie stworzyć SUMO (http://suo.ieee.org) SUMO – Suggested Upper Merged Ontology SUMO powstała z integracji wielu publicznie dostępnych ontologii SUMO ma docelowo zawierać pojęć i około 10 zdań definiujących dla każdego pojęcia Ontologia dostępna w sieci: SUO-KIF – język podstawowy SUMO KIF (Knowledge Interchange Format) Stanford – Mike Genesereth Zaprojektowany jako narzędzie wymiany i integracji wiedzy; elastyczne, czytelne dla człowieka i maszyny wariant rachunku predykatów 1 rzędu, podobny do LISPa semantyka teorii zbiorów Mechanizmy meta-językowe konceptualizacja: 1.zbiór obiektów mających istnieć w świecie, 2.zbiór właściwości, relacji i funkcji jako zbiór uporządkowanych par Obiekt: indywiduum, zbiór lub klasa Świat zawiera: liczby zespolone, obiekt będący wartością funkcji dla niesensownej kombinacji argumentów funkcji, wszystkie skończone listy i zbiory obiektów, słowa kluczowe i wyrażenia KIF

19 SUO/SUMO –c.d. Szczyt hierarchii podstawowej SUMO Moduły ontologii SUMO Przykład aksjomatyzacji

20 SUO/SUMO –c.d. Przykład aksjomatyzacji

21 SUO/SUMO –wybrane elementy Pojęcia podstawowe Fizyczne, Abstrakcyjne Obiekty ZłożonyZCzęści, Region, Collection, Agent Procesy Dwuobiektowy, Intencjonalny, Ruch, ZmianaWewnętrzna, Abstrakty ZbiórLubKlasa, Relacja, Proposition, Ilość, Struktury M.in.: instancja, domena, poddomena, zakres, partycja, rozdzielny Podstawowe relacje binarne Symetryczne, asymetryczne, antysymetryczne, itd. Role: agent, cel, źródło, itd. Przedmioty M.in.:Ubranie,dzieło sztuki, budynek Urządzenia: instrument muzyczny, broń, maszyna, itd. Liczby Jednostki Organizmy Pojęcia czasowe Przedział czasu Punkt czasowy Mereologia Przestrzeń Poniżej, powyżej, pomiędzy, odległość, położenie Semiotyka Słowo, zdanie

22 SUO/SUMO –przykład pojęcia matka

23 ( (sibling ?ANIMAL1 ?ANIMAL2) sibling (and (not (equal ?ANIMAL1 ?ANIMAL2))andnotequal (exists (?FATHER ?MOTHER) (and (father ?ANIMAL1 ?FATHER) (father ?ANIMAL2 ?FATHER) (mother ?ANIMAL1 ?MOTHER) (mother ?ANIMAL2 ?MOTHER)))))existsandfather mother

24 Wordnet Wordnet (http://www.cogsci.princeton.edu/~wn) WordNet contains word forms word meanings WordNet categorizes word into syntactic categories – (N, noun) – (V, verb) – (Adj, adjective) und – (Adv, adverb). WordNet additional contains semantic relations between word meanings

25 CyC Initiated in the course of AI, making common-sense knowledge accessible and processable groups concepts into micro theories; micro theories are a means to express context dependency of knowledge upper-level ontology (3000 concepts) public available recent development: Bringing Cyc to the Web Open source project is going:

26 Sensus The Sensus ontology (formerly known as the Pangloss ontology) is a freely available `merged' ontology produced by the Information Sciences Institute (ISI) Architecture of SENSUS

27 Sensus Development of a wide ontology (SENSUS) for systems that analyze and understand natural language: concepts are embedded into a is-a-hierarchy SENSUS has been developed from different existing resources through integration and adap tation (1) very generic natural language ontologies (PENMAN Upper Model, ONTOS) (2) WordNet (3) machine readable dictionaries SENSUS contains approx concepts

28 Sensus

29 UMLS (Unified Medical Language System) (I) Provided by the National Library of Medicine (NLM), a database of medical terminology. terms from several medical databases (MEDLINE, SNOMED International, Read Codes, etc.) are unified so that different terms are identified as the same medical concept. Access at Documentation available at: HTML

30 UMLS (II) UMLS Knowledge Sources: – Metathesaurus provides the concordance of medical concepts: concepts 1.5 million concept names in different source vocabularies – SPECIALIST Lexicon provides word synonyms, derivations, lexical variants, and grammatical forms of words used in MetaThesaurus terms 130,000 entries. – Semantic Network codifies the relationships (e.g. causality, "is a", etc.) among medical terms. 134 semantic types, 54 relationships.

31 Kierunki badań / problemy Automatyczne budowanie i specjalizowanie ontologii Łączenie ontologii Zastosowanie technik ontologicznych w istniejących systemach Efektywne implementacje ontologii – bazy danych, reprezentacje, indeksy Metody ewolucyjne / adaptacyjne Zmienność rzeczywistości – stosunek ontologii do czasu Od ontologii do inteligencji

32 Współdziałanie ontologii - IFF IFF – The Information Flow Framework Ontologia teorii integracji ontologii domenowych Ontologie: współdziałanie, manipulowanie, morfizmy, partycjonowanie, zależności Bazuje na teorii przepływu informacji, teorii formalnej analizy pojęć

33 Zastosowania Integracja międzysystemowa E-commerce Edukacja Medycyna, prawo, finanse, wojskowość Technologie NLP


Pobierz ppt "Ontologie w systemach informacyjnych. Spis treści Ontologia - definicje Ontologia w systemach informacyjnych Cele inżynierii ontologicznej Charakterystyka."

Podobne prezentacje


Reklamy Google