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ý predaj - 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.
Zľava 8 %
13,11 €
Najnižšia cena v období 30 dní pred znížením ceny.
11,94 €
Tovar od:
Knihy Daniela
Zľava 8 %
13,11 €
Najnižšia cena v období 30 dní pred znížením ceny.
11,94 €
Získajte dopravu ZADARMO so
u zásielok od 12,9 €
Posledné 3 kusy
12.12.2024
na výdajnom mieste
Výdajné miesta
12.12.2024 -
16.12.2024
na vašej adrese
Možnosti doručenia
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.
- Dátum vydania: 18. 03. 2019
- Počet strán: 242
- ISBN: 9788026106111
- Väzba: BD