Belépés címtáras azonosítással
magyar nyelvű adatlap
Bevezetés a szemantikus technológiákba
A tantárgy angol neve: Introduction to Semantic Technologies
Adatlap utolsó módosítása: 2009. október 27.
Dr. Lukácsy Gergely, Dr. Szeredi Péter
A világháló napjainkban: az Internet felépítése, működésének vázlatos bemutatása; a weblapok fajtái (statikus, dinamikus); hagyományos keresőrendszerek működése, a tudás reprezentálása a világhálón; a dinamikus weboldalak készítésének főbb irányai, a szerver oldali programozás; CGI, Java servletek, JSP technológia
Problémák a Webbel: Gépek számára nem feldolgozható módon tárolt adatok, az intelligens keresést akadályozó tényezők (nem indexelt oldalak, a mély Web); a szemantika hiánya a világhálón; a jelenlegi megoldási lehetőségek ismertetése (speciális keresőgépek, ad hoc technikák)
A Szemantikus Web irányzat: ismerkedés az XML nyelvvel, alapvető szintaxis, XML attribútumok, névterek, sémák, az XHTML nyelv; adatok tárolása XML alapokon; az RDF elképzelés bemutatása, az RDF adatmodell, az RDF alapú modellezés alapjai, az RDF XML szintaxisa; köztes erőforrások az RDF-ben, nem bináris relációk, példányok; magasebbrendű kijelentések (reifikáció), RDF konténerek és kollekciók, típusok; az RDF és az XML összevetése és értékelése; RDF esettanulmányok, az RDF források helye a Weben
Az RDF sémák: az RDF sémák felépítése, tulajdonságkorlátozások, az alap séma és szótár; az RDF sémák és az objektum-orientált világok, a tulajdonságközpontúság és a világháló kapcsolata; az RDF modellelmélete, a Szemantikus Web rétegei és a vele kapcsolatos problémák
Ontológiák: a leíró logikák ismertetése, különböző kifejezőerejű leíró logikai nyelvek; tudásbázisok leírása leíró logikákkal: T-dobozok és A-dobozok; következtetési feladattípusok leíró logikai rendszerekben; a leíró logika és az elsőrendû logika kapcsolata.Következtetési algoritmusok leíró logikákhoz: a strukturális alárendeltségi algoritmus, a tabló algoritmus különböző kifejezőerejű nyelvekhez; T-dobozok és A-dobozok támogatása a következtetésben; a tabló algoritmus optimalizálása; rezolúció-alapú algoritmusok.Leíró logikai következtető rendszerek: a tabló algoritmus megvalósitása egy egyszerû leíró logikára Haskell alapokon; a RACER és DLog rendszerek áttekintése.
Az ontológiák felhasználási lehetőségei: ontológiák és a Szemantikus világháló, az RDF sémánál gazdagabb sémanyelvek (DAML+OIL, OWL); az ontológiák felhasználása hagyományos forrásokon, ontológia alapú lekérdezések, ontológia alapú konzisztenciaellenőrzés;
