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 tematikus, ezen belül alfabetikus rendbe szedett programja olvasható. Két (külön jelölt) előadás kivételével minden előadásunk magyar nyelvű. Az előadások négy párhuzamosan futó sávban kerülnek bemutatásra.