OU Portal
  • Log In
  • Welcome
  • Applicants
Z6_60GI02O0O8IDC0QEJUJ26TJDI4
{}

Pomocí tohoto dialogu můžete vyhledat domácí autory, čili autory, kteří jsou vedeni v personálních systémech Ostravské univerzity.

Do našeptávače níže napište hledaný text a tento text bude vyhledán ve jméně nebo příjmení autora. Autoři, kteří budou hledanému textu odpovídat, Vám budou nabídnuti v seznamu. Pomocí myši nebo šipek na klávesnici vyberte požadovaného autora.

Našeptávač : 
Přidat autora k záznamu Zavřít

Pomocí tohoto dialogu můžete k záznamu přidat cizího autora, čili autora, který nemá žádný pracovní ani studijní vztah k Ostravské univerzitě. Takto přidaný autor bude do RIV vykázán jako nedomácí.

Pro přidání autora vepište jeho jméno a příjmení do určených položek.

Jméno :
Příjmení :
Přidat k záznamu Zavřít
Zavřít

Pomocí tohoto dialogu můžete k záznamu nahrát soubor PDF. Tento soubor musí obsahovat text tohoto záznamu (text článku, knihy, atd.). Tento soubor je důležitý pro RIV, protože může být použit jako důkaz existence tohoto záznamu.

Pro nahrání souboru klikněte na tlačítko Browse a vyberte soubor, který chcete nahrát. Nahrávání souboru zahájíte tlačítkem Nahrát soubor.

Maximální velikost souboru PDF je omezena na 100 MB.

Soubor : 

Nahrát soubor
Zavřít

Pomocí tohoto dialogu můžete stáhnout PDF soubor přiřazený tomuto záznamu. Pro stažení souboru klikněte níže na název tohoto souboru a bude Vám nabídnuta možnost soubor uložit.

Věnujte prosím pozornost také velikosti PDF souboru. Velké soubory se mohou stahovat delší dobu, pokud máte pomalé internetové připojení.

Název souboru :
Velikost souboru :
Zavřít
Publikační činnost


preloading...   Probíhá načítání, čekejte prosím...
publicationId :
tempRecordId :
actionDispatchIndex :
navigationBranch :
pageMode :
tabSelected :
isRivValid :
Typ záznamu * : odborná kniha (B)
Domácí pracoviště * : Katedra informatiky a počítačů (31400)
Název * : Formální logika a sémantický web
Citace : Lukasová, A., Žáček, M., Vajgl, M. a Telnarová, Z. Formální logika a sémantický web. 2163. vyd. Plzeň: Polypress s.r.o., 2015. 262 s. ISBN 978-80-261-0408-7.
Podnázev :
Rok * : 2015
Obor * : Informatika
Forma vydání * : Tištená verze
Kód ISBN * : 978-80-261-0408-7
Označení vydání
(číslo vydání) :
2163
Místo vydání * : Plzeň
Vydáno : v ČR
Název edice a číslo svazku * : Neuveden
Počet stran * : 262
Počet výtisků knihy * :
Název nakladatele * : Polypress s.r.o.
EID :
Klíčová slova anglicky * :
logic; informatics; formal knowledge representation; web; RDF model
Popis v původním jazyce * :
V rámci této odborné publikace jsou prezentovány výsledky autorů v oblasti formální logiky a sémantického webu. Čtenář je seznámen s pojmem sémantického webu, reprezentací znalostí formální logikou a postupně se dostává ke specifičtějším tématům. Autoři této knihy definují základní formální jazyk jako rozšířenou verzi jazyka odpovídajícího RDF modelu o kvantifikaci proměnných pomocí převodu do klauzulární logiky (ve formě CFL). Na bázi rozšířeného RDF modelu pak zavádějí nové deduktivní formální systémy, a to formální systém GRDF s pravidlem Modus Ponens a formální systém RDF CFL disponující stejně jako klauzulární logika CFL rezolučním odvozovacím pravidlem. Závěr knihy je věnován dotazovacímu jazyku SPARQL.
Popis v anglickém jazyce * :
This specialised publication presents the results of the authors in the area of formal logic and semantic web. The reader is acquainted with the term semantic web, knowledge representation by formal logic, and the reader gradually get to more specific topics. The authors of this book define a basic formal language as an extended version of a language corresponding to the RDF model on quantification of variables by using conversion into the clausal logic (in the CFL form). Based on the extended RDF model, new deductive formal systems are implemented, namely a formal system GRDF with the Modus Ponens rule and a formal system RDF CFL disposing, as the CFL clausal logic, of a resolution inference rule. The final part of the book focuses on the SPARQL query language.
Typ zdroje financování výsledku * : Rámcové programy EK
Seznam projektů :
ID Projektu Název projektu
Seznam ohlasů : 
Ohlas
R01: RIV/61988987:17310/15:A1601FS2

© 2019 Centre for Information Technology

  • Technická podpora :
  • Mgr. Olga Blahutová (phone: +420 597 091 129, phone flap for UO: 1129)
  • Ing. Lucie Svitaneková (phone: +420 597 091 108, phone flap for UO: 1108)
Complementary Content
  • ${title}${badge}
${loading}