Reprezentace univerzálně kvantifikovaných rolí v deskripční logice
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17310%2F09%3AA0900U1H" target="_blank" >RIV/61988987:17310/09:A0900U1H - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
čeština
Název v původním jazyce
Reprezentace univerzálně kvantifikovaných rolí v deskripční logice
Popis výsledku v původním jazyce
Článek je zaměřen na analýzu sémantiky univerzálně kvantifikovaných formulí v deskripční logice, vysvětluje jejich sémantický význam a konfrontuje jej s významem v přirozeném jazyce.
Název v anglickém jazyce
Universal quantification of role in description logic
Popis výsledku anglicky
The contribution is aimed to analyze the semantic of universally quantified roles of formulas in description logic. It presents semantic definition meaning of this constructor, how is it presented from the view of the formal logic and where is the difference in human common sense of sentences, where this constructor is expected to be used. In next part of contribution there are examples of defined queries in syntax of SQL database language, as it can be used as the base layer for description language knowledge systems. Finally, results of unofficial disquisition are presented and the conclusion is made.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JD - Využití počítačů, robotika a její aplikace
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2009
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Mladí vedci 2009 - Zborník vedeckých prác doktorandov a mladých vedeckých pracovníkov
ISBN
978-80-8094-499-5
ISSN
—
e-ISSN
—
Počet stran výsledku
1477
Strana od-do
—
Název nakladatele
UKF Nitra
Místo vydání
Nitra
Místo konání akce
Nitra, Slovenská republika
Datum konání akce
2. 4. 2009
Typ akce podle státní příslušnosti
EUR - Evropská akce
Kód UT WoS článku
—