logic; informatics; formal knowledge representation; web; RDF model

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.

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.