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 klau Formální logika a sémantický web - kolektiv od authora kolektiv a nakladatelství za skvělé ceny na e-shopu Martinus. cz.
| Autor |
kolektiv |
| Jazyk |
český |
| Počet stran |
242 |
| Rok vydání |
2019 |
| Žánr |
naučná |
| Typ |
filmy |
| Nakladatelství |
Západočeská univerzita v Plzni |
