Metody opisu ontologii: Wnioskowanie w ontologiach opartych na logice opisowej

Krzysztof Goczyła

Metody opisu ontologii: Wnioskowanie w ontologiach opartych na logice opisowej

Abstract

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.

Author (1)

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

Cite as

Full text

full text is not available in portal

Keywords

Details

Category:: Monographic publication
Type:: rozdział, artykuł w książce - dziele zbiorowym /podręczniku o zasięgu krajowym
Title of issue:: Praca zbiorowa Katedry Architektury Systemów Komputerowych (KASKBOOK) strony 11 - 31
Language:: Polish
Publication year:: 2008
Bibliographic description:: 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
Verified by:: Gdańsk University of Technology