• The KIPS Transactions:PartA
• /
• v.14A no.6
• /
• pp.383-390
• /
• 2007

This paper describes the e-learning system for science and engineering mathematics using computer algebra system and Bayesian inference network. The best feature of this system is using one of the most recent mathematical dynamic web content authoring model which is called client independent dynamic web content authoring model and using the Bayesian inference network for diagnosing student's learning. The authoring module using computer algebra system provides teacher-user with easy way to make dynamic mathematical web contents. The diagnosis module using Bayesian inference network helps students know the weaker parts of their learning, in this way our system determines appropriate next learning sequences in order to provide supplementary learning feedback.

• Journal of KIISE:Databases
• /
• v.37 no.2
• /
• pp.92-103
• /
• 2010

The Web Ontology Language (OWL) has become the W3C recommendation for publishing and sharing ontologies on the Semantic Web. To derive hidden information from OWL data, a number of OWL reasoners have been proposed. Since OWL reasoners are memory-based, they cannot handle large-sized OWL data. To overcome the scalability problem, RDBMS-based systems have been proposed. These systems store OWL data into a database and perform reasoning by incorporating the use of a database. However, they do not consider complete reasoning on all types of properties defined in OWL and the database schemas they use are ineffective for reasoning. In addition, they do not manage updates to the OWL data which can occur frequently in real applications. In this paper, we compare various database schemas used by RDBMS-based systems and propose an improved schema for efficient reasoning. Also, to support reasoning for all the types of properties defined in OWL, we propose a complete and efficient reasoning algorithm. Furthermore, we suggest efficient approaches to managing the updates that may occur on OWL data. Experimental results show that our schema has improved performance in OWL data storage and reasoning, and that our approaches to managing updates to OWL data are more efficient than the existing approaches.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.640-642
• /
• 2002

컴퓨터 통신기술이 급격히 발달하고 인터넷이 광범위하게 사용됨에 따라서 웹은 다양하며 무한한 용량의 데이터 원천으로 부각되었다. 그러나 웹의 사용이 지수적으로 증가함에 따라 웹 상에서 원하는 유용한 데이터를 찾고 구성하며 통합하는 일들이 매우 어렵게 되었다. 이러한 문제점을 극복하기 위해 1990년 말에 시맨틱 웹 기술이 소개되었다. 시맨틱 웹은 정보를 온톨로지로 구성함으로써 정보의 재사용성을 높여 주고 컴퓨터가 정보를 이해할 수 있도록 하여 이기종 간의 상호운용성을 보장한다. 더 나아가서는 에이전트에서 온톨로지를 판단, 재조합 함으로써 사용자가 원하는 서비스의 자동적인 실행과 추론을 할 수 있는 환경을 제공한다. 이와 같은 기능을 수행하는 시맨틱 웹을 위해 RDF(S), OIL, DAML SHOE와 같은 마크업 언어가 제안되었다. 그러나 이 언어들은 지식표현을 위한 프레임 시스템과 기술 로직 등에 기반을 두고 있기 때문에 몇 가지 문제점을 지니고 있다. 본 논문에서는 기존의 시맨틱 웹을 위한 마크업 언어의 문제점을 알아보고 효과적인 시맨틱 웹의 구현을 위해 필요한 마크업 언어의 요건을 연구ㆍ제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06c
• /
• pp.356-360
• /
• 2007

인터넷의 활용이 매우 활발해진 현재 각 개인 컴퓨터에 저장된 다양한 데이터의 공유 및 미니홈피, 블로그 등을 통한 웹 게시가 급증하고 있다. 그러나 그러한 개인 데이터 사용을 위해 컴퓨터에 저장되어있는 수많은 데이터 중 원하는 데이터를 검색하는 것은 매우 어렵다. 왜냐하면, 파일명, 작성일자 등 매우 제한된 정보를 사용하여 검색을 하기 때문에, 사용자 질의에 합당한 결과를 제시하지 못하는 문제점이 있다. 본 논문에서는 이러한 문제점을 해결하기 위하여 첫째로, 온톨로지를 정의한다. 둘째로, 온톨로지 기반의 메타데이터를 정의한다. 셋째로, 데이터 간 의미적 연관성을 고려한 추론 기술을 적용한다. 즉, 각 데이터 간 의미를 고려한 검색을 개인 데스크톱 검색에 적용한다. 본 논문은 개인 미디어 검색을 위한 메타데이터 정의 및 추론 기술의 적용에 대하여 기술한다.

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

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

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2004.11a
• /
• pp.189-192
• /
• 2004

The present much information of internet has to exist for innumerable user so that couldn't satisfy there's a variety of demand. so they have a demerit that search unnecessary information. However Web service is different with other mass media because It is possible that enable Mass Customization for Personalization strategy. In The paper suggest reasoning system that detect user connection location by using indirect abstraction techniques a kind of Case-based reasoning techniques.

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

현재 웹 서비스에서 사용하고 있는 키워드 기반 검색은 syntactic한 정보만을 제공한다. 웹 서비스의 이러한 단점을 보안하고자 시멘틱 웹 기술이 제안되고 있다. DQL 검색 시스템은 검색 결과의 질을 향상시키기 위해서 시멘틱 웹 기반의 검색 시스템 중지 하나다. 시멘틱 검색은 입력된 질의들을 통해서 사용자가 원하는 정보와 의미가 일치하는 결과를 얻어내는 것이다. 본 논문은 시스템을 이용하는 각 사용자에 따라 검색되는 결과들에 우선순위를 적용하는 DQL 검색 시스템을 제안하고 다음 3가지 부분에 중점을 두어 시스템을 설계하였다. 첫째, 각 사용자들의 성향을 검색 결과에 반영하기 위해 개인화 프로파일과 온톨로지를 생성하는 개인화 온톨로지 생성기를 설계한다. 둘째. 검색 정확도틀 논이기 위해 검색 대상에 되는 정보들의 숙성과 관계를 추론해주는 검색 엔진을 설계한다. 마지막으로 DQL 검색 시스템의 사용 효율성을 높이기 위해 사용자가 입력한 키워드를 DQL로 자동 변환하는 DQL 컨버터를 설계한다.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2006.06a
• /
• pp.270-276
• /
• 2006

문제은행 시스템은 학습 평가를 위한 문제를 DB로 구성한 다음, 추후에 인터넷으로 검색하여 재 사용하게 하는 시스템이므로 교사 업무의 효율성 및 비용이 절감되며, 사용자에게 제공할 문제 정보들을 체계적으로 관리, 저장, 검색할 수 있는 환경을 제공한다. 하지만 기존에 구축되어 있는 문제 은행 시스템들의 데이터들은 컴퓨터가 그 의미를 처리할 수 없기 때문에 동의어, 유의어들에 대한 정확한 검색이 어렵고, 단순한 키워드 검색으로 인하여 학생들과 교사들은 수많은 불필요한 검색 결과 속에서 원하는 정보를 다시 재 검색해야 하는 시간 낭비를 초래하고 있다. 이러한 문제를 극복하기 위해 본 논문에서는 시맨틱 웹 기반 기술인 OWL을 사용해서 문제은행 시스템의 온톨로지를 구성하고 개념 정의, 구조 및 관계를 명시한다. 그리고 온톨로지 기반위에 OWL 개체를 생성하고, SWRL에 정의된 규칙과 함께 추론 통해 시맨틱 검색을 가능하도록 하였다. 그 결과 데이터의 관계 및 의미 분석을 통한 향상된 검색 결과와 학습자와 교사가 다양하게 문제를 공유하고 재 사용함으로써 협업적 학습에 대한 효과를 기대할 수 있다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.2
• /
• pp.125-133
• /
• 2009

RDF is widely used as the ontology language for representing metadata on the semantic web. Since ontology models the real-world, ontology changes overtime. Thus, it is very important to detect and analyze changes in knowledge base system. Earlier studies on detecting changes between RDF models focused on the structural differences. Some techniques which reduce the size of the delta by considering the RDFS entailment rules have been introduced. However, inferencing with RDF models increases data size and upload time. In this paper, we propose a new change detection using RDF reasoning that only computes a small part of the implied triples using backward chaining strategy. We show that our approach efficiently detects changes through experiments with real-life RDF datasets.

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

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