Publ3 search

Error:

Javascript is disabled in this browser. This page requires Javascript. Modify your browser's settings to allow Javascript to execute. See your browser's documentation for specific instructions.

Publikační činnost

Probíhá načítání, čekejte prosím...

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

Complementary Content

${loading}