Informácie o knihe
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.
| EAN : | 9788026106111 |
| Katalógové číslo: | 1264465 |
| Rok vydania: | 2019 |
| Jazyk: | CZ Český jazyk |
| Počet strán: | 242 |
| Väzba: | pevná |
| Rozmer: | 150x210 mm |
| Hmotnosť: | 408 g |
dostupnosť v našich predajniach
Údaje o skladovej dostupnosti sú len orientačné a môžu sa v priebehu dňa meniť. Ceny v predajniach sa môžu líšiť od
internetových cien. Skladové zásoby v našich predajniach neslúžia na vybavovanie internetových objednávok.
- titul je skladom
- posledné kusy
- momentálne nedostupný
- Banská Bystrica - OD Prior
- Bratislava - Obchodná 62
- Bratislava - OC Danubia
- Bratislava - OC RETRO
- Bratislava - Tesco EXTRA, Zlaté Piesky
- Košice - Železničná stanica
- Liptovský Mikuláš - OC Centrál
- Martin - Ulica 29. augusta 5
- Nitra - OD Prior
- Partizánske - OD Prior
- Piešťany - OD Prior
- Považská Bystrica - OD Prior
- Prievidza - OD Prior
- Trenčín - OD Prior
- Trenčín - OC Južanka
- Trnava - OD Coop Jednota
- Zvolen - OD Prior
- Žiar nad Hronom - OD Prior