Formální logika a sémantický web
| Nakladatel: | - | |
|---|---|---|
| Jazyk: | česky | |
| Pořadí vydání: | 2. | |
| Rok a měsíc vydání: | 2019/03 | |
| Počet stran: | 242 | |
| Typ, vazba: | Kniha, pevná | |
| Formát, hmotnost: | 152 × 210 mm, 400 g | |
| Více podrobností | ||
| Klubová cena: | 245 Kč |
|---|---|
| Běžná cena: | |
| Ušetříte: | 73 Kč |
| Kolik zaplatím za dopravu? | |
Informace o dostupnosti
Zboží skladem u dodavatele obvykle zajistíme a předáme dopravci do 8 pracovních dnů. Pokud se jedná o cizojazyčný titul, který je skladem v zahraničí, může se doba dodání prodloužit na 60 dní. Poslední změna: 25.04.2024 10:39 |
||||
- Sledovat titul
- Recenze (0)
- Odkazy a akce (0)
- Komentáře (0)
Anotace
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.Specifikace
Název: Formální logika a sémantický web
Autor: Lukasová Alena, Žáček Martin, Vajgl Marek, Telnarová Zdeňka
Titul je zařazen do žánrů:
ISBN: 978-80-261-0611-1
EAN: 9788026106111
Objednací kód: NA385812
Hodnocení a komentáře
Titul ještě nikdo nekomentoval, buďte první.
