• Journal of Korean Library and Information Science Society
• /
• v.44 no.1
• /
• pp.385-408
• /
• 2013

The purpose of this study is to build the tax ontology which can be used to manage imposables by the state or local governments. In this, the tax and related concepts were analyzed and then concept hierarchy i.e., taxonomies were formed. Especially, in the concept hierarchy, after multiple inherits were decomposed as 'primitive concepts' and then Rector's 'methodology of ontology implementation normalization', in which defined concepts were recombined, was used. The methodology employed was that the tax system, which was entangled with the direct taxes, local taxes, and property taxes that has multiple-inherits, was expressed explicitly and logically. After that, automatic classification was carried out through the inference engine, consistency was verified. Finally, some practical cases of ontology created were enumerated.

• Annual Conference on Human and Language Technology
• /
• 1989.10a
• /
• pp.247-251
• /
• 1989

본 논문은 한국어를 대상으로 하는 자연언어 처리 시스템을 개발하는데 있어서 기초가 되는 지식베이스의 구축에 대하여 논한다. 한국어의 일반문에서 단문을 분리해 내기 위하여 형태소 해석의 결과로부터 도출한 구 단위를 한-일 기계번역 시스템의 구문, 의미 해석기(VCPN) 을 적용하여 절단위로 결합한다. 그리고 이들 단위절에 대하여 대명사의 조응관계, 생략에의 재생을 위한 추론, 부정어, 시제일치 등을 처리하여 논리적 지식베이스를 구성하는 방법을 제안한다. 본 논문은 입력문장에 제한을 두지 않고 단문으로부터 장문에 이르기까지 광범위한 일반문을 대상으로 하여 Horn Clause 이론을 확장한다.

• Journal of the Korea Society of Computer and Information
• /
• v.14 no.2
• /
• pp.169-180
• /
• 2009

The conventional paper retrieval is the keyword-based search and as a huge amount of data be published, this search becomes more difficult in retrieving information that user want to find. In order to search for information to the user's intent, we need to introduce semantic Web that represents semantics of Web document resources on the Internet environment as ontology and enables the computer to understand this ontology. Therefore, we describe a paper retrieval system through OWL(Ontology Web Language) ontology-based reason in this paper. We build the paper ontology based on OWL which is new popular ontology language for semantic Web and represent the correlation among diverse paper properties as the DL(description logic) query, and then this system infers the correct results from the paper ontology by using the DL query and makes it possible to retrieve information intelligently. Finally, we compared our experimental result with the conventional retrieval.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.19 no.8
• /
• pp.78-85
• /
• 2018

In this study, we investigated the cases where there were many opinions in the judgment of the cause of ignition in the case of 20 cases of frozen warehouse fire that occurred in 2017.The research methodology is the scientific fire survey method prescribed by the NFPA 921 CODE. Scientific fire investigation method is fire investigation method by logical reasoning through hypothesis setting, minimizing errors in judgment of ignition source. On the other hand, unscientific fire investigation methods cause many errors by the intervention of irrational factors such as subjective estimation, reasoning judgment, etc. This eventually leads to the problem of human and material responsibility and academic deterioration. In particular, fire not seen as compared to sighted fire makes more errors in ignition sources in the cause investigation. In this study, we set the hypothesis A and hypothesis B based on the review of the fire investigation report and the field survey on the fire case of the cold storage warehouse front line that occurred at ** city ** Mart in 2017.The set hypothesis was tested by the NFPA 921 code. This analytical method will be constructed by NEW Paradigm as a source of fire that is not seen in the future and a source of ignorant fire.In addition, the experimental data of this study will be used to inform the manufacturer and operator of the refrigeration warehouse and serve as basic data for fire prevention.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.6
• /
• pp.663-667
• /
• 2010

A simple approach to semantic document-retrieval is to measure document similarity based on the bag-of-words representation, e.g., cosine similarity between two document vectors. However, such a syntactic method hardly considers the semantic similarity between documents, often producing semantically-unsound search results. We circumvent such a problem by combining supervised machine learning techniques with ontology information based on Markov logic. Specifically, Markov logic networks are learned from similarity-tagged documents with an ontology representing the diverse relationship among words. The learned Markov logic networks, the ontology, and the training documents are applied to the semantic document-retrieval task by inferring similarities between a query document and the training documents. Through experimental evaluation on real world question-answering data, the proposed method has been shown to outperform the simple cosine similarity-based approach in terms of retrieval accuracy.

• Korean Journal of Culture and Social Issue
• /
• v.9 no.1
• /
• pp.67-79
• /
• 2003

Why, in general, don't Korean people follow the law? Possible one of the answers to this question is based on lay people's emotional evaluation to the law in which common people's evaluation to the guilty according to their private logics comparing to public logics of facts and sentence of illegal behavior. Futhermore, in psychological field, there have been some researches concerning on differences in morality such as moral judgement and evaluation including moral inference among cultures. Therefore, the reason why Korean people tend to be not law observance and law break is that Korean people are not immoral such as telling a lie and not keeping promises, but rather they have a tendency of appling their private and personal logics based on Cheong(interpersonal affection) relationships and logics to public and legal affairs.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.13 no.1
• /
• pp.115-129
• /
• 2003

This paper presents a semi-automated formal verification method based on the famous SVO logic, and discusses its experimental results. We discuss several problems on automating the SVO logic and design its derivative, ASVO logic for automation. Also the proposed method is implemented by the Isabelle/Isar system. As a result, we verified the well-known weakness of the NSSK protocol that is vulnerable to the Denning-Sacco attack, using our Isabelle/ASVO system. Finally, we refined the protocol by following the logical consequence of the ASVO verification.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1996.10a
• /
• pp.23-26
• /
• 1996

인과관계적 추론 방법(causal reasoning)은 시스템 고장을 시스템 구조나 행동의 원인 상과관계를 사용하여 분류하는 것으로서 관측된 행도오가 기대행동의 차이를 조사하여 인식하게 된다. 본 연구에서는 징후(symptom)를 분석 및 분류할 때에 시스템의 기능적인 계층구조를 이용한다. 전문가시스템의 구축은 KAPPA-PC를 사용하였다. KAPPA-PC는 규칙 및 논리에 근거한 방법과 객체지향적 지식 표현 기법을 사용한다. 대다수의 사람들이 일상적으로 사용하는 PC(Personal Computer)는, 특히 하드웨어에서 고장이 일어났을 때 수리자의 노우하우(know-how)로 고쳐지는 경우가 대부분이다. 본 논문에서는 자주 일어날수 있는 PC의 하드웨어적 고장에 일반사용자들이 쉽게 접근해서 그 원인과 진단을 내릴 수 있도록 했으며 작은 고장 원인이 전체 시스템구조내에서 어떤 상관관계를 가지는지를 고찰하였다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2009.10a
• /
• pp.320-322
• /
• 2009

본 논문에서는 에너지 소비를 효율적으로 절약하기 위한 방법으로 평면도 상의 색상 분포 영상, 벽색상 분포 영상, 습도를 퍼지 추론 규칙에 적용하여 풍향 및 풍속을 제어하는 방법을 제안한다. 기존 제어 방법의 시뮬레이터는 소비 전력을 풍속에 관계없이 8.3KW로 설정하여 계산하기 때문에 풍속이 강하거나 약하더라도 시간 당 소비되는 전력이 같다는 문제점이 있었다. 그러나 본 논문에서 제안된 시뮬레이터에서는 풍속이 강할 수 록 소비되는 전력을 크게 설정하고, 풍속이 약할 수 록 소비되는 전력을 적게 설정한다. 제안된 풍속 제어 방법을 $400{\times}300$ 크기의 평명도 색상 영상 50장과 $400{\times}200$ 크기의 벽 색상 분포 영상 50장을 대상으로 기존의 풍속 제어 방법과의 전력량 차이를 시뮬레이션 한 결과, 기존의 방법보다 에너지 절약이 개선된 것을 확인하였다.

• Journal of the Korean Geographical Society
• /
• v.44 no.3
• /
• pp.372-394
• /
• 2009

This study investigates the ontology-based public participation GIS(PPGIS). The major reason that ontology-based GIS has attracted attention in semantic communication in recent year is due to the wide availability of geographical variable and the imminent need for turning such recommendation into useful geographical knowledge. Therefore, this study has been focused on designing and implementing the pilot tested system for public participation GIS. The applicability of the pilot tested was validated through a simulation experiment for history tourism in Guri city Gyeongi-do, Focused on the methodology, the life cycle model which involves regional statues and user recognition, can be viewed as an important preprocessing step(specification, conceptualization, formalization, integration and implementation) for recommended geographical knowledge discovery by axiom. Focusing on practicality, ontology in this study would be recommended for geographical knowledge through reasoning. In addition, ontology-based public participation GIS would show integration epistemological and ontological approach, and be utilized as an index which is connected with semantic communication. The results of the pilot system was applied to the study area, which was a part of scenario. The model was carried out using axiom of logical constraint in the meaning of human-activity.