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. Kupujte na https://e-shop.zcu.cz/.
| ISBN: | 978-80-261-0611-1 |
|---|
| EAN: | 9788026106111 |
|---|
| Doporučená cena: | 349 Kč |
|---|
| Počet stran |
246 stran |
| Datum vydání |
01. 03. 2019 |
| Pořadí vydání |
2. |
| Vazba |
kniha, vázaná vazba |
| Jazyk |
český |
| Autor: |
Alena Lukasová |
| Autor: |
Martin Žáček |
| Autor: |
Marek Vajgl |
| Autor: |
Zdeňka Telnarová |
| Nakladatelství |
Západočeská univerzita v Plzni |
| Tématická skupina |
2 - Společenské vědy; osvěta |
Svaz českých knihkupců a nakladatelů
