Formální logika a sémantický web - Kolektív autorov
Knihu kúpite v
2 e-shopoch
od
15,25 €
Ak sa vám po kliknutí na tlačidlo "Do obchodu" nezobrazí stránka knihy vo vybranom e-shope, je potrebné vypnúť AdBlock vo vašom prehliadači pre našu stránku.
Návod na vypnutie je napríklad na adrese https://www.sme.sk/dok/20466299/ako-vypnut-adblock-na-sme-sk-whitelist.
Krátky 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.
Vývoj ceny
Aktuálna Ø cena knihy Formální logika a sémantický web - Kolektív autorov je 15,84 €
Výber kníh autora
kolektív autorov
Zobraziť všetky knihy autora
kolektív autorov
Výber kníh vydavateľa
Západočeská univerzita v Plzni
Zobraziť všetky knihy vydavateľa
Západočeská univerzita v Plzni
Naše tipy
- Chan Romero
- Klára Sedláčková
- Judit Kis-Varga
- Barnóczky Ákos
- András Petőcz
- Zbyšek Štěpánek
- Zsuzsa Károlyi
- Ruth Dangelmaier
- Paul Anka
- Chernov Carlos
- Dean A. Kowalski
- Pavel Hubička
- Paul Monts
- Wm Paul Young
- Kajtez Miograd
- Ágh Attila (szerk.)
- Jiří Kejř
- Lukáš Sedláček
- Petra Kryštofová
- Helen Davies
- Olina Hlavatá
