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
Abstract:
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 …moreAbstract:
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.
Language used: Czech
Date on which the thesis was submitted / produced: 23. 5. 2008
Identifier:
https://is.muni.cz/th/v6vtu/
Thesis defence
- Date of defence: 26. 6. 2008
- Supervisor: Mgr. Vít Nováček
- Reader: doc. RNDr. Aleš Horák, Ph.D.
Citation record
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsBachelor programme / field:
Informatics / Informatics
Theses on a related topic
-
Efektivita inference ve fuzzy deskripční logice
Radek JENDRYŠČÍK -
F. A. Hayek and the Concept of Order
Ján Krchňavý