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;

• szorgalmi időszakban: egy zárthelyi dolgozat, kis házi feladatok (az aláírás feltétele a zárthelyin elért legalább elégséges érdemjegy)
• vizsgaidőszakban: írásbelivel kombinált szóbeli vizsga
• az érdemjegy kialakulása: ZH maximum 15 pont, vizsga maximum 85 pont. Ezen felül 1-1 pontot érnek a kis házi feladatok. Az érdemjegy a szokásos módon számolható: 85- jeles, 70-84 jó, ...