Alena Lukasová;Martin Žáček;Marek: Formální logika a sémantický web
Alena Lukasová;Martin Žáček;Marek: Formální logika a sémantický web
Partnerský prodej - cenu dopravy určuje partner
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.
Celý popis
Ušetříte 28 Kč
314 Kč
286 Kč
Zboží od:
Knihy Daniela
Ušetříte 28 Kč
314 Kč
286 Kč
Získejte dopravu ZDARMA se
u zásilek od 299 Kč
10.5.2024
na výdejním místě
Výdejní místa
10.5.2024 -
14.5.2024
na vaší adrese
Možnosti doručení
Popis
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.
- Datum vydání: 18. 03. 2019
- Počet stran: 242
- ISBN: 9788026106111
- Vazba: BD