Ontologie a deskripční logiky

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F13%3A00206855" target="_blank" >RIV/68407700:21230/13:00206855 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Ontologie a deskripční logiky

Popis výsledku v původním jazyce

Kapitola Ontologie a deskripční logiky představuje logický aparát použivaný v současných technologiích sémantického webu. Čtenář se seznámí se základním jazykem ALC a tablovým algoritmem používaným pro ověřování konzistence ontologie v tomto jazyku. V další části kapitoly jsou představeny pokročilé odvozovací procedury, a to vysvětlování modelovacích chyb a metody pokládání komplexních dotazů.

Název v anglickém jazyce

Ontologies and Description Logics

Popis výsledku anglicky

Chapter Ontologies and decription logics introduces logical calculus used in the state-of-the-art semantic web technologies. The reader becomes familiar with the description logic ALC and the tableau algorithm for used for consistency checking in this language. In the next part of the chapter advanced inference procedures are introduced, namely modeling error explanations and expressive queries.

Druh

C - Kapitola v odborné knize

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2013

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název knihy nebo sborníku

Umělá Inteligence (6)

ISBN

978-80-200-2276-9

Počet stran výsledku

23

Strana od-do

126-148

Počet stran knihy

492

Název nakladatele

Academia

Místo vydání

Praha

Kód UT WoS kapitoly

—