• The KIPS Transactions:PartB
• /
• v.9B no.4
• /
• pp.437-444
• /
• 2002

There are some important that development of tools to retrieve information by simple operation in large of nave users in the world wide web. In general, query formulation method and operators are variety, not easy to formulate query in information retrieval system or web based retrieval engine. In this paper, we propose "Concept Wizard" to support query formulation with concept term expansion in natural language query information retrieval system. The Concept Wizard are interactively supporting query formulation using thesaurus and Providing plug-in on the web.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10b
• /
• pp.178-180
• /
• 1999

인터넷은 지난 몇 년 동안 급성장을 이룩하였고, 근래에는 전문가 뿐만 아니라 일반 사용자들도 인터넷을 이용하여 정보를 검색, 활용하고 있다. 인터넷에서 검색 엔진의 도움 없이 정보를 검색한다는 것은 불가능한 일이 되었다. 그러나 일반 사용자가 인터넷에서 검색을 할 때 겪는 가장 큰 어려움은 검색 엔진의 특성과 연산자의 다양성, 불리언 질의의 형식화이다. 따라서 본 논문에서는 검색 엔진의 특성에 관계없이 검색을 할 수 있도록 하기 위하여 자연어를 사용하여 정보를 검색한다. 자연어 질의는 일상적인 생활에서 사용하는 언어를 기반으로 하기 때문에 인터넷에 친숙하지 못한 초보자들도 손쉽게 사용할 수 있다는 장점이 있다. 그리고 질의 처리 에이전트와의 대화를 통하여 사용자는 자신의 요구를 더욱 명확하게 할 수 있고, 그 결과 사용자는 자신이 필요로 하는 문서를 더욱 신속하게 찾을 수 있다.

• Journal of Digital Convergence
• /
• v.11 no.3
• /
• pp.285-292
• /
• 2013

The method of recent information retrieval passes into an semantic search to provide more accurate results than keyword-based search. But in common user case, they are still accustomed to using existing keyword-based search. Hence they are hard to create a typed structured query language. In this paper, we propose to ontology knowledge-base scheme for query interpretation of these user. The proposed scheme was designed based on the OWL-DL for description logic reasoning, it can provide a richer representation of the relationship between the object by using SWRL(Semantic Web Rule Language). Finally, we are describe the experimental results of the similarity measurement for verification of a user query semantic interpretation.

• Journal of the Korean Association of Geographic Information Studies
• /
• v.12 no.1
• /
• pp.81-95
• /
• 2009

The CDB(Constraint Database) model is a new paradigm for massive spatial data processing such as GIS(Geographic Information System). This paper will identify the limitation of the schema structure and query processing through prior spatial database research and suggest more efficient processing mechanism of constraint data model. We presented constraint model concept, presentation method, and the examples of query processing. Especially, we represented TIN (Triangulated Irregular Network) as a constraint data model which displays the height on a plane data and compared it with prior spatial data model. Finally, we identified that we were able to formalize spatial data in a simple and refined way through constraint data modeling.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.525-527
• /
• 1999

사용자가 저장소내의 특정 내역을 파악하기 위해서는 내역에 대해 다양한 형식과 의미 표현이 필요하다. 이를 위해, 사용자가 사용할 수 있는 기본 연산인 추출 및 관계 함수들을 제공하고 있다. 그러나, 사용자가 부품 저장소내에 내역의 저장 구조를 파악하고, 복잡하게 형식화 되어 있는 내역간의 관계에 대한 요구를 추출 및 관계 함수들의 조합으로 명세하는 것은 매우 어렵다. 따라서, 본 논문에서는 설계 정보 자체와 그들간의 의미 정보들에 대해, 추상화된 인식 모델을 제공하고, 이 모델위에서 내역의 의미 표현에 적합하고, 사용자에게 친숙한 질의어를 제안한다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.27 no.1
• /
• pp.7-14
• /
• 2017

Theoretically, it is known that common beliefs and/or common knowledge cannot be attained in asynchronously distributed multiagent environments, however, it show that some propositions with deadlines can be attained as common beliefs among a set of fully trusted agents even when they communicate to each other asynchronously. Generally, in the multiagent environment, the attainment of common beliefs is approached as a problem of communication, and for the common beliefs paradox that the common beliefs is not attained on a system without communication time restriction is applied to loose coarser granularity and it prove that forming common beliefs is possible by relaxing necessary requirements through the KakaoTalk chatting model. I also experimented with the reasoning function that confirms the common beliefs by inquiring about the common belief generated by implementing the inference function in each agent of the KakaoTalk chatting model. Through utilizing metalogic programming, a formalization of the presentation and reasoning of common beliefs has been achieved, and the group chatting model of KakaoTalk was adopted in experiments to show that common beliefs can be formed among distributed agents using asynchronous communication.