Formal logic and semantic web
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Formální logika a sémantický web
Original language description
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.
Czech name
Formální logika a sémantický web
Czech description
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.
Classification
Type
B - Specialist book
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
R - Projekt Ramcoveho programu EK
Others
Publication year
2015
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
ISBN
978-80-261-0408-7
Number of pages
262
Publisher name
Polypress s.r.o.
Place of publication
Plzeň
UT code for WoS book
—