Formální logika a sémantický web
Autoři
Více o knize
V rámci této knihy je čtenář seznámen s originálními výsledky autorů na poli formální logiky a sémantického webu. Začíná 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 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ákup knihy
Formální logika a sémantický web, Alena Lukasová, Martin Žáček, Marek Vajgl, Zdeňka Telnarová
- Jazyk
- Rok vydání
- 2019
Doručení
Platební metody
2021 2022 2023
Navrhnout úpravu
- Titul
- Formální logika a sémantický web
- Jazyk
- česky
- Autoři
- Alena Lukasová, Martin Žáček, Marek Vajgl, Zdeňka Telnarová
- Vydavatel
- Západočeská univerzita. Fakulta filozofická
- Rok vydání
- 2019
- ISBN10
- 8026106113
- ISBN13
- 9788026106111
- Kategorie
- Anotace
- V rámci této knihy je čtenář seznámen s originálními výsledky autorů na poli formální logiky a sémantického webu. Začíná 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 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.