Zařazeno v kategoriích: OSTATNÍ

Formální logika a sémantický web

Lukasová Alena, Žáček Martin, Vajgl Marek

Vydavatel
Západočeská univerzita v Plzni
ISBN
978-80-2610-611-1
Počet stran
245
Místo vydání
Plzeň
Rok vydání
2019
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.
Formální logika a sémantický web

349 Kč


Ostatní s tímto titulem kupují:

Odpověď

Odpověď

  1. Položka byla přidána do košíku.

Menu