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 …viac
Abstract:
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

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.

Citační záznam

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 informatiky

Masaryk University

Faculty of Informatics

Bachelor programme / odbor:
Informatics / Informatics

Práce na příbuzné téma