Předmět Logika a sémantický web (KIP / QLOSW)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu KIP / QLOSW - Logika a sémantický web, Přírodovědecká fakulta, Ostravská univerzita v Ostravě (OU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
Materiál | Typ | Datum | Počet stažení |
---|
Další informace
Obsah
1. Sémantický web2. Vývoj prostředků automatizace usuzování3. Postupná realizace sémantického webu4. Základy reprezentace znalostí formální logikou5. Od konceptualizace k implementaci v jazyce logiky6. Logika prvního řádu a sémantický web7. Sowův zobecněný pohled na sémantické sítě8. Reprezentace znalostí klauzulární logikou9. Asociativní síť jako formální systém logiky prvního řádu10. Grafový formální systém klauzulární logiky11. RDF modelování světa12. Odvozování v grafové verzi RDF13. Rezoluční důkazy v RDF klauzulární logice14. Budování nemonotónní default teorie v grafové verzi RDF CFL15. Propojená data16. Dotazovací jazyk SPARQL
Literatura
Lukasová, Žáček, Vajgl, Telnarová. Formální Logika a Sémantický Web. Připravováno k vydání v rámci EU projektu Logika pro mezioborová studia. 2014. http://www.w3.org/2007/Talks/0130-sb-W3CTechSemWeb/#%2824%29http://www.w3.org/TR/rdf-sparql-query/
Požadavky
Vytvoření vlastního příkladu aplikace probíraných metod formální dedukce na vybraném souboru tématicky propojených dat.
Garant
prof. RNDr. Alena Lukasová, CSc.
Vyučující
prof. RNDr. Alena Lukasová, CSc.