✅ Poštovné ZADARMO nad 39€ ✅ Knižná akcia každý mesiac ✅ Výhodné ceny ✅ Bezpečný nákup
Viac o knihe Formální logika a sémantický web (team of authors)
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.
Rok vydania:
2019ISBN:
9788026106111Rozmer:
150×210 mmPočet strán:
242Väzba:
pevnáJazyk: čeština
