시멘틱 웹 에이전트를 위한 OWL 온톨로지 추론 엔진의 설계 및 구현

하영국; 손주찬; 조영조

연구문헌

학술대회 프로시딩

홈 > 연구문헌 > 학술대회 프로시딩 > 한국정보처리학회 학술대회 > 2004년 추계 학술대회

2004년 추계 학술대회

Current Result Document : 377 / 500 이전건 다음건

한글제목(Korean Title)	시멘틱 웹 에이전트를 위한 OWL 온톨로지 추론 엔진의 설계 및 구현
영문제목(English Title)	Design and Implementation of OWL Ontology Inference Engine for Semantic Web Agents
저자(Author)	하영국 손주찬 조영조
원문수록처(Citation)	VOL 11 NO. 02 PP. 1499 ~ 1502 (2004. 11)
한글내용 (Korean Abstract)	최근 차세대 웹 기술로서 시멘틱 웹이 주목 받고 있다. 시멘틱 웹에서는 웹 자원에 온톨로지를 기반으로 시멘틱 주석을 달고 컴퓨터 및 기계가 해석가능한 의미 추론을 기반으로 다양한 서비스를 제공할 수 있도록 해준다. 이와 같은 시멘틱 웹 기술의 핵심 요소는 웹 온톨로지이며 W3C 에서는 이를 표현할 수 있는 표준 언어로서 RDF 기반의 OWL(Web Ontology Language) 명세를 제정하고 있다. 따라서 표준 웹 온톨로지 언어인 OWL 을 위한 추론 시스템은 시멘틱 웹 에이전트의 구현을 위한 필수적인 기반 기술이라 할 수 있으나 아직 그 개발이 미비한 상태이다. OWL 추론 시스템을 구현하기 위해서는 OWL 의 이론적인 기반을 제공하는 표현 논리(DL: Description Logic)을 추론할 수 있는 엔진을 사용하는 것이 한가지 방법이 될 수 있으나 OWL 이 DL 의 범주를 벗어나는 어휘를 지원하는 언어로 확장되는 경우에 이를 처리하기가 어렵다. 또 다른 방법으로서 논리 프로그래밍(LP: Logic Programming)을 통하여 OWL 어휘의 시멘틱을 기술하고 정리 증명(Theorem Proving)을 통하여 온톨로지를 추론하는 공리화(Axiomatisation) 기법이 있는데 이러한 방법의 장점은 기반이 되는 논리의 범주 내에서 새로운 언어를 위한 어휘의 확장이 용이하다는 점이다. 본 논문에서는 일차 논리(FOL: First Order Logic)를 사용하는 공리화 기반의 OWL 온톨로지 추론 엔진인 아울러(OWLer)의 설계 및 구현에 대해 설명하기로 한다.
영문내용 (English Abstract)
키워드(Keyword)	온톨로지 OWL 표현 논리 W3C RDF
파일첨부	PDF 다운로드