OWL ontoloģiju izpildamības modeļa vizualizācija

Abstract

Šajā maģistra darbā tiek apskatītas divas problēmas - dotās OWL ontoloģijas izpildāmības jeb minimālā modeļa noteikšana un šī modeļa vizualizācija. Ontoloģijas izpildāmības modeļa noteikšana pēc būtības ir OWL secināšanas uzdevums, un ar to vajadzētu tikt galā visiem plaši lietojamajām secināšanas programmām - tādām kā, piemēram, FaCT++, Pellet vai Racer, taču zināmu iemeslu dēļ tiešas piekļuves minimālajam modelim - šim secināšanas ``blakusproduktam'' - nav nevienā no tām. Darbā ir aprakstīts apkārtceļš, proti, kā šo izpildāmības modeli ir iespējams iegūt, izmantojot pirmās kārtas loģikas formulu pierādītājus. Darbā kā ontoloģijas izpildāmības modeļa vizualizācija tiek piedāvāts t.s. nošu pieraksts. Ir zināms, ka ontoloģiju un sarežģītu modeļu vispār uzskatāma parādīšana ir visnotaļ aktuāla problēma, un šis nošu pieraksts ir alternatīvs piedāvājums, kas papildina tradicionālo vizualizācijas paņēmienu klāstu. Abām minētajām problēmām darbā tiek piedāvāts risinājums, uz kura teorētiskās bāzes tika izveidots lietojumprogrammas \protege, plaši lietota ontoloģiju redaktora, spraudnis programmā ielādētās ontoloģijas izpildāmības modeļa vizualizācijai. Šī maģistra darba ietvaros tika iesniegti divi raksti divās konferencēs - "OWLED 2007" un "DL 2007", kurās tie tika pieņemti, un drīz (2007. gada jūnijā) šie raksti tiks publicēti. Darba pielikumos ir atrodami pilnas šo rakstu galīgās versijas kā arī saņemtās recenzijas.

This master's thesis reviews two problems - determination of satisfiability model of given OWL ontology and satisfiability model visualization. Finding satisfiability model of an ontology is a task of OWL resasoning for such reasoner programs as FaCT++, Pellet and Racer. However, none of these programs provide access to ontology satisfiability model - that side-product of ontology reasoning. This thesis describes an alternative solution, a workaround on how to find that satisfiability model by means of first-order logic formula provers. This work presents so-called music score notation as a visualization method for ontology satisfiability model. It is known that graphical representation of ontologies and complex models in general is deemed to be of great interest and this music score notation is an alternative aproach that complements the traditional visualization methods. Both problems mentioned above are addressed and proposed solutions are described. Also author of this thesis has created a plugin for the \protege ontology editor that finds and visualizes the satisfiability model of currently loaded OWL ontology. That plugin can be considered as a proof-of-concept of theoretical solutions provided. Two conferences - "OWLED 2007" and "DL 2007" - have accepted the papers written on the subject of this thesis and soon (in June, 2007) they are going to be published. Full texts of their final versions (including reviews) can be found in appendices of this work.