Shinyoung Lim Status Report on Description Logics related Project in Korea. 2003 conf/dlog/2003 Description Logics http://SunSITE.Informatik.RWTH-Aachen.de/Publications/CEUR-WS/Vol-81/lim.pdf db/conf/dlog/dlog2003.html#Lim03