Szeretném felhívni a figyelmeteket a vima9000-es kódú ,,A szemantikus web és az ontológiakezelés alapjai" c. választható tárgyra, amely a 2005 tavaszi félévben indul másodszorra. Láttam, hogy néhányan közületek már felvették a tárgyat, és sokan olvashattátok az infos listákra küldött levelet is. Azért írom ezt a levelet, hogy külön felhívjam a figyelmeteket a szemantikus web és a logikai programozás kapcsolatára. Ez leginkább a leíró logikák (description logics, DL) környéken nyilvánul meg, amely egy deklaratív formalizmus fogalmak definiálására, pl. így: az ,,anya'' olyan nõnemû ember akinek van gyereke. Nagy házi feladatként az egyik lehetõség az lesz, hogy egy leíró logikai következtetõt írjatok Prologban. Egy nagyon aktuális téma a leíró logikák világában a DL és az LP ,,házassága", DLP (Description Logic Programming) néven. Ezen a területen biztos lehet érdekes TDK dolgozatot írni. További infók a tárgyról: A tárgy 5 kredites, az órák hétfõn és csütörtökön lesznek. A tárgy célja, hogy megismertesse az intelligens internetes keresést akadályozó legfõbb tényezõket és a jelenlegi megoldási lehetõségeket. Ez utóbbiak közül részletesen foglalkozunk az RDF keretrendszerrel és az RDF sémák mögötti ún. leíró logikák világával. A tárgy tematikája a következõ (a fõ hangsúly az RDF elképzelésen és a leíró logikákon van). - az internet mai felépítése + dinamikus weblapok, szervletek, JSP, Struts + a keresõrendszerek felépítése, keresõrobotok, vektortér modell + találatok rangsorolása, pagerank algoritmus + problémák a világhálon való kereséssel, mély web, tudatosan nem + indexelt oldalak, keresõcsapdák, álcázás, szemantika hiánya - az RDF keretrendszer és az RDF sémák ismertetése + az XML nyelv rövid ismertetése, az XML hiányosságai + az RDF elképzelés alapjai, az RDF adatmodell + az RDF XML szintaxisa, nem bináris relációk, példányok + magasabbrendû kijelentések, kollekciók, adattípusok + az RDF séma konstrukciói, osztályok, tulajdonságkorlátozások - RDF források kezelése, RDF lekérdezõk, lekérdezésoptimalizálás + az RDF források elhelyezése a weben, létezõ RDF feldolgozók + XML lekérdezõk hiányosságai és az RDF lekérdezõ alapjai + az RDQL, az RDFLan és a SPARQL nyelvek bemutatása + következtetés a lekérdezések során + lekérdezésoptimalizálás RDF lekérdezések során - A leíró logikák családjának bemutatása + tudásreprezentáció a mesterséges intelligenciában + a leíró logikai nyelvek alapfogalmai + a különbözõ konstruktorok bemutatása, + ciklikus terminológiák, következtetések + speciális leíró logikák - Következtetés leíró logikákon + strukturális alárendeltségi algoritmus + tabló algoritmusok + a SHIQ nyelven történõ következtetés + példányszintû következtetés + a következtetés során végrehajtható optimalizálások - az OWL nyelv és a szemantikus webszolgáltatások ismertetése üdvözlettel, a tárgy elõadói (Dr. Szeredi Péter és Lukácsy Gergely)