• 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.

• The Journal of Korean Association of Computer Education
• /
• v.11 no.5
• /
• pp.77-88
• /
• 2008

Having observed the restriction of the current Web technology, the semantic Web has been developed, and it now has grown up with the core help of the W3C to a level where it recommends the OWL Web ontology language. Besides, in order to deduce the information out of OWL data, several inference systems have been developed such as Jena, Jess, and JTP. Unfortunately, however, quite few systems can effectively handle recently developed OWL data, and further, due to the limitation of file-based operation, the current inference systems cannot meet the requirements for handing huge OWL data. An efficient method for storing and searching ontology data is essential for ensuring stable information inference processes. In this study, firstly, we proposed a model based on the database management system to transform and store OWL data and to enable deduction process from the database. Secondly, we designed and implemented an effective OWL storing system based on our model. Finally, we compare our system with the previous inference systems through experimental performance analysis.

• The Journal of Society for e-Business Studies
• /
• v.8 no.4
• /
• pp.113-128
• /
• 2003

A Semantic Web based service description is to enable intelligent matchmaking of services by improving representational flexibility and expressiveness in service description for Web Services. Flexibility concerns the way of how a computer handles the discrepancies in the granularity and the structure of service description between different participants of web services. Expressiveness means richness in the semantic description of services (or ontological representation of each service as a concept). The main shortcoming of currently available industry standard framework for e-commerce such as UDDI and ebXML is that they do not allow much flexibility and expressiveness in the service description. In our research we analyze the requirements of extending service description based on the Semantic Web, especially in the context of DAML-S. We also propose a method to be applied to implement intelligent web services by implementing a virtual auction site, testAuction.com. Finally, we consider some theoretical issues regarding the framework for web services using ontology.

• Journal of the Korea Society for Simulation
• /
• v.25 no.1
• /
• pp.29-34
• /
• 2016

Many researchers have used cohort DB (database) to predict the occurrence of disease or to keep track of disease spread. Cohort DB is Big Data which has simply stored disease and health information as separated DB table sets. To measure the relations between health information, It is necessary to reconstruct cohort DB which follows research purpose. In this paper, XML descriptor, editor has been used to construct ontology-based Big Data cohort DB. Also, we have developed ontology based cohort DB search system to check results of relations between health information. XML editor has used 7 layered Ontology development 101 and OWL API to change cohort DB into ontology-based. Ontology-based cohort DB system can measure the relation of disease and health information and can be used effectively when semantic relations are found. We have developed ontology-based cohort DB search system which can measure the relations between disease and health information. And it is very effective when searched results are semantic relations.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10c
• /
• pp.187-189
• /
• 2003

CPXe(The Common Picture eXchange environment) 서비스는 13A(International Imaging Industry Association)에서 제정한 디지털 이미지 교환 환경에 대한 표준으로써, 디지털 이미징 서비스를 이용하는 사용자들이 이미지 데이터를 보다 쉽고 편리하게 다양한 디지털 이미지 관련 웹 서비스(Web Services)를 이용할 수 있도록 지원하고 있다. 현재 CPXe 서비스는 CPXe UDDI 디렉토리 서비스의 정보를 사용자의 요구에 맞도록 필터링하여 HTML 정보로 변환한 후, 사용자가 인식하기 쉬운 방법으로 제공하는 Locator 서비스, 이미지 인화에 관한 Fulfillment 서비스, 웹 서비스와 사용자간 보다 편리한 인터페이스를 제공하는 WBIS(Web Browser Interaction Service) 등에 대한 API 스펙을 제공하고 있다. 본 논문에서는 사용자가 BPEL4WS(Business Process Execution Language for Web Services) 언어 를 사용하여, CPXe 표준을 따르는 온톨로지(Ontology)간 다양한 웹 서비스를 컴포넌트 형태로 구성(Composition)하고 궁극적으로 자신이 원하는 하나의 독특한 서비스를 구현할 수 있는 웹 서비스간 반자동(Semi­automatic) 구성 서비스 원형 (Prototype) 모델을 소개 할 것이다.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2005.11a
• /
• pp.488-496
• /
• 2005

현재의 웹이 HTML을 바탕으로 인간 사용자와의 인터페이스에 초점을 맞추고 있는데 비하여, 차세대 웹은 XML 및 XML 기반 각종 표준들을 바탕으로 소프트웨어 에이전트와의 인터페이스에 초점을 맞추어 나가고 있다. 차세대 웹에서 소프트웨어 에이전트의 두뇌 역할을 수행하기 위하여 추론엔진은 차세대 웹의 표준 언어인 시맨틱 웹(Semantic Web)을 충실히 이해할 수 있어야 한다. 이를 위한 기초 작업의 일환으로 OWL(Web Ontology Language)과 RuleML(Rule Markup Language)이 W3C에 제안된 바 있다. 본 연구에서는 SWRL을 규칙 표현 방법으로 사용하고, OWL을 사실 표현 방법으로 사용하는 역방향 추론엔진인 SMART-B(SeMantic web Agent Reasoning Tools - Backward chaining inference engine)을 개발하고자 한다. 이를 위하여 SWRL 기반 역방향 추론을 위한 요구 기능을 분석하고, 기존 역방향 추론 알고리즘에 차세대 시맨틱 웹을 요구 기능을 반영한 역방향 추론 알고리즘을 설계하였다. 또한, 유비쿼터스 환경에서의 각종 플랫폼의 독립성과 이식성을 확보하고 기기 간의 성능 차이를 극복할 수 있도록 사실 베이스 및 규칙 베이스의 관리도구와 역방향 추론 엔진 등을 Java 프로그래밍 언어를 이용하여 단위 컴포넌트의 형태로 개발 중에 있다.

• Journal of Korean Library and Information Science Society
• /
• v.43 no.3
• /
• pp.143-163
• /
• 2012

In order to convert a thesaurus described by a person to ontology, the first step is to translate the thesaurus to the ontology by using SKOS, which is suitable for conversion to ontology and was chose an international standard by W3C. SKOS is suitable for converting thesaurus or subject headings or classification system to ontology, but we need a web language to describe an ontology as RDF/XML. RDF/XML is so difficult to read and write that we can need RDFa embedded in HTML document or Turtle, which is more easily describable and readable. Along with description using SKOS, this research has experimentally constructed the ontology by using ontology construction program $Prot{\acute{e}}g{\acute{e}}$ 4.2. In addition to basic concept relationships of thesaurus like equivalent relationship, hierarchical relationships, association relationships transitive hierarchical relationships are included suggested by SKOS in this research.

• Journal of the Korean Society for information Management
• /
• v.19 no.4
• /
• pp.298-319
• /
• 2002

The Semantic Web is a new technology that attempts to achieve effective retrieval, automation, integration, and reuse of web resources by constructing knowledge bases that are composed of machine-readable definitions and associations of resources that express the relationships among them. To have this kind of Semantic Web in place, it is necessary to have the following infrastructures: capability to assign unchangeable and unique identifier (URI) to each resource, adoption of XML namespace concept to prevent collision of element and attribute names defined by various institutions, widespread use of RDF to describe resources so that diverse metadata can be interoperable, use of RDF schema to define the meaning of metadata elements and the relationships among them, adoption of DAML+OIL that is built upon RDF(S) to increase reasoning capability and expressive power, and finally adoption of OWL that is built upon DAML+OIL by removing unnecessary constructors and adding new ones based on experience of using DAML+OIL. The purpose of this study is to describe the central concepts and technologies related to the Semantic Web and to discuss the benefits of metadata interoperability based on XML/RDF schemas and the potential applications of diverse ontologies.

• 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.

• Journal of the Korean Society for information Management
• /
• v.20 no.1
• /
• pp.341-371
• /
• 2003

The purpose of the study is to design the ontology-based Prescription Knowledge Management System of Oriental Medicine. The study was done with the premise that the effectiveness of the system can be improved by using ontological abstractional structure based on definition of concept, attribution and relations of words related to the specific area. The system is developed with Protege-2000 by using newly developed KPML(Korean Medicine Prescription Markup Language). The results of the study provide the model of Prescription Knowledge Management System and the possibility of implementing XML-based ontology system to the semantic web environment.