• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.643-645
• /
• 2004

최근 시맨틱 웹에 대한 중요성이 부각되면서 다양한 분야에서 이와 관련된 연구가 활발하게 이루어지고 있다. 시맨틱 웹 기술의 구성은 크게 RDF와 단일화된 데이터모델, 그 위에 규정 되어지는 DAML＋OIL(OWL)과 같은 의미를 표현할 수 있는 언어, 웹 자원들을 나타내기 위한 표준화된 용어 규정의 온톨로지, 그리고 그러한 의미적인 것들의 생성과 처리를 지원하는 툴로 이루어졌다. 시맨틱 웹에서 현재 온톨로지에 대한 연구와 사례들은 많이 연구가 되고 있지만 시맨틱 웹기반에서 Rules에 대한 연구는 미약하다. 본 논문에서는 Rules을 운용함에 있어서 기존의 자동 추론 방식을 통해 개발되고 있는 RuleML을 분석하고 향후 이기종간의 Rules에서의 상호운용성을 높여 시스템간의 지식을 공유하는 방법을 분석한다.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2007.11a
• /
• pp.451-456
• /
• 2007

유비쿼터스 컴퓨팅 환경을 구축하기 위해서는 사용자 및 주변 상황에 관한 인지기술이 필수적이다. 이에 따라 이기종 분산형 시스템에서 언어와 기종에 영향을 받지 않고 사용자 Context를 인지하고 표현하는 문제는 해결해야할 중요한 과제로 대두되었다. 이에 따라, 본 논문에서는 이 과제를 해결하기 위하여 시맨틱 웹 기술 및 퍼지 개념을 이용하여 사용자 Context를 기술하는 것을 제안한다. 온톨로지는 컴퓨터가 정보자원의 의미를 파악하고 자동적으로 처리할 수 있도록 고안된 지식표현 언어이므로 이기종 시스템 하에서의 사용자 Context를 표현하는데 적합하다. 한편, 사용자가 접할 실세계의 환경은 일반집합(Crisp Set)으로 표현하기 힘들기 때문에 본 논문에서는 퍼지개념과 표준 웹 온톨로지 언어 OWL이 융합된 Fuzzy OWL언어를 사용했다. 본 논문에서 제안하는 방법은 Context를 Fuzzy OWL로 표현하기 위하여 먼저 사용자가 접한 환경정보들을 수치로 표현한다. 그리고 이를 OWL로 기술하며 OWL로 표현된 사용자 Context를 Fuzzy OWL로 변환한다. 마지막으로 퍼지 개념이 포함된 사용자 Context를 이용하여 자동적인 상황인지가 가능한지 여부를 퍼지 추론 엔진인 FiRE를 사용하여 실험한다. 본 논문에서 제시한 방법을 사용하면 이기종 분산시스템에서도 사용할 수 있는 형태로 Context를 기술할 수 있다. 그리고 기술된 Context를 기반으로 현재 사용자가 접한 환경의 상태를 추론할 수 있다. 또한 퍼지 기술 로직 언어(Fuzzy Description Logic)기반 추론기인 FiRE를 이용하여 이를 검증한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.11a
• /
• pp.7-10
• /
• 2006

온톨로지는 시멘틱 웹의 상호운용성에 있어서 가장 중요한 역할을 하고 있으며, 다양한 분야에서 지식의 공유 및 재사용을 목적으로 사용되고 있다. 현재 대부분의 온톨로지들은 도메인 전문가나 온톨로지 개발자들이 $Prot\acute{e}g\acute{e}$와 같은 도구를 사용하여 수작업으로 구축되어 지고 있다. 비록 전문가들이 $Prot\acute{e}g\acute{e}$와 같은 도구를 사용할지라도, OWL등과 같은 언어로 구축된 온톨로지가 실용적이고 도메인의 정보를 정확하게 반영하였음을 검증하는 것은 쉽지 않다. 따라서 본 연구에서는 형식개념분석기법(Formal Concept Analysis)을 사용하여, OWL로 구축된 온톨로지의 소스로부터 온톨로지의 주요 요소들을 추출, 분석하여 구조적 문제점을 파악 할 수 있는 OWL온톨로지 분석도구(OWL Analyzer)의 개발에 대하여 설명한다. 본 연구에서 개발된 OWL Analyzer를 사용함으로써, 구축된 온톨로지내에 포함된 오류를 수월하게 파악할 수 있고, 온톨로지 개발자에게 보다 좋은 개념계층구조를 갖는 온톨로지를 제안할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06b
• /
• pp.133-135
• /
• 2006

최근 들어 자동화된 시맨틱 웹 서비스 조합을 위해 인공지능 계획 기법을 이용하려는 연구가 활발하다. 하지만 이러한 계획 기법이 효과적으로 적용되기 위해서는 먼저 시맨틱 웹 서비스의 명세와 온톨로지들을 계획기에서 이용 가능한 계획 영역 지식 형태로 변환하여야 한다. 본 논문에서는 OWL-S로 기술된 웹 서비스 명세와 OWL로 정의된 온톨로지를 표준 계획영역지식 표현언어인 PDDL로 변환하는 변환기의 설계와 구현에 대해 설명한다. 이 변환기의 특징은 기존의 OWLS2PDDL와는 달리 KIF 기반의 전제조건과 효과에 대한 변환 기능을 추가로 제공하며, 웹 서비스의 입출력 데이터에 대한 명세변환도 보다 실용적으로 간소화하였다. 또한, 이 변환기는 계획을 위한 영역모델과 이 영역모델에 기초한 다양한 문제모델들을 별도로 분리하여 생성하며, 이 두 모델 모두에 온톨로지가 적용될 수 있도록 허용한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.645-648
• /
• 2004

현재 웹 데이터는 폭발적으로 증가하고 있지만 이를 통해 유용한 정보를 추출한 지식 표현 위주의 웹 데이터는 부족한 실정이다. 이러한 문제점을 해결하기 위해 제안된 시맨틱 웹은 온톨로지를 기반구조로 하고 있다. 그러나 현재 온톨로지의 생성에 관한 기존 연구들은 대부분 도메인 전문가들의 휴리스틱에 의존하는 수작업 형태를 띠고 있다. 이러한 방법은 많은 시간과 노력이 소요될 뿐만 아니라 뜻하지 않은 오류가 나타날 수 있다. 이와 같은 문제를 해결하기 위해 우리는 소프트웨어 공학적인 접근방법을 통하여 온톨로지를 효과적으로 설계 및 생성하는 방법을 제안한다. 우리는 기존의 UML과 OWL을 단순 매핑하는 방법에 MDA 접근법의 장점들을 취하여 통합, 확장하였다. 즉, MDA를 기반으로 UML을 이용하여 온톨로지를 설계한 후 설계된 온톨로지 모델을 XMI를 통해 온톨로지 기술 언어인 OWL로 변환하는 과정을 거쳐 온톨로지를 생성한다. 끝으로 구체적인 보기를 통해 본 논문에서 제안한 방법의 타당성을 보인다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04a
• /
• pp.28-30
• /
• 2004

본 논문에서는 유비쿼터스 환경에서 발생하는 컨텍스트와 이를 이용하는 서비스간의 연관 관계를 온톨로지 기반의 기술 방식을 이용하여 효과적으로 표현할 수 있는 uWDL (Ubiquitous Workflow Definition Language)을 소개한다. uWDL은 유비쿼터스 환경의 사용자 특성을 이용하여 그에 맞는 서비스들의 관계를 워크플로우 형태로 기술할 수 있는 언어로, uWDL을 이용하여 서비스들 간의 연관 관계를 기술함으로써 작업의 통합 및 자동화를 이를 수 있다. 이를 위해 가장 널리 사용되고 있는 웹 서비스(Web Services)의 WSDL을 바탕으로 uWDL의 서비스를 기술하고, 워크플로우에 의해 구성된 서비스들의 연관 관계는 컨텍스트 정보에 따라 동적으로 재구성되어 상황에 맞는 서비스를 제공하게 된다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.11 no.3
• /
• pp.275-283
• /
• 2005

Ontologies are the core components of the Semantic Web and knowledge-based systems. But it is difficult to find useful ontologies in actual domains. In order to build useful domain ontology, the conceptualization of the domain knowledge by knowledge experts of the specific domain and the specification of conceptualized knowledge with formal languages by ontology designers are required. In addition, structured and detailed guidelines and methods should be provided to be shared by the development team members. However, existing ontology building methodologies define and describe the skeletal structure of the whole building process at the top-layer. We build a useful academic ontology that is based on the conceptual knowledge structure in the domain of philosophy, and propose a detailed methodology to build a text ontology based on Topic Maps. Our methodology consists of two phases, ontology modelling and ontology implementation. We implement a philosophy knowledge portal to support retrieving and navigating of the philosophy knowledge.

• Journal of KIISE:Software and Applications
• /
• v.35 no.12
• /
• pp.764-773
• /
• 2008

The web ontology language(OWL) has become a W3C recommendation to publish and share ontologies on the semantic web. In order to check the satisfiablity of concepts in OWL ontology, OWL reasoners have been introduced. But most reasoners simply report check results without providing a justification for any arbitrary entailment of unsatisfiable concept in OWL ontologies. In this paper, we propose dependency label based causing inconsistency axiom (CIA) detection for debugging unsatisfiable concepts in ontology. CIA is a set of axioms to occur unsatisfiable concepts. In order to detect CIA, we need to find axiom to cause inconsistency in ontology. If precise CIA is gave to ontology building tools, these ontology tools display CIA to debug unsatisfiable concepts as suitable presentation format. Our work focuses on two key aspects. First, when a inconsistency ontology is given, it detect axioms to occur unsatisfiable and identify the root of them. Second, when particular unsatisfiable concepts in an ontology are detected, it extracts them and presents to ontology designers. Therefore we introduce a tableau-based decision procedure and propose an improved method which is dependency label based causing inconsistency axiom detection. Our results are applicable to the very expressive logic SHOIN that is the basis of the Web Ontology Language.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.535-538
• /
• 2004

정보통신의 발전은 경제 구조에 많은 변화를 가져왔으며, 향후에도 많은 변화를 예고하고 있다. 가장 대표적인 것은 경제 흐름의 근간이라 할 수 있는 유통의 변화일 것이다. 이것은 통신망 위에 구축되는 가상의 공간에서 이루어지는 유통을 지칭하는 것으로, 빠른 속도로 발전하고 있다. 그러나 무수히 많은 상품들을 각 싸이트별 상품 데이터베이스를 구성하는 것은 매우 불합리한 단순 반복 작업이라 하겠다. 이런 문제를 해결하기 위해 시멘틱 웹의 RDF(Resource Description Framework)언어를 이용하여 웹 온톨로지를 구성하여 공급자와 판매자간 상품 데이터를 공유하게 된다면, 전자상거래에 효율성을 가져올 것이라 생각된다. 따라서 본 논문에서는 RDF의 소개와 RDF 웹 온톨로지 편집기를 제작하고, 구성된 RDF를 참조하여 간단한 쇼핑몰을 구성하여 온톨로지를 통한 데이터의 효율적 상호운영성 (Interoperability)을 증명하여, 현재 제안되고 있는 상품 카탈로그 분야의 발전에 기여하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.634-636
• /
• 2004

유비쿼터스 환경에서는 어떤 기기나 사물에 센서와 같은 컴퓨팅이 가능한 기기를 집어넣어 언제, 어디서든 커뮤니케이션이 가능하게 한다. 이러한 기기나 사물간의 커뮤니케이션은 시맨틱 웹의 의미적 연관성을 이용하여 해결할 수 있다. 컴퓨터가 이해할 수 있는 의미적 연결을 하기 위해서는 온톨로지와 같은 시맨틱 웹 환경요소를 이용하여 정보자원들 간의 의미적 연결이 필요하다. 이틀 위해서 본 논문에서는 시맨틱 웹의 의미적 연관성을 이용하여 유비쿼터스 환경에서 컴퓨터가 스스로 정보자원들의 의미를 이해하고 동작할 수 있는 다중 에이전트 커뮤니케이션 구조를 제안한다. 본 논문에서 제안한 다중 에이전트 커뮤니케이션 구조는 에이전트들이 웹 온톨로지 언어를 기반으로 표현된 정보자원들 간의 연관성을 기반으로 자원의 의미론 이해하고. 기계들 사이에 커뮤니케이션이 가능하게 한다.