00919nam a2200229 c 4500001001300000005001500013007000300028008004100031040001100072052003600083245010500119300002200224545005800246545006600304653006800370700001900438700004800457773012700505856002100632900001600653900002000669KSI00083966620100828112445ta100814s2003 ulk 000 kor  a01100101a569.905b한613ㅈc21(1)-21(6)00a시멘틱 웹에서의 자동 추론 =xAutomated reasoning in semantic web /d강민구,e박영택 ap. 43-50 ;c26 cm a강민구, 숭실대학교bhappytest@ailab.ssu.ac.kr a박영택, 종신회원, 숭실대학교bpark@comp.ssu.ac.kr a시맨틱 웹a자동 추론aAutomated reasoningaSemantic web1 a강민구4aut1 a박영택,g朴榮澤,d1955-0KAC2018240310 t정보과학회지.d한국정보과학회.g21권 3호(2003년 3월), p. 43-50q21:3<43w(011001)KSE199508739,x1229-682140u82298801aKd00010aKang, Mingu10aPark, Youngtack