największa baza literatury czeskiej i słowackiej

Twój koszyk jest pusty
Formální logika a sémantický web - książka

Formální logika a sémantický web

Autor:Zdeňka Telnarová
Liczba stron:242
ISBN:9788026106111
Rok wydania:2019
Wydawca:Západočeská univerzita
Język:Czeski

cena: 63.80

 

dostępność: tak
wysyłka: ok 3 tygodnie



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.