• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권4호
• /
• pp.282-296
• /
• 2010

OWL 온톨로지는 실세계의 도메인 지식을 모델링 하는데 적합하다. 또한 명백하게 정의된 지식으로부터 암시적인 새로운 지식을 추론할 수 있다. 하지만 이 모델링된 지식은 완전할 수 없다. 사람이 가지고 있는 모든 상식을 모델링 할 수 없기 때문이다. 온톨로지는 완전한 지식표현을 위한 무결성 제약조건과 예외 처리와 같은 비단조 추론을 지원할 방법이 없다. 디폴트 규칙은 온톨로지 안의 특정 클래스에 대한 예외를 처리할 수 있다. 또한 무결성 제약은 온톨로지에 정의된 클래스의 제한조건(restriction)에 인스턴스가 일관되게 할 수 있다. 본 논문에서는 Open World Assumption(OWA) 기반의 온톨로지와 Closed World Assumption(CWA) 기반의 비단조 추론을 지원하는 규칙의 지식베이스를 통합하여 Open World 와 Closed World 추론을 모두 지원하는 실질적인 추론 시스템을 제안한다. 이 시스템은 온톨로지에 정의된 불완전한 개념을 다룰 때 OWA기반이라서 발생하는 문제점을 ASP(Answer Set Programming)를 사용하여 해결방안을 제안한다. ASP는 논리 프로그래밍 언어로써 비단조 추론을 허용하며, 서술 논리 지식베이스에 CWA 기반의 질의를 가능하게 한다. 제안하는 시스템은 Protege에서 제공하는 Pizza 온톨로지를 예로써 비단조 추론이 필요한 경우를 보이고, 잘 알려진 온톨로지들로 성능 평가하여 본 시스템의 정당(sound)하고 완전(complete)함을 증명한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(A)
• /
• pp.282-285
• /
• 2011

서술논리를 기반으로 하는 OWL 온톨로지는 표준화된 형식적 언어로써 실세계의 도메인 지식을 표현하는데 적합하다. 따라서 논리를 바탕으로 명시적으로 정의된 지식 속에 내재되어 있는 새로운 지식의 추론이 가능하다. 그러나 OWL이 가지는 Open World Assumption(OWA)의 특성은 근거가 불완전하거나 완전한 정보획득이 불가능한 상황에서의 추론을 제한한다. 더불어 OWL이 가지는 또 다른 특성으로 Unique Name Assumption(UNA)의 비지원은 실제적 지식표현을 지원하는 반면, 표현의 불충분으로 인해 결과 도출의 불능을 야기한다. 이러한 특징을 고려하여, 본 논문에서는 지능형 에이전트 구성을 위한 서술논리 기반 지식 표현 방법을 제안한다. 이는 논리적 정당성을 유지하고 올바른 결과를 이끌어 낼 수 있도록 하며, 항상 논리적 결론 도출이 가능한 지식모델을 구성할 수 있도록 돕는다. 이를 통해, 지식모델에 정의된 불완전한 개념에 있어서 OWL이 가지는 특징으로 인하여 발생할 수 있는 문제점에 대한 해결방안을 제시한다. 이에 있어서, 모바일 온톨로지의 예를 통하여 OWA와 UNA에 따른 추론의 제약을 보이며, 이를 해결할 수 있는 방안을 논리적으로 표현함으로써 본 제안의 정당성을 증명한다.