Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

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