FOL을 이용한 온톨로지 추론과 수정

Ontology Inferenceing and Updating using FOL

현재 웹이 가지고 있는 문제점들을 해결하기 위해서 연구하고 있는 차세대 웹을 시멘틱 웹이라고 한다. 시멘틱 웹에서 다루고 있는 기술들은 다양하지만 시멘틱 웹 구현에 있어서 온톨로지와 그 온톤로지를 추론하여 agent가 정보의 Semantic을 알아내는 것이 가장 핵심되는 영역의 기술이다. 본 논문에서는 DAML+OIL로 작성된 온톨로지의 추론 방법과 추론 결과물을 이용한 온톨로지 수정방법에 대해서 제안한다. 이를 위해서 온톨로지를 inference engine에서 작업을 수행할 수 있도록 FOL로 변환하는 기술, DAML+OIL axiom과 FOL을 이용해서 inference 할 수 있는 엔진 구축 기술, inference 결과물을 DAML+OIL로 변환하여 수정하는 방법들을 제안한다.