Logiky pro jazyk OWL a jejich možná neklasická rozšíření – Bc. Tomáš Prachař
Bc. Tomáš Prachař
Bachelor's thesis
Logiky pro jazyk OWL a jejich možná neklasická rozšíření
Logics for the OWL Language and their Possible Non-classical Extensions
Anotácia:
Student nastuduje problematiku jazyka OWL (Web Ontology Language) pro prezentaci ontologií v rámci Sémantického Webu. Obzvláštní pozornost bude věnována variantě OWL DL (Description Logic), která je kompromisem mezi expresivitou a výpočetní efektivitou jazyka. Právě v popisu logik využitých v jazyce OWL (v současnosti varianty SHOIN a SROIQ). Předpokládá se vypracování podrobného přehledu jejich expresivity …viacAbstract:
Student will describe the logics used in the language OWL (at the present time the variants SHOIN and SROIQ). It is assumed that the student will consult their expresivity, computability and decideability, he will also describe the possible extensions to Description Logic.
Jazyk práce: Czech
Datum vytvoření / odevzdání či podání práce: 23. 5. 2008
Identifikátor:
https://is.muni.cz/th/v6vtu/
Obhajoba závěrečné práce
- Obhajoba proběhla 26. 6. 2008
- Vedúci: Mgr. Vít Nováček
- Oponent: doc. RNDr. Aleš Horák, Ph.D.
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsBachelor programme / odbor:
Informatics / Informatics
Práce na příbuzné téma
-
Efektivita inference ve fuzzy deskripční logice
Radek JENDRYŠČÍK -
F. A. Hayek and the Concept of Order
Ján Krchňavý