• 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를 이용하여 구축된 웹 온톨로지의 성능을 검증하였다.

• Annual Conference on Human and Language Technology
• /
• 2008.10a
• /
• pp.109-112
• /
• 2008

OntoCS는 웹 기반 온톨로지 구축 시스템으로써 온톨로지 협업 구축이 가능한 장점이 있으나 구축한 온톨로지의 논리 기반 검색이나 추론 기능을 지원하지 않는다. 그로 인해 구축한 온톨로지의 검증 및 확장 작업을 위해서는 전문가의 수작업이 불가피하다. 따라서 본 논문에서는 OntoCS에 JENA Engine을 탑재하여 구축 중인 온톨로지의 논리 검색을 통한 온톨로지 검증과 온톨로지의 확장 구축 및 관리가 가능한 개선된 OntoCS를 제안하고 개발한다. 그리고 온톨로지 추론 전 후의 온톨로지 요소 비교를 통해 JENA에서의 온톨로지 추론 결과를 OntoCS에 반영할 수 있도록 한다.

• The Journal of Society for e-Business Studies
• /
• v.15 no.2
• /
• pp.19-35
• /
• 2010

In response to an increased need, various methods for ontology modularization have been proposed. However, few studies have focused on evaluative methods for ontology modules. In this study, we devise novel metrics to measure ontology modularity. To evaluate the ontology modules, we introduce cohesion and coupling based on the theory of software metrics. A cohesion metric and two coupling metrics were used to measure cohesion and coupling for ontology modules. These metrics were also used to check consistency between the ontology modules and the original ontology. The new metrics support a more detailed relationship between classes in ontology modules. We validate the proposed metrics using the well known verification framework and perform the empirical experiments to complement previous investigations. This study offers ontology engineers valuable criteria with which to select and use ontology modules and modularization techniques.

• 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.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.7 no.6
• /
• pp.1363-1368
• /
• 2012

Currently, basic simple search techniques for curriculum are being implemented. But curriculum information retrieval applying ontology technologies is still weak level. In this paper, the curriculum of university was divided into the liberal arts and majors, and we proposed frame model by these methodes and designed management system to construct ontology. This management system was composed of ontology input system and ontology web service system. Ontology input system constructed curriculum of department into ontology by administrator and we designed web service system to retrieve curriculum by students. We validated ontology designed for curriculum using ontology tool.

• Journal of the Korean Society for information Management
• /
• v.24 no.3
• /
• pp.119-147
• /
• 2007

Actually a diffusion of a semantic web application and utilization are situations insufficient extremely. Technology most important in semantic web application is construction of the ontology which contents itself with characteristics of semantic web. Proposed a suitable a method of building web ontology for characteristics or semantic web and web ontology as we compared the existing ontology construction ana ontology construction techniques proposed for web ontology construction, and we analyzed. And modeling old ontology to bases to description logic and the any axiom rule that used an expression way of SWRL, and established inference-based web ontology according to proposed ways. Verified performance of ontology established through ontology inference experiment. Also established an web ontology-based intelligence image retrieval system, to experiment systems for performance evaluation of established web ontology, and present an example of implementation of a semantic web application and utilization. Demonstrated excellence of a semantic web application to be based on ontology through inference experiment of an experiment system.

• Proceedings of the Korean Society for Information Management Conference
• /
• 2013.08a
• /
• pp.113-117
• /
• 2013

팀 버너스 리에 의해 '시멘틱 웹'은 1998년 제안되었으나 현재 새롭게 생성되고 있는 데이터 혹은 자연어 형식의 데이터를 시멘틱 검색을 위해 활용하기에는 아직까지 온톨로지 데이터베이스가 따라가지 못하고 있다. 이를 위해 온톨로지 구축의 구성요소인 공리(axiom)를 공공을 위한 데이터로 개발하여 시멘틱 검색에 활용하는 개념적 모델을 제안한다. 공리 데이터베이스는 단일 도메인에서 벗어난 시멘틱 검색을 위한 데이터베이스로서 도메인 온톨로지 구축에 기본적인 요소들을 제공하고, 이용자들이 시멘틱 검색을 통해 보다 만족한 정보검색을 할 수 있도록 한다. 또한 온톨로지 데이터를 확보하기 위해 정보생산자로부터 사전어휘에 대한 온톨로지 트리플을 생성하는 실험을 하였다. 온톨로지 자동구축에 대한 연구와 개발이 활발하지만 보편적 시멘틱 검색을 위해 정보생산자와 정보관리자가 많은 부분 데이터를 생성하고 검증해야할 필요가 있다.

• Journal of the Korean Society for Library and Information Science
• /
• v.49 no.3
• /
• pp.81-107
• /
• 2015

This study describes the Bottom-up method for implementation of an ontology system from the RDB. The STNet, a structured terminology glossary based on RDB, was served as a test bed for converting to RDF ontology, for generating the inference rules, and for evaluating the results of the semantic search. We have used protege editor of the ontology developing tool to design ontologies with test data. We also tested the designed ontology with the Inference Engine (Pellet) of protege editor. The generated reference rules were tested by TBox and SPARQL queries through STNet ontology. The results of test show that the generated reference rules were verified as true and STNet ontology were also evaluated to be useful for searching the complex combination of semantic relation.

• Journal of the Korea Society of Computer and Information
• /
• v.24 no.10
• /
• pp.195-203
• /
• 2019

Inadequate military soldiers cause military fatigue and rejection such as reduced confidence in the military and combat power. The military developed and applied a self-adopting test as a psychological test system to identify soldiers who are not fit to serve in the military in advance and prevent accidents. In this paper, we propose the ontology design process to be used for identifying accident concerns and implement the behavioral patterns and symptoms of maladjustment soldiers as ontology. The ontology design process is validated consistency and suitability as a result of the performance evaluation of ontology implemented. Through ontology design for identifying maladjustment soldiers, it is expected to play an effective role in preventing accidents by providing objective criteria and sharing of information on accident concerns.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.05a
• /
• pp.671-674
• /
• 2005

현재 지능형 웹 서비스를 위한 서비스 온톨로지의 생성은 서비스 개발자의 휴리스틱에 의존하여 많은 시간과 비용을 소모할 뿐만 아니라 서비스와 서비스 온톨로지간의 완벽한 매핑이 어렵다는 문제점을 가지고 있다. 또한 서비스 온톨로지를 기술하기 위한 마크업 언어를 서비스 개발자가 단기간 내에 학습하기에 많은 어려움이 있는 실정이다. 본 논문에서는 지능형 웹 서비스를 위한 서비스 온톨로지 생성의 문제점들을 해결하기 위해 MDA 방법론을 사용하여 서비스 온톨로지를 효율적으로 설계 및 생성하기 위한 방안을 제안한다. 본 논문에서 제안하는 방안은 MDA를 기반으로 널리 사용되고 있는 UML을 사용하여 웹 서비스 모델을 설계하고 이를 OWL-S에 최적화된 모델로 변환한 후 XMI를 통해 OWL-S로 기술되는 서비스 온톨로지로 변환한다. 본 논문에서 제안하는 방안은 이미 널리 사용되는 UML과 같은 소프트웨어 공학적 방법을 사용하기 때문에 서비스 개발자들이 쉽게 서비스 온톨로지를 구축할 수 있으며 하나의 모델로부터 서비스와 서비스 온톨로지 모델을 동시에 이끌어 낼 수 있는 장점을 가진다. 또한 모델로부터 자동적으로 서비스 온톨로지를 생성함으로써 시간과 비용을 절감할 수 있는 효과를 얻을 수 있다. 그리고 플랫폼 변화와 같은 외부 환경 변화에 유연하게 대처할 수 있다. 끝으로 본 논문에서는 제안된 방안의 타당성을 검증하기 위해 실제로 웹 서비스 모델을 설계하고 서비스 온톨로지를 생성하는 예를 보인다. 또한 생성된 서비스 온톨로지가 올바르게 생성되었는지를 유효성 검사를 통해 검증한다.