Development of an SWRL-based Backward Chaining Inference Engine SMART-B for the Next Generation Web

차세대 웹을 위한 SWRL 기반 역방향 추론엔진 SMART-B의 개발

  • Song Yong-Uk (Department of Management Information Systems, Yonsei University Wonju Campus) ;
  • Hong June-Seok (Division of Business Administration, Kyonggi University) ;
  • Kim Woo-Ju (Department of Information and Industrial Engineering, Yonsei University) ;
  • Lee Sung-Kyu (Insurance Operation Team, Dongbu Information Technology) ;
  • Youn Suk-Hee (Department of Information and Industrial Engineering, Yonsei University)
  • 송용욱 (연세대학교 원주캠퍼스 경영정보학과) ;
  • 홍준석 (경기대학교 경영정보학과) ;
  • 김우주 (연세대학교 정보산업공학과) ;
  • 윤숙희 (연세대학교 정보산업공학과) ;
  • 이성규 (동부정보기술주식회사 보험운영팀)
  • Published : 2006.06.01

Abstract

While the existing Web focuses on the interface with human users based on HTML, the next generation Web will focus on the interaction among software agents by using XML and XML-based standards and technologies. The inference engine, which will serve as brains of software agents in the next generation Web, should thoroughly understand the Semantic Web, the standard language of the next generation Web. As abasis for the service, the W3C (World Wide Web Consortium) has recommended SWRL (Semantic Web Rule Language) which had been made by compounding OWL (Web Ontology Language) and RuleML (Rule Markup Language). In this research, we develop a backward chaining inference engine SMART-B (SeMantic web Agent Reasoning Tools -Backward chaining inference engine), which uses SWRL and OWL to represent rules and facts respectively. We analyze the requirements for the SWRL-based backward chaining inference and design analgorithm for the backward chaining inference which reflects the traditional backward chaining inference algorithm and the requirements of the next generation Semantic Web. We also implement the backward chaining inference engine and the administrative tools for fact and rule bases into Java components to insure the independence and portability among different platforms under the environment of Ubiquitous Computing.

현재의 웹이 HTML을 바탕으로 인간 사용자와의 인터페이스에 초점을 맞추고 있는데 비하여, 차세대 웹은 XML 및 XML 기반 각종 표준들을 바탕으로 소프트웨어 에이전트간의 상호작용에 초점을 맞추어 나가고 있다. 차세대 웹에서 소프트웨어 에이전트의 두뇌 역할을 수행하기 위하여 추론엔진은 차세대 웹의 표준 언어인 시맨틱 웹 - (Semantic Web)을 충실히 이해할 수 있어야 한다. 이를 위한 기초 작업의 일환으로 OWL(Web Ontology Language) 과 RuleML(Rule Markup Language)을 조합한 SWRL(Semantic Web Rule Language)이 W3C에 제안된 바 있다. 본 연구에서는 SWRL을 규칙 표현 방법으로 사용하고, OWL을 사실 표현 방법으로 사용하는 역방향 추론엔진인 SMART-B(SeMantic web Agent Reasoning Tools -Backward chaining inference engine)를 개발하고자 하였다. 이를 위하여 SWRL 기반 역방향 추론을 위한 요구 기능을 분석하고, 기존 역방향 추론 알고리즘에 차세대 시맨틱 웹의 요구 기능을 반영한 역방향 추론 알고리즘을 설계하였다. 또한, 유비쿼터스 환경에서의 각종 플랫폼간의 독립성과 이식성을 확보하고 기기간의 성능 차이를 극복할 수 있도록 사실 베이스 및 규칙 베이스의 관리도구와 역방향 추론 엔진 등을 Java 프로그래밍 언어를 이용하여 단위 컴포넌트의 형태로 개발하였다.

Keywords