|
|
Reasoning in Description Logics
Malenko, Jaromír ; Kučera, Antonín (vedoucí práce) ; Lukasová, Alena (oponent) ; Křemen, Petr (oponent)
Název: Usuzování v deskriptivní logice Autor: Mgr. Jaromír Malenko Pracoviště: Katedra teoretické informatiky a matematické logiky, Matematicko-fyzikální fakulta, Univerzita Karlova v Praze Školitel: Prof. RNDr. Petr Štěpánek, DrSc.; Katedra teoretické informatiky a matematické logiky, Matematicko-fyzikální fakulta, Univerzita Karlova v Praze Klíčová slova: Deskriptivní logika, dokazovač, kartézský součin, nemonotónní usuzování Abstrakt: Práce se zabývá následujícími problémy při usuzování v deskriptivní logice. 1. Protože deskriptivní logika (DL) je podmnožinou predikátové logiky (PL), ukážeme použití dokazovače v PL pro dokazování v DL. Implementovali jsme dokazovač v DL na- zvaný dl2fol, který na vstupu dostane ontologii (teorie DL s pravidly), přeloží ji do teorie PL a získanou množinu formulí předá dokazovači v PL. Odpověď dokazovače se použije pro sestavení odpovědi na dotaz týkající se zadané ontologie. 2. Rozšíříme dvě známé DL tak, že zavedeme nový operátor jazyka: kartézský součin konceptů a rolí. To umožní vyjádřit vztahy, které nejsou ve slabších DL vyjádřitelné. V DL SROIQ ukážeme, jak mohou být axiomy kartézského součinu modelovány za použití jiných jazykových operátorů. Pro DL EL++ s kartézskými axiomy představíme polyno- miální algoritmus pro testování subsumpce konceptů. Dokážeme,...
|
|
|
Návrh využití vývojového rámce Scrum a modelovacího jazyka UML pro zefektivnění tvorby webových stránek.
Kučera, Antonín ; Oškrdal, Václav (vedoucí práce) ; Luc, Ladislav (oponent)
Hlavním cílem této diplomové práce je návrh na využití agilních postupů vývojového rámce Scrum s modelovacím jazykem UML aplikovatelné při tvorbě webových stránek malého rozsahu. Důraz je především kladen na vytvoření typového modelu webových stránek aplikovatelného v praxi. Teoretická část má dvě stěžejní kapitoly. V kapitole "Agilní metodiky" jsou uvedeny principy agilního přístupu k tvorbě software. V další části této kapitoly jsou postupně charakterizovány jednotlivé agilní přístupy respektive agilní metodiky (Scrum, XP, ASD, FDD, DSDM, LD a Crystal). V kapitole "UML" je představen modelovací jazyk UML a jeho principy. Součástí kapitoly o UML je základní výčet diagramů jazyka, kdy jsou detailněji rozvedeny diagramy dále využité v praktické části (diagram případů užití, diagram tříd, sekvenční diagram, diagram aktivit a diagram nasazení). Praktická část diplomové práce je zaměřená na návrh typového modelu pro tvorbu webových stránek malého rozsahu. Typový model vychází jednak z poznatků z teoretické části této práce a jednak z praktických zkušeností autora práce v této oblasti. V úvodní části je nejprve představeno schéma modelu, kde jsou zobrazeny vzájemné návaznosti jednotlivých etap. V další části kapitoly jsou rozvedeny jednotlivé etapy, ve kterých je uplatněn princip agilního vývojového rámce Scrum a ukázky využití diagramů jazyka UML v jednotlivých etapách.
|
|
|
Typy e-Shopů a jejich možnost propagace na internetu
Kučera, Antonín ; Pour, Jan (vedoucí práce) ; Oganesjan, Narek (oponent)
Práce seznamuje čtenáře s aktuálně dostupnými řešeními internetových obchodů neboli eshopů a ukazuje možnosti propagace eshopů v rámci internetu. První část je zaměřena na jednotlivé typy řešení eshopů a snaží se zdůraznit jejich jednotlivé výhody, nevýhody a funkcionalitu. Další část práce se zaměřuje na samotnou internetovou propagaci, kde vysvětluje nejdůležitější pojmy a nástroje jakou jsou SEM, SEO, PPC, copywriting, banner, affiliate a další, které lze využít při propagaci eshopu. Pro úplnost jsou uváděny i méně využívané nástroje jako Advergaming, Video reklama a další. Poslední část je věnována budoucímu vývoji v oblasti eshopů a jejich možné propagaci. Jsou zde popsány možné trendy, metody a technologie, které s největší pravděpodobností budou využívány v příštích několika letech. Součástí práce jsou i některá doporučení, která vycházejí z vlastních osobních i profesionálních zkušeností z této oblasti. Nelze tyto doporučení brát jako bernou minci, ale je možné nad nimi alespoň zapřemýšlet a popřípadě se jimi řídit.
|
host ::
RSS.