„Veiklos žodynų ir veiklos taisyklių semantikos vaizdavimas Semantinio tinklo ontologijų kalba“

Autorius, institucija: Jaroslav Karpovič, Kauno technologijos universitetas

Mokslo sritis, kryptis: Technologijos mokslai, informatikos inžinerija

Su disertacija galima susipažinti Kauno technologijos universiteto bibliotekoje (K. Donelaičio g. 20, Kaunas).

Mokslinė vadovė – prof. dr. Lina Nemuraitė (Kauno technologijos universitetas, technologijos mokslai, informatikos inžinerija – 07T).

Informatikos inžinerijos mokslo krypties daktaro disertacijos gynimo taryba:

prof. dr. Robertas Damaševičius (Kauno technologijos universitetas, technologijos mokslai, informatikos inžinerija – 07T) – pirmininkas,

prof. habil. dr. Genadijus Kulvietis (Vilniaus Gedimino technikos universitetas, technologijos mokslai, informatikos inžinerija – 07T),

prof. dr. Audrius Lopata (Vilniaus universitetas, technologijos mokslai, informatikos inžinerija – 07T),

prof. habil. dr. Rimantas Šeinauskas (Kauno technologijos universitetas, technologijos mokslai, informatikos inžinerija – 07T),

prof. dr. Olegas Vasilecas (Vilniaus Gedimino technikos universitetas, technologijos mokslai, informatikos inžinerija – 07T),

Oficialieji oponentai:

prof. habil. dr. Gintautas Dzemyda (Vilniaus universitetas, technologijos mokslai, informatikos inžinerija – 07T),

doc. dr. Raimundas Matulevičius (Tartu universitetas, Estija, technologijos mokslai, informatikos inžinerija – 07T).

Anotacija:

Darbe sprendžiama veiklos ekspertams suprantamo ontologijų aprašymo, kuris atitiktų jų formalias specifikacijas, problema. Ontologijų aprašymo kalbos yra sudėtingos ir iki šiol ontologijos yra kuriamos IT specialistų, o ne veiklos ekspertų, kurie dažnai net negali patikrinti ontologijų atitikimo modeliuojamai sričiai.

Darbe apibrėžtos taisyklės, leidžiančios transformuoti žmogui suprantama struktūrizuota natūralia kalba užrašytą veiklos žodyną ir veiklos taisykles į Semantinio tinklo ontologijų kalbą (angl. Web Ontology Language (OWL 2)). Ši struktūrizuota kalba grindžiama veiklos žodyno ir veiklos taisyklių semantika (angl. Semantics of Business Vocabulary and Business Rules (SBVR)). Apibrėžti reikalavimai transformuojamiems veiklos žodynams bei metakonceptų žodynas, išplečiantis SBVR ontologijoms svarbiais konceptais, kurių neturi SBVR.

Darbo rezultatų patikimumui pagrįsti realizuotas transformavimo komponentas ir atlikti eksperimentai, kurie parodė, kad sukurtas transformacijas galima taikyti OWL 2 ontologijoms kurti bei SBVR veiklos žodynų ir taisyklių neprieštaringumui tikrinti, taikant OWL 2 tikrinimo įrankius. Transformacijos veikia anglų ir lietuvių struktūrizuotoms kalboms ir gali būti pritaikytos kitoms panašioms kalboms. Transformavimo komponento pagrindu sukurtas pirmasis atviras SBVR į OWL 2 transformavimo įrankio prototipas, prieinamas adresu http://s2o.isd.ktu.lt. Transformavimo komponentas taip pat pritaikytas semantinės paieškos sistemoje http://semantika.lt.