• Journal of KIISE:Software and Applications
• /
• v.35 no.6
• /
• pp.366-373
• /
• 2008

The web ontology language(OWL) has been used by ontology designers to construct ontology. In order to derive hidden information(concept subsumption, concept satisfiability and realization) of OWL ontology, a number of OWL reasoners have been introduced. But most reasoners simply report these information without process for any arbitrary entailment and unsatisfiable concept derived from a OWL ontologies. In this paper, we propose Minimum Expression Axiom Set(MEXS) detection and storing for debugging unsatisfiable concepts in ontology. In order to detect MEXS, we need to find axiom to cause inconsistency in ontology. Therefore, our work focused on two key aspects: given a inconsistency ontology, identifying the roots of axioms to occur unsatisfiable and derived axioms from among them; and extracting MEXS. Our results can be applicable to all application, which is at the basis of the description logic.

• 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의 하드웨어적 고장에 일반사용자들이 쉽게 접근해서 그 원인과 진단을 내릴 수 있도록 했으며 작은 고장 원인이 전체 시스템구조내에서 어떤 상관관계를 가지는지를 고찰하였다.

• Journal of KIISE:Software and Applications
• /
• v.31 no.3
• /
• pp.353-360
• /
• 2004

Ontology defines the terms used in a specific domain and the relationships between them and represents them as hierarchical taxonomy. The present paper proposes a semi-automatic domain-specific ontology construction method based on terminology Processing. For this purpose, it presents an algorithm to extract terminology according to the noun/suffix pattern of terminology in domain texts and find their hierarchical structure. The experiment was carried out using pharmacy-related documents. As singleton terminology with noun/suffix were identified, the average accuracy was 92.57%. In case of multi-word terminology, the average accuracy was 66.64%. The constructed ontology forms natural semantic clusters with based on suffices and semantic information, so can be utilized in approaches to specific knowledge such as information look-up or as the base of inference to improve searching abilities.

• The KIPS Transactions:PartB
• /
• v.10B no.1
• /
• pp.13-20
• /
• 2003

As it increase electronic commerce user rapidly, it is necessary to study on Improvement of performance for electronic commerce system. This paper suggests electronic commerce system using functionally distributed structure based on multi-agent and evaluate it's performance using prototype. In the suggested system, we use multi-agent using combined reasoning to offer a proper commodity information and meet the customer's requirement. And we can reduce load of the electronic commerce system with distribute agents both main server system and local server system functionally. In experiment result, we can confirm suggested electronic commerce system can prevent customer's unexpected long waiting causes by network traffic and server load, and can improve efficiency.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.16 no.2
• /
• pp.296-301
• /
• 2012

Currently, in order to develop an intelligent search engine to help users retrieve information effectively, many metodes have been used. The effective retrieval methods of these methods use ontology technology. Ontology technology is the core of the Semantic Web. In the Semantic Web, ontology technology can be used to retrieve related information through the inference engine more accurately and simply on the Semantic Web. In this paper, we implement and design college information retrieval based on ontology to retrieve college class, graduate school class and person class. We have collected the hierarchy structure about the College, graduate school and person informations, and we have used protege editor of the ontology developing tool to design some ontologies with the College informations collected. We also tested the designed ontology with the Inference Engine(Pellet) of protege editor, and implemented college information retrieval system using Inference Engine(Jena) for web services.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.1
• /
• pp.167-177
• /
• 2018

As the number of attacks on vehicles has increased, studies on CAN-based security technologies are actively being carried out. However, since the upper layer protocol of CAN differs for each vehicle manufacturer and model, there is a great difficulty in researches such as developing anomaly detection for CAN or finding vulnerabilities of ECUs. In this paper, we propose a method to infer the detailed structure of the data field of CAN frame by analyzing CAN trace to mitigate this problem. In the existing Internet environment, many researches for reverse engineering proprietary protocols have already been carried out. However, CAN bus has a structure difficult to apply the existing protocol reverse engineering technology as it is. In this paper, we propose new field classification methods with low computation-cost based on the characteristics of data in CAN frame and existing field classification method. The proposed methods are verified through implementation that analyze CAN traces generated by simulations of CAN communication and actual vehicles. They show higher accuracy of field classification with lower computational cost compared to the existing method.

• The Journal of the Korea Contents Association
• /
• v.1 no.1
• /
• pp.51-58
• /
• 2001

Electronic commerce system must provide convenient interface, easy and fast searching function, and production information satisfying customers. To do this, many kinds of studies are being advanced actively about electronic commerce system using intelligent agent electronic This paper suggests 2-tier electronic commerce system using intelligent multi agent. We propose a combined reasoning agent system which provides production information satisfying customer's needs using both case-based reasoning and rule-based reasoning. And this system distribute network and sewer system load based on load balancing and 2-tier agent structure. This system can find production information through teaming of rule-based reasoning method and case-based reasoning method. This system can provide the best suitable production information to customers by using combined reasoning agent system. And we can prevent customer's unexpected long waiting causes by network traffic and server load.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.8
• /
• pp.2050-2060
• /
• 1998

Weighting strategy is one of the necessary control strategies in automated reasoning to solve problecs within allowable time and computer memory. But, the strategy still consumes too much time since it depends soly on the user's experience and needs much of the user's manual work at each stage. This research suggests a tool which automates the weighting system to generate the weighting thesaurus and merges it to the mechanical theorem prover.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.11 no.6
• /
• pp.1214-1221
• /
• 2007

Ad-hoc network is soft wireless communication network that is consisted of mobile node and clusters without helping of infrastructure. We propose a new ad hoc multicast routing protocol for based on the ontology scheme called inference network. Ontology knowledge-based is one of the structure of context-aware. Proposed structure is consisted of context awareness parameters as like distance between each nodes. The proposed architecture performs two types of routing discovery. One is Flooding Discovery Routing(FDR) for comparing analysis step and Local Discovery Routing(LDR) to compose path of node forecast(preservation) step from node's state value. The inference network structure of proposed RODMRP(Resilient Ontology-based Dynamic Multicast Routing Protocol) adopts a tree structure to enhance an efficient packet in various environment between mobile node. We will have developed an algorithm that will desist multi-hierarchy Layered networks to simulate a desired system.

• The Journal of the Korea Contents Association
• /
• v.9 no.12
• /
• pp.485-495
• /
• 2009

We in this paper propose a social network based on ontology in Korea Institute of Oriental Medicine (KIOM). By using the social network, researchers can find collaborators and share research results with others. For this purpose, first, personal profiles, scholarships, careers, licenses, academic activities, research results, and personal connections for all of researchers in KIOM are collected. After relationship and hierarchy among ontology classes and attributes of classes are defined through analyzing the collected information, a social network ontology are constructed using FOAF and OWL. This ontology can be easily interconnected with other social network by FOAF and provide the reasoning based on OWL ontology.