|
|
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í.
|
|
|
SPARQL plugin pro Ontopia Knowledge Suite
Ovčáčík, Vlastimil ; Kliegr, Tomáš (vedoucí práce) ; Svátek, Vojtěch (oponent)
Čtenář se v této bakalářské práci seznámí se dvěma technologiemi sémantického webu - Topic Maps a RDF. V teoretické části práce najdete popis jejich historie, vývoje a náčrt budoucnosti. Jsou vysvětleny nezbytné základy obou technologií. Důraz je kladen na dotazovací jazyky SPARQL a TMQL. Podstatou práce je pochopit rozdíly a společné aspekty obou technologií, což nám pomůže při hledání způsobu, jak tyto dvě technologie jednou budou rovnocennými partnery na sémantickém webu. Druhá část práce se věnuje implementaci sparql4ontopia pluginu pro Ontopia Knowledge Suite, který umožňuje SPARQL dotazy nad mapami témat. Tento plugin využívá Sesame projekt pro zpracování SPARQL dotazu a Nikunau nástroj z projektu SesameTM pro mapování SPARQL dotazu na Topic Maps Data Model. Jsou zde popsány možnosti a omezení dotazování. Je dán prostor i pro popis vývoje a implementace sparql4ontopia pluginu. V poslední kapitole je nastíněn možný postup pro implementaci SPARQL endpoint do Ontopia Knowledge Suite.
|
|
|
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).
|
|
|
Webová aplikace pro zpřístupnění metod porovnávání ontologií
Pichl, Ota ; Zamazal, Ondřej (vedoucí práce) ; Svátek, Vojtěch (oponent)
V současné době dochází ke značnému rozvoji sémantického webu. Myšlenka sémantického webu je spojená s informatickými ontologiemi, pomocí kterých lze popisovat znalosti nacházející se na internetu. Ontologie pak umožňují sémantické anotování znalostí a dat. Tato práce se zaměřuje především na porovnávání ontologií, čímž se rozumí určování jejich podobnosti či rozdílnosti. Výpočet těchto podobností lze realizovat různými metodami, jako jsou např. metody vektorového či množinového porovnávání. Tyto postupy je vhodné zavést kvůli problémům a nejasnostem, které s sebou ontologie mohou přinášet. Jelikož je základním principem ontologií nezávislost modelované ontologie na okolí (předpoklad otevřeného světa), může docházet ke konfliktům, kdy existují dvě různé ontologie, které popisují stejnou výseč modelované reality. Problém pak nastává, když tyto ontologie využívají pro popis určité entity různých struktur či názvů. Mezi hlavní důvody pro porovnávání ontologií dále patří např. rozšíření sémantického vyhledávání či hledání podobných ontologií za účelem jejich propojování. Pro řešení této situace je pak vhodné zavést metody pro porovnávání ontologií či jejich entit, což umožňuje určit, jak moc jsou si dané ontologie podobné, či jak podobné jsou si entity, které obsahují. V současné době neexistuje aplikace, která by zpřístupňovala metody porovnávání ontologií. Cílem této bakalářské práce je právě vytvoření aplikace a zpřístupnění těchto metod přes webové rozhraní.
|
|
|
Ontologies represented in a relational database
Lučkaničová, Jekaterina ; Chlapek, Dušan (vedoucí práce) ; Tomášková, Barbora (oponent)
Vyhledávaní na interentu se posouvá pořád kupředu. Důvod je velice jednoduchý, pořád víc a víc lidí využíva interent pro vyhledáváni informácií a často nejsou spokojeni s výsledky. Pořád přibývyjící infomrace si vyžadují velké znalostní úložiště. Čím víc informací je v nich uloženo, tým těžší je se dostat k té, kterou právě potřebujeme. Tahle práce byla vytvořená na základe poznatků o sémantickom webe. Snaží se o obeznámení široké veřejnosti o ontológii, která přepájí významy slov a umožňuje využití těhto technológií. Súčasté práce je i praktická část, v které je návrh přístupu jak k ontologickým úložištěm, tak i k úlošti postavěnom na relační databáze.
|
|
|
Užití mezinárodních nomenklatur ve sdílené zdravotnické péči v ČR
Přečková, Petra ; Špidlen, Josef ; Zvárová, Jana
Článek popisuje různé metatezaury a mezinárodní nomenklatury používané ve zdravotnictví. Důraz je kladen na Unified Medical Language System a zejména UMLS Metatezaurus. Naší prací se snažíme o ověření praktické použitelnosti mezinárodně používaných terminologií, tezaurů, ontologií a klasifikací a to na atributech minimálního datového modelu kardiologického pacienta, Datového standardu MZ ČR a některých vybraných modulů komerčních nemocničních informačních systémů.
|
|
|
Integrace v systému VirGIS a na sémantickém webu
Linková, Zdeňka
Integrace je dlouho uznávaný problém v oblasti zpracování dat. Avšak z důvodu různého popisu, heterogenity a popisu dat způsobem, který ztěžuje automatické zpracování, není úloha snadná. Dosud neexistuje univerzální nástroj na integraci dat. Situaci by mohl zlepšit sémantický web, jehož idea je založena na automatizovaně zpracovávatelných datech. Sémantický web je stále vize, nicméně některé jeho rysy již existují. Tento článek popisuje, jak je integrace řešena v integračním systému VirGIS a navrhuje zlepšení pomocí současných rysů sémantického webu. Na základě navrhovaných změn je prezentována ontologie dat VirGIS systému.
|
|
|
K ontologické koncepci N. Hartmanna
Hála, Vlastimil
Autor se zaměřuje na ontologickou koncepci N. Hartmanna, zvl. na jeho teorii vrstevnosti bytí. Podle jeho názoru je Hartmann významným představitelem jedné větve fenomenologického hnutí, přičemž jeho filosofie je založena rovněž na výsledcích speciálních ved, což není pro toto hnutí obecně typické.
|
|
|
Konceptuální modelování a ontologie z pohledu logiky
Duží, M. ; Materna, Pavel
Jsou explikovány pojmy 'pojem, ontologie' z hlediska transparentní intenzionální logiky. Významy jsou chápány jako pojmy, tj. abstraktní procedury, a definovány jako uzavřené konstrukce. Z tohoto hlediska je naznačeno srovnání s existujícími nástroji reprezentace znalostí v sémantickém webu.
|
|
|
Modelování podnikových procesů
Panuška, Martin ; Řepa, Václav (vedoucí práce) ; Svatoš, Oleg (oponent)
V diplomové práci se zabýváme modelováním podnikových procesů z pohledu logiky. Tento pohled má několik výhod. Za prvé, protože logika prvního řádu je formálním logickým systémem, umožňuje nám důkladně pochopit základy procesního modelování. Za druhé, poté, co porozumíme logickým základům modelování podnikových procesů, můžeme vytvořit jazyk pro takové modelování postavený výhradně na logice nebo vyjádřit existující jazyk za použití logiky. Obojí pak může být využitelné pro usuzování umělé inteligence. Za třetí, model podnikových procesů, u kterého existuje vyjádření pomocí logiky (nebo jiného deklarativního jazyka), může být snadno uložen v deklarativní znalostní bázi. Za čtvrté, procesní modely založené na logice můžou být využity ve firmách jako základ pro znalostní management. A za páté, věda o logice nabízí množství různých sémantických rozšíření, které můžou být využity za účelem rozšíření výrazových prostředků jazyka pro modelování podnikových procesů. Prvním cílem práce je vypracování důkladného přehledu literatury, týkající se obou našich ob-lastí -- modelování podnikových procesů a temporální logiky. Souvisejícím druhým cílem je pro-zkoumání možností logiky reprezentovat procesy a obecně pojem času a poskytnout techniky k logické reprezentaci procesů. Následně by měly být poskytnuty příklady, které dokážou, že vy-brané techniky jsou schopné poskytnout výhody vyjmenované v prvním odstavci. Třetím cílem je navržení vylepšení současného přístupu k modelování podnikových procesů a poskytnutí re-levantních příkladů. Nakonec je možné navrhnout i způsoby zlepšení prezentovaných technik. Hlavním přínosem práce je, že představuje slušný základ pro další výzkum předmětné oblasti. Pro začátečníky, ale i pokročilé je práce dobrým odrazovým můstkem.
|
host ::
RSS.