A napjainkban használt ontológianyelvek sokféle következtetési lehetőséget nyújtanak számunkra. A gyakorlatban leginkább használt módszerek azonban nem kellően hatékonyak igazán nagy mennyiségű adatok esetén; ez viszont sajnos korlátozza azok világhálón való alkalmazhatóságát. Az előadásban bemutatjuk a DLog leíró logikai következtetőrendszert, amelyet kifejezetten nagyszámú példánnyal dolgozó alkalmazásokhoz fejleszettünk ki.
szemantikus világháló, hatékony következtetés, leíró logika
Lukácsy Gergely a Budapest Műszaki és Gazdaságtudományi egyetemen végzett 2003-ban mérnök-informatikusként. Jelenleg doktori disszertációját írja a logikai programozás és szemantikus technológiák kapcsolatáról, emellett egyetemi tanársegéd a BME számítástudományi és Információelméleti Tanszékén. Társszerzője "A Szemantikus Világháló elmélete és gyakorlata" c. tankönyvnek és társelőadója a kapcsolódó egyetemi kurzusnak. Érdeklődési területe a szemantikus integráció, szemantikus világháló és a logikai programozás.
Az alábbiakban a konferencia időrendi programja olvasható. A "From level 2 to level 3: advanced layout in CSS" és a "How Java becomes agile riding Rhino" című előadások kivételével minden előadásunk magyar nyelvű.