|
|
Ontology in philosophy and informatics
Murín, Jozef ; Řepa, Václav (vedoucí práce) ; Vacura, Miroslav (oponent)
Tato diplomová práce podává přehled problematiky ontologie ve filozofii a informatice. Ve filozofii je ontologie tradičně chápaná jako disciplína, která zkoumá nejobecnější rysy skutečnosti. V informatice se v posledních letech stále víc skloňuje slovo ontologie a objevují se ontologické přístupy k řešení informatických problémů. V kapitole věnované ontologii v informatice je na podkladě historického vývoje postupně konkretizovaný pojem ontologie. Autor ukazuje, že ontologii je možné pojímat ve třech významech: jako teoretickou disciplínu, jako teorii o struktuře skutečnosti a jako konkrétnu kategorizaci. Argumentuje, že věda potřebuje explicitní ontologický základ a potřeba ontologie je nejsilnější v období nárůstu vědeckých znalostí. Kapitola věnovaná ontologii v informatice ukazuje potřebu a možnosti aplikace ontologických přístupů v konceptuálním modelovaní, v doménovém inženýrství a v oblasti sémantického webu. V závěru autor diskutuje terminologickou nejasnost běžných definic ontologie v informatice.
|
|
|
Mapování ontologií a jeho vyhodnocování pomocí vzorů
Zamazal, Ondřej ; Svátek, Vojtěch (vedoucí práce) ; Vacura, Miroslav (oponent) ; Pokorný, Jaroslav (oponent) ; Štuller, Július (oponent)
Mapování ontologií je v současnosti jednou z nejvíce se rozvíjejících oblastí sémantického webu. Ačkoliv se každým rokem objevují nové nástroje a přístupy mapování ontologií, možností vylepšení je stále mnoho. Navíc se současné přístupy v převážné většině omezují na hledání korespondencí mezi dvěma entitami. Zahrnutí celých struktur do mapování však může přinést nové zajímavé vztahy mezi ontologiemi. Struktury ontologií mohou být zachyceny pomocí ontologických vzorů. Hlavním tématem této dizertace je průzkum využití ontologických vzorů pro transformaci ontologií s aplikací pro mapování ontologií a pro vyhodnocení výsledků mapování. Transformace ontologií může usnadnit nalezení komplexních mapování či zlepšit nalezení jednoduchých mapování. Ontologické vzory použité pro vyhodnocení výsledků mohou vhodně doplnit vyhodnocení systémů mapování tradičními metodami. Hlavními oblastmi, kterými se v důsledku tohoto tématu práce zabývá, jsou: ontologické vzory, transformace ontologií, vyhodnocování výsledků mapování a mapování ontologií. Práce zahrnuje následující aspekty zmíněných oblastí: * Průzkum různých ontologických vzorů. Především pak popis důležitých ontologických vzorů pro transformaci a mapování ontologií (těmi jsou jmenné, mapovací a transformační ontologické vzory). * Návrh nové metody pro transformaci ontologií s použitím ontologických vzorů. * Zavedení nových způsobů vyhodnocování výsledků mapování ontologií s použitím ontologických vzorů jako složitých struktur pro detailní analýzu. * Experimenty a předvedení nových konceptů zavedených v této práci. V práci se nejprve zavádí klasifikační systém pro jmenné a mapovací ontologické vzory využitelné i s ohledem na transformaci ontologií. Jmenné ontologické vzory jsou při transformaci užitečné v procesu hledání ontologických vzorů a v procesu vytváření nových či přejmenování starých entit. Mapovací vzory jsou základem transformačních vzorů, co se týče sdílení základních kamenů jejich struktury. Transformační vzory navíc, mimo jiné, obsahují transformační vztahy reprezentující způsob, jak mají být transformovány části ontologických vzorů. Vedle několika experimentů k jednotlivým částem práce je přínos transformace ontologií pro aplikaci mapování ontologií demonstrován na příkladu. Prostředí pro transformaci ontologií je implementováno v programovacím jazyce Java. Jednotlivé ontologické vzory jsou ve své obecné podobě zachyceny jako javovské objekty. Tři hlavní služby jsou zpřístupněny jako RESTful služby. Jedná se o službu pro nalezení ontologických vzorů v ontologii, službu pro vygenerování specifických instrukcí popisujících transformaci a službu pro transformaci ontologií.
|
|
|
Grafický editor transformačních vzorů
Dudáš, Marek ; Zamazal, Ondřej (vedoucí práce) ; Vacura, Miroslav (oponent)
V životním cyklu ontologií -- při jejich vytváření, rozšiřování a při různých způsobech jejich použití může vzniknout potřeba upravit stávající styl návrhu dané ontologie -- transformovat ontologii ve smyslu úpravy způsobu realizace modelu v rámci dané ontologie. Takovou transformaci lze samozřejmě provádět ručně, ale v případě rozsáhlejších ontologií to může být proces velmi zdlouhavý a i u méně rozsáhlých ontologií se při něm vystavujeme riziku vzniku zbytečných chyb. V [1] byl představen soubor softwarových služeb a návrh postupu pro automatizovanou či polo-automatizovanou transformaci ontologií. Vstupem je zde (samozřejmě kromě zdrojové ontologie, kterou chceme transformovat) definice transformace nazývaná transformační vzor, který má podobu XML (tedy vlastně textového) souboru. V rámci této bakalářské práce jsem vytvořil Grafický editor transformačních vzorů (nazvaný zkráceně TP Editor), tedy aplikaci, která umožní tvorbu transformačních vzorů podobným způsobem jako například různé UML modelovací nástroje z oblasti softwarového inženýrství usnadňující návrh aplikací. Program je realizován jako plugin do vývojového prostředí Eclipse. Obsahem této práce je krátký úvod do problematiky transformačních vzorů (kapitola 1), uživatelská příručka k programu (kapitola 2) a programátorská příručka k programu (kapitola 3). Programátorská příručka zahrnuje úvod do použité technologie -- knihovny GEF (podkapitola 3.1), popis zdrojového kódu (podkapitola 3.2) a návrhy na další rozšíření a rozvoj programu (podkapitola 3.3).
|
|
|
Psychologický pohled na teleworking se zaměřením na vybraný projekt
Svobodová, Dagmar ; Vacura, Miroslav (vedoucí práce) ; Kašparová, Eva (oponent)
Teleworking je jedna z mnoha možností odrážející se v pracovním procesu člověka. V této práci autorka vysvětluje nejen pojem, výhody a nevýhody teleworkingu, ale zároveň poukazuje na významný psychologický faktor, který má na práci jedince rozhodující vliv. Nahlédne na problematiku teleworkingu nejen z hlediska obecného konstatování souvislostí, ale prohlédne ji i z hlediska jednoho z vybraných největších teleworkingových projektů v České republice a posoudí jeho význam pro společnost včetně dopadů na realitu. Psychologické aspekty zavádějí autorku práce zkoumáním teleworkingu též do oblasti Kognitivní Informatiky vyznačující se svou široce rozvětvenou transdisciplinaritou. Během analýzy projektu na podporu teleworkingu autorka odkrývá mnohé zjištěné nesrovnalosti v projektu se vyskytující a pokládá si zásadní filozofickou otázku o smyslu těchto projektů financovaných z veřejných rozpočtů. Praktickým dopadem výsledků této práce je příslib koordinátora, že přijme potřebná nápravná opatření.
|
host ::
RSS.