Zpět na vyhledávání

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 …more
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.
 

Keywords

deskripční logiky DL SHOIN DL SROIQ jazyk OWL koncept neklasická rozšíření DL ontologie OWL DL role tablový algoritmus usuzování Description Logic OWL Language Non-classical Extensions Concept Ontology Reasoning Tableau-based Algorithm
 
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

Cite this text

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 informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Informatics / Informatics

Theses on a related topic

List of theses with an identical keyword.