• The Journal of Society for e-Business Studies
• /
• v.13 no.3
• /
• pp.85-101
• /
• 2008

The semantic web is taken as next generation standards of information exchange on the internet to overcome the limitations of the current web. To utilize the information on the semantic web, tools are required the functionality of query search and reasoning for the ontology. However, most of semantic web management tools cannot efficiently support the search for the complex query because they apply Triple-based storage structure about RDF metadata. We design the storage structure of the ontology in corresponding with the structure of ontology data and develop the search system(SMART-DLTriple) to support complex query search efficiently in this research. The performance of the system using new storage structure is evaluated to compare with the popular semantic web management systems. The proposed method and system make a contribution to enhancement of a practical ontology reasoning systems due to improved performance of the ontology search.

• 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 Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.220-222
• /
• 2004

컴퓨터가 정보를 이해한다' 라는 알로 표현될 수 시멘틱 웹은 WWW의 발전으로 인해 축적된 방대한 데이터 속에서 우리가 원하는 '더' 정확한 정보를 찾아 줄 수 있는 대안으로 주목받고 있다. 이에 대한 연구는 다양한 분야에서의 접근을 하고 있으며 그 '개념' 을 점점 실체화시키려고 노력하고 있으나 아직 뚜렷한 모습은 나타내고 있지 않다. 이에 본 연구에서는 시맨틱 웹의 실용화 측면에서 시맨틱 웹의 개념을 이용하여 잠재고객 탐색 에이전트를 설계하였다. 시멘틱 웹 기반의 잠재고객 탐색 에이전트는 인터넷 상의 인터넷 쇼핑몰 및 우체국 택배의 가능한 업체를 선별, 추출하여 잠재 고객을 찾아냄으로써 택배 마케팅을 위한 정보를 제공해 주기 위한 시스템이다. 본 연구에서는 택배 마케팅의 잠재 고객에 대한 정보를 검색하기 위해, 시멘틱 웹 기반의 온톨로지 생성을 위한 구체적인 도메인을 설계하고, 생성된 온톤로지를 이용하는 정보 검색 방법에 대해 소개한다.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2003.10a
• /
• pp.163-163
• /
• 2003

• Korea Information Processing Society Review
• /
• v.17 no.3
• /
• pp.81-86
• /
• 2010

• The KIPS Transactions:PartD
• /
• v.12D no.4 s.100
• /
• pp.627-636
• /
• 2005

The Intelligent Web Service is proposed for the purpose of automatic discovery, invocation, composition, inter-operation, execution monitoring and recovery web service through the Semantic Web and the Agent technology. To accomplish this Intelligent Web Service, the Ontology is a necessity for reasoning and processing the knowledge by the computer. However, creating service ontology, for the intelligent web service, has two problems not only consuming a lot of time and cost depended on heuristic of service developer, but also being hard to be mapping completely between service and service ontology. Moreover, the markup language to describe the service ontology is currently hard to be learned by the service developer In a short time. This paper proposes the efficient way of designing and creating the service ontology using MDA methodology. This proposed solution reuses the creating model in terms of desiEninE and constructing Web Service Model using UML based on MDA. After converting the Platform-Independent Web Service Model to the dependent model of OWL-S which is a Service Ontology description language, it converts to OWL-S Service Ontology using XMI. This proposed solution has profits, oneis able to be easily constructed the Service Ontology by Service Developers, the other is enable to be created the both service and Service Ontology from one model. Moreover, it can be effective to reduce the time and cost as creating Service Ontology automatically from a model, and calmly dealt with a change of outer environment like as the platform change. This paper cites an instance for the validity of designing Web Service model and creating the Service Ontology, and validates whether the created Service Ontology is valid or not.

• Review of KIISC
• /
• v.17 no.1
• /
• pp.22-32
• /
• 2007

유비쿼터스 건강관리를 가능하게 하는 U-health의 중요성이 부각됨에 따라 다양한 U-health 서비스들이 개발, 제공 되고 있다. 하지만 대부분의 서비스들이 제한적이고 독립적으로 구성되어 있어서 다른 서비스와의 연동을 통한 폭넓은 서비스의 제공이 어렵다. 이러한 서비스 연동을 위해서는 U-health 데이터 및 단위 서비스를 체계적으로 관리하고, 맞춤형 U-health 서비스 개발에 필요한 단위 서비스 검색 방법이 필요하다. 이 논문에서는 온톨로지를 이용하여 U-health 데이터 및 서비스들을 체계적으로 명세하고 관리하기 위한 방법과, 온톨로지 정보를 이용하여 의미적으로 서비스를 검색할 수 있도록 하는 서비스 브로커링 방법을 제안한다. 그리고 이를 활용해 스트레스 관리 U-health 서비스를 구축한 사례를 설명한다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2003.05b
• /
• pp.480-483
• /
• 2003

3D 가상환경 개발 초기 단계에서부터 효과적인 Navigation 을 위해서 Navigation Aid 에 대한 연구가 꾸준히 진행되어왔다. 그러나 지금까지는 환경 구조의 중요 지점만을 정리한 요약 형태의 정보를 제공하는 방법이 주를 이루고 있어서, Navigation 대상 환경에 익숙지 않은 사용자에게 환경구조를 이해하게 하는 Cognitive Load를 주고 있다. 본 논문에서는 주제를 이동 또는 세분화하는 과정을 통해 원하는 지역 또는 대상을 선별하여 찾아내고 이를 3D 가상환경에서의 이동으로 연결하는 온톨로지 기반의 Navigation Aid 를 제안했다. 따라서 Navigation 대상 환경 구조에 익숙지 않은 방문자라도 유용하게 사용할 수 있으며, 환경을 구성하는 객체들의 위치가 자주 변하더라도 사용자에게 동일한 Navigation 환경을 제공하는 장정을 갖는다.

• Journal of KIISE:Software and Applications
• /
• v.33 no.9
• /
• pp.787-801
• /
• 2006

Ontology merging describes the process of integrating two ontologies into a new ontology. How this is done best is a subject of ongoing research in the Semantic Web, Data Integration, Knowledge Management System, and other ontology-related application systems. Earlier research on ontology merging, however, has studied for developing effective ontology matching approaches but missed analyzing and solving methods of problems of merging two ontologies given correspondences between them. In this paper, we propose a specific ontology merging process and a generic operator, T-MERGE, for integrating two source ontologies into a new ontology. Also, we define a taxonomy of merging conflicts which is derived from differing representations between input ontologies and a method for detecting and resolving them. Our T-MERGE operator encapsulates the process of detection and resolution of conflicts and merging two entities based on given correspondences between them. We define a data structure, MergeLog, for logging the execution of T-MERGE operator. MergeLog is used to inform detailed results of execution of merging to users or recover errors. For our experiments, we used oriental philosophy ontologies, western philosophy ontologies, Yahoo western philosophy dictionary, and Naver philosophy dictionary as input ontologies. Our experiments show that the automatic merging module compared with manual merging by a expert has advantages in terms of time and effort.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.18 no.5
• /
• pp.579-585
• /
• 2008

Recently, many researches on autonomous mobile system have been proposed, which are possible to recognize its surrounding environment and navigate to destination without supervisor's intervention. Various sensors are mounted on the autonomous systems in order for the systems to move to destination safely without any accident. In this paper, we design an ontology-based autonomous system mounted laser distance sensors and cameras, and propose a method to conceptualize sensing information. We show the validity of the proposed method through the experiments of the system's navigation.