Metody opisu ontologii: Wnioskowanie w ontologiach opartych na logice opisowej

Krzysztof Goczyła

Metody opisu ontologii: Wnioskowanie w ontologiach opartych na logice opisowej

Abstrakt

Logika opisowa jest aktualnie jednym z najsilniej rozwijanych formalizmów stosowanych w ontologicznych metodach reprezentacji wiedzy. Jednym z powodów jest to, że język OWL-DL, promowany prze W3C jako język do reprezentacji ontologii Semantycznego Internetu, oparty jest właśnie na logice opisowej. W tym artukule zaprezentowano logikę opisową jako sposób precyzyjnego formułowania i przetwarzania wiedzy. Podano definicję bazy wiedzy opartej na logice opisowej oraz przedstawiono podstawowe problemy wnioskowania z takiej bazy wiedzy. następnie skoncentrowano się na algorytmach wnioskowania, w szczególności na algorytmach klasycznych, tj. na algorytmie subsumcji strukturalnej oraz na algorytmie tablicowym. Omówiono też nową metodę wnioskowania, stosującą się do pewnego dialektu logiki opisowej. Metoda ta, zwana kartografią wiedzy, sprowadza podstawowe i zaawansowane problemy wnioskowania do operacji na ciagach bitów, co znakomicie upraszcza algorytmy wnioskowania.

Autor (1)

Krzysztof Goczyła prof. dr hab. inż.

Cytuj jako

Pełna treść

pełna treść publikacji nie jest dostępna w portalu

Słowa kluczowe

Informacje szczegółowe

Kategoria:: Publikacja monograficzna
Typ:: rozdział, artykuł w książce - dziele zbiorowym /podręczniku o zasięgu krajowym
Tytuł wydania:: Praca zbiorowa Katedry Architektury Systemów Komputerowych (KASKBOOK) strony 11 - 31
Język:: polski
Rok wydania:: 2008
Opis bibliograficzny:: Goczyła K.: Metody opisu ontologii: Wnioskowanie w ontologiach opartych na logice opisowej// Praca zbiorowa Katedry Architektury Systemów Komputerowych (KASKBOOK)/ ed. H. Krawczyk. Gdańsk: Politechnika Gdańska, 2008, s.11-31
Weryfikacja:: Politechnika Gdańska