10× více produktů za nejlepší ceny
10× více produktů za nejlepší ceny
Záruka: 24 měsíců (IČ 24 měsíců) Kód: 11956579

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
Sleva 8 % 314 Kč Nejnižší cena za posledních 30 dní před poskytnutím slevy.
286 Kč
Zboží od: Knihy Daniela
Sleva 8 % 314 Kč Nejnižší cena za posledních 30 dní před poskytnutím slevy.
286 Kč
Získejte dopravu ZDARMA se
u zásilek od 299 Kč
Poslední 3 kusy
S novou kartou za

13.11.2024 na výdejním místě
13.11.2024 - 15.11.2024 na vaší adrese

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