• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.115-117
• /
• 2003

최근 시맨틱 웹의 중요성이 부각되면서 다양한 분야에서 이와 관련된 연구가 활발히 진행되고 있다. 시맨틱 웹과 관련된 연구 중 중요한 부분이 은톨로지와 규칙 및 추론이며, 이들 연구가 실용적인 측면에서 빠르게 진행되기 위해서는 연구를 위해 사용가능한 온톨로지가 많이 구축되어 있어야 한다. 그러나, 온톨로지의 구축은 많은 노력과 시간을 요하기 때문에 온톨로지 합병을 통한 기존 온톨로지의 재사용이 반드시 필요하다. 이미 온톨로지 합병을 위한 도구가 다수 존재하나 이들이 시멘틱 웹에서의 온톨로지 언어인 OWL을 직접적으로 지원하지 않는다는 단점이 있다. 본 논문에서는 기존 온톨로지 합병도구의 분석을 통해 OWL 온톨로지 합병도구 개발을 위해 필요한 기본적인 기능들을 추출하고, 이를 설계 및 구현하였다. 기존 온톨로지를 OWL로 변환해 주는 도구와 개발된 도구를 사용하여 현재 다수 존재하는 기존 온톨로지를 재활용함으로써 시맨틱 웹의 활용 촉진에 기여할 수 있을 것으로 기대된다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.640-642
• /
• 2005

본 논문에서는 온톨로지 기반의 질의-응답을 위한 지능형 웹서비스에 관해 기술하고자 한다. 이 웹서비스는 질의 에이전트와 응답 에이전트 간의 OWL-QL 메시지 교환에 의해서 이루어진다. OWL-QL은 OWL 언어로 표현된 지식베이스를 이용하는 시맨틱 웹 에이전트들 간의 질의-응답 처리를 위한 정형화된 언어이며, 프로토콜이다. OWL-QL에서 응답 에이전트는 질의 에이전트로부터 주어진 질의에 대한 응답처리를 위해 자동화된 추론을 전개한다. 본 논문에서는 시스템을 구성하는 각 에이전트들의 기능과 구조에 관해 설명하고, 질의 에이전트 내에 포함된 그래픽 기반의 OWL-QL 질의 작성기의 유용성에 관해 설명한다.

• Journal of KIISE:Databases
• /
• v.35 no.1
• /
• pp.44-53
• /
• 2008

According to the widespread use of ontology-based applications, it is critical to efficiently store and process semantic information. Even though several related systems have been developed, they have some limitations in perspectives of the volume of target semantic data, the performance of semantic query processing, and the semantic data maintenance. In this paper we propose the OWL-aware relational model for the ontology management system and SQL-based semantic query processing mechanism. Also, to verify the query processing performance, we show that the proposed query professing mechanism is more efficient than sesame.

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

W3C의 OWL-S는 기존의 웹 서비스와 시멘틱 웹 기술의 결함을 통한 웹서비스의 자동화된 검색, 조합 등을 지원하기 위한 모델이다. 원하는 특히, 웹서비스 조합은 사용자의 다양한 요구를 지원하기 위해서 매우 중요하며, 웹 서비스 조합을 하나의 처리 단위로 하기 위한 트랜잭션 개념의 도입이 필수적이다. 이를 위해서는 OWL-S웹서비스의 검색시 서비스의 IOPE(Input/Output/Precondition/Effect)와 메시지의 시멘틱 고려뿐만 아니라 트랜잭션에 영향을 미치는 웹 서비스의 응답시간, 수행비용, 신뢰성 등 웹서비스의 품질과 실제 웹 서비스의 연동의 단위가 되는 연산들에 대한 고려가 필요하나, OWL-S에서는 이러한 부분의 정의가 부족하다. 따라서, 이 연구에서는 자동화된 웹 서비스 조합을 위해서 OWL-S을 확장한 새로운 모델을 제안한다. 이 모델은 웹서비스의 성능을 응답속도, 비용, 신뢰도등율 이용해서 웹서비스간의 유사도를 측정할 수 있으며, 실제 연산들에 대한 시멘틱 표현을 가능하게 함으로써 보다 정확한 웹 서비스의 조합을 가능하게 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.168-171
• /
• 2012

본 논문에서는 모바일 컴퓨팅 환경과 불확실성을 지원하는 다중추론지원 분산형 상황인식 시스템의 지식 베이스(KB: Knowledge Base)를 위한 모델로써 상황정보(OWL), 온톨로지 추론정보(OWL DL), 규칙 추론정보(SWRL), 베이지안 추론정보(PR-OWL)를 통합적으로 표현하는 UniOWL 통합상황모델을 제안한다. 제안한 통합상황모델은 상황정보와 다중 추론정보를 단일 구문, 즉 OWL 구문으로 표현하여 지식베이스 설계를 수월하게 하고 표현을 단순화하는 장점이 있다.

• Journal of Astronomy and Space Sciences
• /
• v.34 no.1
• /
• pp.19-30
• /
• 2017

The optical wide-field patrol network (OWL-Net) is a Korean optical surveillance system that tracks and monitors domestic satellites. In this study, a batch least squares algorithm was developed for optical measurements and verified by Monte Carlo simulation and covariance analysis. Potential error sources of OWL-Net, such as noise, bias, and clock errors, were analyzed. There is a linear relation between the estimation accuracy and the noise level, and the accuracy significantly depends on the declination bias. In addition, the time-tagging error significantly degrades the observation accuracy, while the time-synchronization offset corresponds to the orbital motion. The Cartesian state vector and measurement bias were determined using the OWL-Net tracking data of the KOMPSAT-1 and Cryosat-2 satellites. The comparison with known orbital information based on two-line elements (TLE) and the consolidated prediction format (CPF) shows that the orbit determination accuracy is similar to that of TLE. Furthermore, the precision and accuracy of OWL-Net observation data were determined to be tens of arcsec and sub-degree level, respectively.

• Journal of Digital Convergence
• /
• v.12 no.7
• /
• pp.229-237
• /
• 2014

Today, the development and performance of a variety of smart phones is increasing with the number of smart phone users were. Advances in mobile networks and devices are spread smart phones. Smart home was increasing the interest. But until now, the study of user-centric services that the service was not implemented. Therefore, in this paper, the situation of the user, the user-centric service model that provides a smart home provisioning system OWL modeling is proposed.

• Journal of the Korean BIBLIA Society for library and Information Science
• /
• v.15 no.2
• /
• pp.71-96
• /
• 2004

The purpose of this study is to describe major concepts related to W3C OWL and ISO Topic Maps and to provide the result of comparison and analysis regarding semantic expression power between two ontology languages. This paper is comprised of the following parts: 1) describing URI and namespace concepts that are fundamental building block of effective ontology construction; 2) offering detailed explanation of major Topic Map concepts such as topics, associations, and occurrences; 3) providing how to accomplish the second purpose of cataloging(grouping related items when displaying the search result) using Topic Map; and 4) finally explaining the difference between two ontology languages in terms of semantic expression power.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10b
• /
• pp.372-377
• /
• 2006

유비쿼터스 컴퓨팅 시대의 도래와 시맨틱 웹에 대한 관심이 높아짐에 따라 관련 기술인 온톨로지와 이를 이용한 추론 기술에 대한 요구가 증가하고 있다. 따라서, 추론이 가능한 시맨틱 웹 기반의 모델링과 추론에 대한 연구가 필요하다. 모델링을 위해 사용되는 OWL-DL과 임의의 사용자 규칙을 표현하는 SWRL은 각각 W3C의 표준안으로서, 유비쿼터스 컴퓨팅 환경에 효율적으로 자동적인 개인화 서비스[1][2]를 제공하는데 있어서 적합하다. 그러나 OWL-DL과 SWRL의 단순한 결합은 질의응답(Query Answering)에 대한 처리가 비결정 가능한(undecidable) 문제를 야기한다. 본 논문에서는, 비결정가능성 문제의 원인인 무한반복의 가능성을 제거하기 위한 블록(blocking) 방법을 제안한다. OWL-DL이 지닌 서술논리(Description Logic)의 표현력을 유지하고, 그에 따른 추론의 질적인 성능을 유지하는 범위에서 블록방법을 사용하여 결정 가능한 질의응답을 수행하는데 궁극적인 목적을 두고 있다. OWL-DL의 TBox에 위치하는 존재 정량자(Existential Quantifier)를 대체하고 ABox에 삽입하여, 무한반복의 가능성을 없애는 해결 방법을 제시한다. 실험은 비결정가능성 문제를 DL-Safe 규칙을 통해 해결한 KAON2와 비교하여 진행한다.

• 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를 사용함으로써, 구축된 온톨로지내에 포함된 오류를 수월하게 파악할 수 있고, 온톨로지 개발자에게 보다 좋은 개념계층구조를 갖는 온톨로지를 제안할 수 있다.