• Journal of the Korea Society of Computer and Information
• /
• v.12 no.1 s.45
• /
• pp.9-15
• /
• 2007

As the information of the internet increased, importance of sematic web for collecting and integration of these informations to support decision making of some group or ordinary people are growing as well. Basis structure that composes semantic web is ontology and languages like XML, RDF/RDF schema and OWL are basis means that compose ontology schema. When composes and manages Ontology schema, one of the important consideration point is that schema is changed as times go by. Therefore, change of domain of schema, change of data concept or change of relation between resource etc. are reflected in the ontology system. In this study, we suggest semantic web schema management skill in terms of version management. We categorized version change forms and created version graph for checking of version transition. With created version graph, we define transitivity rule and propose schema tag for detail application which enables extending of applicable version schema.

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

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

• Journal of KIISE
• /
• v.45 no.3
• /
• pp.224-233
• /
• 2018

Recently, there are many of studies on SWRL reasoning engine based on user-defined rules in a distributed environment using a large-scale ontology. Unlike the schema based axiom rules, efficient inference orders cannot be defined in SWRL rules. There is also a large volumet of network shuffled data produced by unnecessary iterative processes. To solve these problems, in this study, we propose a method that uses Map-Reduce algorithm and distributed in-memory framework to deduce multiple rules simultaneously and minimizes the volume data shuffling occurring between distributed machines in the cluster. For the experiment, we use WiseKB ontology composed of 200 million triples and 36 user-defined rules. We found that the proposed reasoner makes inferences in 16 minutes and is 2.7 times faster than previous reasoning systems that used LUBM benchmark dataset.

• Journal of Internet Computing and Services
• /
• v.11 no.4
• /
• pp.107-117
• /
• 2010

The feature models representing the common and variable concepts among the software products and the feature configurations generated by selecting the features to be included in the target product are the essential components in the software product lines methodology. Although the researches on the formal semantics and reasoning of the feature models and feature configurations are in progress, the researches on feature model ontologies and feature configuration validation using the semantic web technologies are yet insufficient. This paper defines the formal semantics of the feature models and proposes a feature configuration validation technique based on ontology and semantic web technologies. OWL(Web Ontology Language), a semantic web standard language, is used to represent the knowledge in the feature models and the feature configurations. SWRL(Semantic Web Rule Language), a semantic web rule languages, is used to define the rules to validate the feature configurations. The approach in this paper provides the formal semantic of the feature models, automates the validation of feature configurations, and enables the application of various semantic web technologies, such as SQWRL.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.04a
• /
• pp.152-155
• /
• 2011

최근 사회생활의 다변화로 인한 개인의 질환을 예방하고 건강을 증진시키기 위한 개인 웰니스 관리는 현대 사회의 성인에게는 필수적인 자기 관리에 해당된다. 본 논문는 이러한 웰니스 관리에 적절한 상황 모델로써 상황 데이터를 추론할 수 있는 SWRL 상황규칙과 불확실성을 표현한 베이지안 네트워크를 포함한 통합 온톨로지 기반 상황모델을 제시하였다. 제안한 상황모델에 포함된 추론 규칙은 웰니스 관리에 필요한 상황 서비스를 수행하는 액션들을 정의한다. 즉 상황 온톨로지에 SWRL 규칙을 포함함으로써 주로 웹 시멘틱에 사용되고 있는 OWL 언어를 상황인식 분야의 지식 베이스 구축에도 적합하도록 하였다. 그리고 웰니스 관리를 위해 상황 온톨로지로 표현되는 원시 상황 데이터는 센서 부정확성, 또는 개인 판단기준 차이로 인해 불확실성을 포함하므로, 어떤 논리적 상황 데이터는 불확실성을 고려하여 추론되어야 하기 때문에 본 논문은 상황 온톨로지 및 SWRL 규칙과 함께 베이지안 네트워크를 함께 표현할 수 있게 하여 OWL 상황 온톨로지 기반 규칙 추론뿐만 아니라 확률 추론을 용이하게 하였다.