• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2007.05a
• /
• pp.277-285
• /
• 2007

본 연구는 시맨틱웹 응용의 중심 기술인 웹 온톨로지의 표현과 추론을 위해 서술 논리와 규칙언어를 기반으로하는 웹 온톨로지 모델링 방법을 제안한다. 현재 웹 온톨로지 표현 언어인 OWL DL은 서술 논리에 근거하여 표현되는 것이나, 기계나 온톨로지 공학자가 OWL로 기술된 온톨로지를 직관적으로 이해하고 공유할 수 있는 형식적이고 명시적인 온톨로지의 지식 표현은 부족한 실정이다. 따라서 본 연구는 시맨틱웹이 목적하는 웹 온톨로지 구축을 위한 웹 온톨로지 모델링 방법으로 웹 온톨로지 모델링 계층을 제안하고, 제안된 각 계층에 따라 서술 논리의 TBox와 ABox의 구조와 SWRL을 기반으로 지식을 표현하는 웹 온톨로지 모델링 방법을 제안한다. 제안된 웹 온톨로지 모델링 방법의 성능 검증을 위해 제안 방법에 따라 웹 온톨로지를 구축하였고, SPARQL과 TopBraid의 DL Inference를 이용하여 구축된 웹 온톨로지의 성능을 검증하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.11a
• /
• pp.423-426
• /
• 2005

시맨틱 웹은 시스템이 더욱 효과적으로 정보를 액세스하고 이용이 가능하도록 하는 의미적 정보로서의 웹을 풍부하게 하는데 목적을 두며, 이는 온톨로지의 개념표현과 추론기능을 기반으로 한다. 온톨로지는 지식의 상호 커뮤니케이션을 위하여 개념적으로 명확하고 간결한 토대를 수립하기 위한 의미를 제공한다. 그런데 현재의 온톨로지 개발환경은 강력한 모델링 툴이나 경험이 풍부한 전문적인 온톨로지 구축 인력이 부족한 현실이다. 따라서 본 논문에서는 기존의 많은 개발자들에게 친숙해 있는 UML 또는 ER 도구를 이용하여 획득된 정보가 온톨로지 언어인 OWL의 정보와 커뮤니케이션이 가능하여 온톨로지 모델링 작업의 효율성을 높일 수 있도록 이들 사이의 메타모델 매핑변환을 시도하였다. 매핑의 기반에서는 DL을 이용하였다.

• 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 the Korea Society of Computer and Information
• /
• v.15 no.1
• /
• pp.31-42
• /
• 2010

GPM(Generic Product Model) developed by Hitachi in Japan is a common data model to integrate and share life cycle data of nuclear power plants. GPM consists of GPM core model, an abstract model, implementation language for the model and reference library written in the language. GPM core model has a feature that it can construct a semantic network model consisting of relationships among objects. Initial GPM developed and provided GPML as an implementation language to support the feature of the core model, but afterwards the GPML was replaced by GPM-XML based on XML to achieve data interoperability with heterogeneous applications accessing a GPM data model. However, data models written in GPM-XML are insufficient to be used as a semantic network model for lack of studies which support GPM-XML and enable the models to be used as a semantic network model. This paper proposes OWL as the implementation language for GPM core model because OWL can describe ontologies similar to semantic network models and has an abundant supply of technical standards and supporting tools. Also, OWL which can be expressed in terms of RDF/XML based on XML guarantees data interoperability. This paper uses OWL DL, one of three sublanguages of OWL, because it can guarantee complete reasoning and the maximum expressiveness at the same time. The contents of this paper introduce the way how to overcome the difference between GPM and OWL DL, and, base on this way, describe how to convert the reference library written in GPML into ontologies based on OWL DL written in RDF/XML.

• Journal of KIISE:Software and Applications
• /
• v.36 no.9
• /
• pp.732-748
• /
• 2009

The technology of Semantic Web realizes the base technology for context-awareness that creates new services by dynamically and flexibly combining various resources (people, concepts, etc). According to the realization of ubiquitous computing technology, many researchers are currently working for the embodiment of web service. However, most studies of them bring about the only predefined results those are limited to the initial description by service designer. In this paper, we propose a new service supporting model to provide an automatic method for plan related tasks which achieve goal state from initial state. The inputs on an planner are intial and goal descriptions which are mapped to the current situation and to the user request respectively. The idea of the method is to infer context from world model by DL-based ontology reasoning using OWL domain ontology. The context guide services to be loaded into planner. Then, the planner searches and plans at least one service to satisfy the goal state from initial state. This is STRIPS-style backward planner, and combine OWL-S services based on AI planning theory that enabling reduced search scope of huge web-service space. Also, when feasible service do not find using pattern matching, we give user alternative services through DL-based semantic searching. The experimental result demonstrates a new possibility for realizing dynamic service modeler, compared to OWLS-XPlan, which has been known as an effective application for service composition.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.644-646
• /
• 2003

물류 공급 관리 시스템과 같은 정보 통합 시스템은 분산되어 있는 데이터베이스들에 대해서 정보를 통합하여 사용자에게 보여준다. 이러한 정보 통합 시스템은 전역 질의를 생성하고 지역 질의로 변환하여 실행하기 전에 질의를 최적화할 필요성이 있다. 그런데, 단일데이터 베이스 시스템에서의 질의 최적화 기법은 멀티데이터베이스 시스템에서 사용하기에는 부적절하다. 이는 분산된 데이터베이스 환경에서 오는 높은 연결 오버헤드, 높은 계산 시간, 데이터의 중복성 뿐만 아니라 의미 이질성 문제 때문에 기존의 최적화 방법은 사용하기가 어렵다. 이를 해결하기 위해서 의미상 질의 최적화 방법이 연구되어 왔다. 의미상 질의 최적화는 전역 질의보다 더 효과적으로 응답하고 의미상으로 동등한 질의로 변환하기 위해서 의미상 지식을 사용한다. 본 논문에서는 정보 통합 시스템에서 Description Logic(DL)을 이용하여 의미상 지식으로 사용할 지식 기반을 표현하고 이를 바탕으로 추론화된 지식을 이용하는 의미상 질의 최적화 방식을 제시한다.

• The Journal of Society for e-Business Studies
• /
• v.9 no.3
• /
• pp.243-258
• /
• 2004

Building a domain-suited ontology, as a means to implement the Semantic Web, is widely believed to offer users the benefit of exploiting the semantic knowledge constrained in the application. Electronic Catalog, shortly e-Catalog, manages the information about the goods or conditions play an important role in e-commerce domain. Consequently, semantically enriched yet precise information by the ontology may elaborate the business transactions. In this paper, we analyze the semantic relationships embodied within the catalog domain, as the first step towards the ontological modeling of e-catalog. Exploring ontology should leverage not only the representation of semantic knowledge but also provide the inferencing capability for the model. We employ the EER(extended Entity Relationships) for the basic model. Each modeling construct can be directly translated by DL(Description Logics). Semantic constraints that can be hardly represented in EER are directly modeled in DL.

• Journal of Korean Library and Information Science Society
• /
• v.44 no.1
• /
• pp.385-408
• /
• 2013

The purpose of this study is to build the tax ontology which can be used to manage imposables by the state or local governments. In this, the tax and related concepts were analyzed and then concept hierarchy i.e., taxonomies were formed. Especially, in the concept hierarchy, after multiple inherits were decomposed as 'primitive concepts' and then Rector's 'methodology of ontology implementation normalization', in which defined concepts were recombined, was used. The methodology employed was that the tax system, which was entangled with the direct taxes, local taxes, and property taxes that has multiple-inherits, was expressed explicitly and logically. After that, automatic classification was carried out through the inference engine, consistency was verified. Finally, some practical cases of ontology created were enumerated.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.11 no.9
• /
• pp.3232-3238
• /
• 2010

As flexible manufacturing systems (FMSs) are highly automated and required flexibility to satisfy market need, dispatching rules are constrained by specific environments of manufacturing systems such as mechanical failures, absence of employees, and lack of spare parts. In this paper, an ontology-based knowledge approach is proposed to improve efficiency of system through adapting suitable dispatching rules, considering context in a FMS shop floor, which consists multiple manufacturing cells. the multi-agents monitor manufacturing system status and job so that it figures out a dispatching rule considering context. To demonstrate the proposed approach, a proof-of-concept prototype system has been implemented in the $JADE^{TM}$ platform and Protege to make OWL DL ontology.

• Journal of the Korea Society of Computer and Information
• /
• v.20 no.3
• /
• pp.9-17
• /
• 2015

The ISO 26262 standard requires a preliminary hazard analysis and risk assesment early in the development for automotive system. This is a first step for the development of an automotive system to determine the necessary safety measures to be implemented for a certain function. In this paper, we propose an ontology-based hazard analysis and risk assessment method for automotive functional safety. We use ontology to model the hazard and SWRL(Semantic Web Language) to describe risk analysis. The applicability of the proposed method is evaluated by the case study of an ESCL(electronic steering column lock) system. The result show that ontology deduction is useful for improving consistency and accuracy of hazard analysis and risk assessment.