Formální logika a sémantický web

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17310%2F15%3AA1601FS2" target="_blank" >RIV/61988987:17310/15:A1601FS2 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Formální logika a sémantický web

Popis výsledku 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řité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.

Název v anglickém jazyce

Formal logic and semantic web

Popis výsledku anglicky

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 querylanguage.

Druh

B - Odborná kniha

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

R - Projekt Ramcoveho programu EK

Rok uplatnění

2015

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ů

ISBN

978-80-261-0408-7

Počet stran knihy

262

Název nakladatele

Polypress s.r.o.

Místo vydání

Plzeň

Kód UT WoS knihy

—