Ontologies and Description Logics
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Ontologie a deskripční logiky
Original language description
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ů.
Czech name
Ontologie a deskripční logiky
Czech description
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ů.
Classification
Type
C - Chapter in a specialist book
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Book/collection name
Umělá Inteligence (6)
ISBN
978-80-200-2276-9
Number of pages of the result
23
Pages from-to
126-148
Number of pages of the book
492
Publisher name
Academia
Place of publication
Praha
UT code for WoS chapter
—