• Proceedings of the Korea Contents Association Conference
• /
• 2009.05a
• /
• pp.74-78
• /
• 2009

Efficient reasoning has become important for improving the performance of ontology systems as the size of ontology grows. In this paper, we introduce a method that efficiently performs reasoning of RDFS entailment rules (i.e., rdfs7 and rdfs9 rules) and OWL inverse rule using views in the DBMS-based triple sotre. Reasoning is performed by replacing reasoning rules with the corresponding view definition and storing RDF triples into the structured triple tables. When processing queries, the views is referred instead of original tables. In this way, we can reduce the time needed for reasoning and also obtain the space-efficiency of the triple store.

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

연구자의 R&D 전주기 과정을 지원하기 위해 KISTI에서 2006년 개발된 OntoFrame$^{(R)}$은 과학기술 온톨로지와 DBMS 기반 추론 시스템을 적용하여 추론 서비스를 제공하였다. 2007년 개발중인 OntoFrame$^{(R)}$의 추론 시스템은 대량의 인스턴스를 대상으로 빠른 추론 성능을 제공하기 위해서 저장 구조 변경 및 추론 프로세스 변경을 통해 추론 시스템의 성능을 개선하는데 중점을 두고 있다. 본 연구에서는 추론 시스템의 개선을 위해서 RDF 트리플의 데이터 구조 및 테이블 구조 변경, EMPV(Expanded Multiple Properties View) 개발 및 도입, 추론 서비스와 추론 시스템의 프로세스 변경, 저장 구조 관리기의 개발 연구를 수행하였다. 데이터 구조 및 테이블 구조 변경을 통해서 저장 공간의 오버헤드를 개선하였고, EMPV의 도입을 통해서 트리플 저장 구조의 비효율적인 자료 접근 방식을 개선하였으며, 프로세스 개선을 통해 추론에 소용되는 시간을 단축하였다. 또한 관리기 도입을 통해서 사용자 편의성 및 추론 시스템의 관리 기능을 제공하였다.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.9 no.10
• /
• pp.1079-1085
• /
• 2014

The analysis of the variable continuous big data stram should reach the destination context awareness. This study presented a novel way of context inference of the variable data stream from sensor motes. For assessment of the sensor data, we calculated the difference of each measured value at the time window and determined the belief value of each focal element. It was beneficial that calculate and assessment of factor of situation for context inference with the Dempster-Shfer evidence theory.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2003.09b
• /
• pp.114-117
• /
• 2003

본 논문에서는 사용자가 음악을 직접 선곡하지 않고 락, 트로트, 댄스, 힙합, 발라드 등 5가지의 장르 중 사용자가 선호하는 음악의 장르를 추천하는 시스템을 구현하였다. 실시간으로 연주되는 음악에서 Bass Drum 신호를 추출ㆍ분석하여, 기본적으로 한 마디에 소요되는 시간, 주법, 진폭 등 세가지 파라메터를 이용하여 5가지 장르로 분류하였다 선택 곡 수와 들은 시간으로 퍼지 추론을 통해 각 장르에 대한 사용자 만족도를 평가한다. 평가된 만족도에 의해 사용자가 선호하는 장르의 음악을 제공하는 시스템을 제안한다.

• International Journal of Highway Engineering
• /
• v.8 no.3 s.29
• /
• pp.63-76
• /
• 2006

For a private toll road project, deciding optimal toll is an important element of economic analysis for the project and a challengeable work. In this study, the optimal toll of a private toll bridge, Geoga Bridge which connects Geoje Island of Gyeongnam Province and Gaduk Island of Busan was estimated using Stated Preference (SP) data. The SP data were collected by interviewing the passenger car drivers travelling on the National Road 14. They are latent users of the bridge. A fuzzy approximate reasoning model to estimate the optimal toll was built using the SP data. For the input variable of the model, the saved travel time and toll level were employed and the diversion rate to the bridge was employed for the output variable. The diversion rates for each toll level and saved travel time were estimated and the toll level which had maximized the toll revenue was decided as optimal toll. The optimal toll was tested by comparing with the average pay rate of passenger car drivers. Since the optimal toll for passenger cars at one hour saving, the 6,250 won is about 50 % of the average pay rate of passenger car divers, the toll was evaluated not to be high. The technique employed in this study may be used for the estimation of the optimal tolls for other kinds of vehicles.

• 한국HCI학회:학술대회논문집
• /
• 2007.02a
• /
• pp.835-840
• /
• 2007

현재 이슈가 되고 있는 유비쿼터스 컴퓨팅 환경에서 서비스를 제공함에 있어 사용자의 만족도를 높여주기 위해 서비스의 지능화가 필요하다. 이러한 지능적인 서비스를 제공하기 위해 서비스에 필요한 지식을 논리적으로 표현하고, 체계적으로 추론할 수 있는 방법이 요구된다. 이를 위해 표현 범위가 넓고 유연한 일차 술어 논리(FOL)는 여러 분야에서 사용되었으며, 추론 시스템에 이용되고 있다. 그러나 풍부한 표현 범위는 유비쿼터스 컴퓨팅 환경에서의 오브젝트 관리에 있어 많은 계산비용이 소요된다. 서비스의 빠른 제공을 목표로 하고 있는 유비쿼터스 환경에서 이러한 계산비용은 서비스 제공 시간을 늦추는 요인이 된다. 이러한 문제를 극복하고 지식의 의미를 부여하는 방법으로 Description Logic과 온톨로지가 연구되고 있다. 특히 OWL(Web Ontology Language)은 풍부한 표현력을 제공하고 있으며, W3C에 의해 온톨로지 기술의 표준으로 제안되었다. 그러나 풍부한 표현 범위는 실제 컴퓨팅 환경에서 모두 사용되지 않고, 기술 및 추론의 복잡함으로 overhead가 발생한다. 본 논문에서는 이를 극복하고자 실제 유비쿼터스 환경에서 요구되는 표현 범위를 만족하는 SUNHI의 표현력을 갖는 EOL을 제안한다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2012.05a
• /
• pp.282-283
• /
• 2012

본 연구에서는 지능적으로 인터넷 중독을 방지하는 시스템 설계 방법을 제안한다. 구체적인 연구내용은 인터넷 사용시간 제한 및 유해정보 차단 분야에서 사용자 본인이 등록한 인터넷 이용 범위와 목적과의 연관성을 추론하여 사용자의 작업과 무관한 인터넷의 과도한 사용을 방지하는 사용자 작업 추론을 통한 효과적인 인터넷 중독 방지 시스템을 설계하고, 관련 특허 중심으로 비교한다.

• Proceedings of the Korean Society for Cognitive Science Conference
• /
• 2006.06a
• /
• pp.125-130
• /
• 2006

원활한 의사소통을 위해서는 문장들을 연결하여 흐름을 조직하고 말로 산출하고 전체적인 의미를 파악할 수 있어야 한다. 이야기는 이러한 문장들이 연결되어있는 것으로, 종속적이거나 나열적인 이야기 특성은 의사소통장애인의 이야기 이해와 산출의 수행에 영향을 미칠 수 있다. 본 연구에서는 이야기 특성에 따른 유창성 실어증환자의 이야기 이해 및 산출의 능력을 알아보고, 이해과제 수행이 산출과제에 미치는 영향을 분석해보았다. 이야기 종류로는 시간적 나열 이야기와 인과적 관계 이야기, 유머가 있는 이야기를 사용하였으며, 사실적 정보, 텍스트 추론, 빠진 정보추론 등 세 가지의 이해과제를 통하여 이해 능력을 측정하였다. 산출능력은 이해과제 전과 후에 CIU 비율로 질적인 측면을 측정하고, 분당어절 수를 이용하여 양적인 측면을 분석하였다. 그 결과 이해측면은 세 가지 이야기 모두 사실적 정보에 대한 이해 능력이 상대적으로 좋았으며, 오류의 형태는 추론오류가 가장 많이 나타났다. 산출에서는 인과적 관계이야기에서의 CIU 비율이 가장 높았고, 이해과제 전, 후의 차이를 비교한 결과, CIU 비율은 변화하지 않았으나, 분당 어절수에서는 증가하고 있음을 보여주었다. 이야기의 종류에 따라서 유창성 실어증화자의 산출과제의 수행수준은 다르게 나타났다. 그리고 이해과제의 수행이 산출과제에서 양적인 증가는 가져왔으나 질적인 수준에는 아무런 영향을 미치지 않았다.

• Journal of KIISE:Software and Applications
• /
• v.36 no.2
• /
• pp.153-160
• /
• 2009

As size of ontology has been increased more and more, the descriptions in the ontologies become more complicated, Therefore finding and modifying unsatisfiable concepts is hard work in ontology construction process, Minerva is an ontology reasoner which detects unsatisfiable concepts automatically and infers subsumption relation between concepts in ontology, Most description logic based ontology reasoners (including Minerva) work using tableaux algorithm, Because tableaux algorithm is very costly, ontology reasoners need various optimization methods, In this paper, we propose optimizing methods to reduce execution time of tableaux algorithm based ontology reasoner. Proposed methods were applied to Minerva which was developed as preceding study result. In consequence the new version Minerva shows high performance.

• Journal of the Korean Data and Information Science Society
• /
• v.10 no.1
• /
• pp.29-36
• /
• 1999

We propose a new method of asymptotic inference on the odds ratio (or cross-product ratio) in $2{\times}2$ contingency table. Saddlepoint approximations to the conditional tail probability we used in this procedure. We assess the accuracy of the suggested method by comparing with the exact one. To obtain the exact values, we need very complicated calculations containing the cumulative probabilities of non-central hypergeometric distribution. The suggested method in this paper is very accurate even for small or moderate sample sizes as well as simple and easy to use. Example with a real data is also considered.