Számítástudományi és Információelméleti Tanszék

Az IQSOFT Rt.-nél folyó SILK (System Integration via Logic and Knowledge) EU kutatási projekt keretében egy olyan eszközkészlet létrehozását végezzük, amely egy vállalat heterogén információ-forrásainak egységesítését segíti. A SILK alapgondolata az, hogy a vállalat információs rendszereire vonatkozó ismereteket egy tudásbázisban tároljuk. Ezeket az ismereteket többféle formalizmussal adhatjuk meg, pl. leíró-logikában (Description Logics) vagy objektum-orientált módon (UML). Az ismeretbázisban tároljuk az objektum-modell jellemzőit: a fogalmak, osztályok szerkezetét, kapcsolataik leírását. Emellett fontos szerepet kapnak az objektumokat, kapcsolatokat jellemző megszorítások, korlátok, amelyek megfogalmazására az OCL (az UML részét képező Object Constraint Language) nyelvet használjuk.

A SILK rendszer ily módon lehetővé teszi, hogy a vállalat egyes felhasználói csoportjainak fogalmi modelljeit megfogalmazzuk és ezeket összekapcsoljuk az információs rendszerek modelljeivel. Az eszközkészlet egyes komponensei a modellek és kapcsolatrendszerek felépítését és vizsgálatát segítik, a heterogén információ-források lekérdezését biztosítják, illetve a modell- és adat-szintű ellentmondások felderítését és kiküszöbölését támogatják.

A téma viteléhez szükséges az objektum-orientált modellezés és a logikai programozás (Prolog) ismerete és alkalmazási készsége. Egyes részfeladatok esetén (információ-forrás-interfész, felhasználói interfész) a Java nyelv ismerete is szükséges.

Dr. Szeredi Péter
egyetemi docens
29-86
szeredi@iqsoft.hu