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)
Varga Péter <pvarga(a)mit.bme.hu> writes:
> holnap (szerda) de. bemehetnék a
> VFLP-jegyet beiratni? Mikor lenne Neked jó?
Bocs, hogy egy kicsit altalanosabban irom a valaszt:
Ma nem vagyok benn. Szerdan 8-9:45 es 10:30-13:30 kozott leszek benn, del
korul ebedszunettel. Csutortokon nem leszek benn, penteken valoszinuleg kb
9-tol.
Szobam: V2. épület I. em. 136. szoba
10-16 kozott az indexet a V2.104-ben a fachomban is hagyhatjatok, es
irjatok levelet, hogy irjam be a jegyet.
-Peter
