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

지능형 에이전트란 환경상태를 인지하고 상태정보에 따른 적절한 행위를 자동적으로 수행하는 소프트웨어 객체를 말한다. 본 논문에서는 시맨틱 웹 환경에서 시맨틱 서비스를 지능적이고 자동적으로 수행하는 에이전트 개발을 통해서 시맨틱 웹 응용사례에 대해 제안한다. 본 논문에서는 제안하는 시맨틱 서비스 에이전트는 다음과 같은 핵심 요소 기술의 특징을 갖는다. 첫째, 시맨틱 웹 환경의 온톨로지와 메타데이터 및 사용자 프로파일을 자원으로 사용하여 상태정보를 인지한다. 둘째, SWRL(Semantic Web Rule Language)기반의 추론엔진을 통해서 인지된 상황 정보를 역방향 추론하고 지능적인 행동의 수행을 결정한다. 셋째, 시맨틱 웹 환경의 확장을 통한 에이전트의 활동 범위를 증가시키기 위해서 사용자 중심의 메타데이터 저작기능을 갖는다. 넷째, 시맨틱 서비스 에이전트는 온톨로지 서버 및 시맨틱 미들웨어를 통한 시맨틱 웹 인프라 시스템의 프레임워크를 갖는다. 본 논문에서는 시맨틱 서비스 에이전트의 실제 구현을 통해서 시맨틱 웹 환경이 제공하는 자원을 적극 이용하고 사용자 요구에 맞춰 이를 사용자에게 지능적이고 자동적인 서비스로 제공하는 에이전트를 제안한다.

• Journal of Korea Multimedia Society
• /
• v.11 no.11
• /
• pp.1566-1574
• /
• 2008

Researches of current information searching focus on providing personalized results as well as matching needed queries in an enormous amount of information. This paper aims at discovering hidden knowledge to provide personalized and inferred search results based on the ontology with categorized concepts and relations among data. The current searching occasionally presents too much redundant information or offers no matching results from large volumes of data. To lessen this disadvantages in the information searching, we propose an inference algorithm that supports associated and inferred searching through the Jess engine based on the OWL ontology constraints and knowledge expressed by SWRL with association rules. After constructing the personalized preference ontology for domains such as restaurants, gas stations, bakeries, and so on, it shows that new knowledge information generated from the ontology and the rules is provided with an example of the domain of gas stations.

• Journal of KIISE:Software and Applications
• /
• v.35 no.12
• /
• pp.764-773
• /
• 2008

The web ontology language(OWL) has become a W3C recommendation to publish and share ontologies on the semantic web. In order to check the satisfiablity of concepts in OWL ontology, OWL reasoners have been introduced. But most reasoners simply report check results without providing a justification for any arbitrary entailment of unsatisfiable concept in OWL ontologies. In this paper, we propose dependency label based causing inconsistency axiom (CIA) detection for debugging unsatisfiable concepts in ontology. CIA is a set of axioms to occur unsatisfiable concepts. In order to detect CIA, we need to find axiom to cause inconsistency in ontology. If precise CIA is gave to ontology building tools, these ontology tools display CIA to debug unsatisfiable concepts as suitable presentation format. Our work focuses on two key aspects. First, when a inconsistency ontology is given, it detect axioms to occur unsatisfiable and identify the root of them. Second, when particular unsatisfiable concepts in an ontology are detected, it extracts them and presents to ontology designers. Therefore we introduce a tableau-based decision procedure and propose an improved method which is dependency label based causing inconsistency axiom detection. Our results are applicable to the very expressive logic SHOIN that is the basis of the Web Ontology Language.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.15 no.7
• /
• pp.875-880
• /
• 2005

OWL(Web Ontology Language) is the Ontology Standard Language and the a lot of Ontologies are being constructed in OWL. But the research on the extension of OWL is also progressing because of the limit of representation power of in OWL language. The W3C suggests the SWRL(Semantic Web Rule Language) based on the combination of OWL and RuleML(Rule Markup Language), which is improved in the representation of rule. Thus, both OWL and SWRL are used for developing ontologies. However, research on inference of ontologies written in both languages is just begun. These day, for the inference of ontologies written in both languages, ontologies and divided in to two parts. The part written in OWL and written in SWRL. For the inference of the part written in OWL, Racer, a DL based inference engine, is used and for the other part Jess, a rule-based engine, is used. In this paper, we will propose three methods for integrated inference of the OWL part and the SWRL part of ontologies using Jess and some tools for ontology inference : OWLJessKB and SWRL Factory

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2005.11a
• /
• pp.213-216
• /
• 2005

W3C에서는 온톨로지의 표준 언어로 OWL(Web Ontology Language)을 발표하였고 이를 활용한 온톨로지가 다양한 곳에 적용되어 구축이 되고 있다. 하지만, DL(Description Logic)기반인 OWL언어가 표현할 수 있는 규칙의 한계로 인하여 이를 확장하기 위한 연구가 활발히 진행되고 있다. 이러한 연구를 통하여 W3C에서는 OWL과 RuleML(Rule Markup Language)을 통합하여 규칙(Rule)에 대한 표현력이 더욱 향상된 SWRL(Semantic Web Rule Language) 언어를 제안하였다. 현재 이러한 연구는 OWL, SWRL 온톨로지 언어를 활용하고 Racer, Jess와 같은 엔진을 통하여 추론을 하는 형태로 활성화 되어 가고 있다. 하지만 이러한 형태로 온톨로지를 구축하는데 있어서 Racer를 이용한 DL추론, Jess를 이용한 Rule-base추론이 병행되고 있다. 이에 따라 본 논문에서는 온톨로지를 추론하기 위한 엔진으로 Racer와 Jess의 병행이 아닌, Jess를 이용하여 DL기반언어인 OR온톨로지를 추론하는 것 뿐 만 아니라 SWRL언어의 규칙 또한 추론할 수 있도록 한다. 이러한 시스템을 구축하기 위해 OWL을 Jess언어를 이용하여 추론할 수 있도록 개발된 OWLJessKB라는 툴과 SWRL언어를 추론하기 위해 Jess언어로 변환하여 이를 추론하는 SWRL Factory, 그리고 이출 이용하여 통합 추론하기 위한 세가지 통합 추론 플랫폼을 제안한다.

• Annual Conference on Human and Language Technology
• /
• 2007.10a
• /
• pp.107-113
• /
• 2007

본 연구는 시맨틱 데이터 정합성 검사와 RDF 트리플 생성 기능을 가진 URI 서버 내 DB 스키마의 자동 생성 방안을 기술한다. URI 서버는 시맨틱 웹 기술 기반 프레임워크 구성에 필요한 핵심 엔진으로서 인스턴스 생성 관리기, 검색 엔진, 추론 엔진 등과의 상호 작용을 통해 시맨틱 데이터를 서비스한다. 도메인이 바뀌거나 서비스가 변경되는 경우 DB 스키마를 전문가에 의해 수작업으로 생성함으로써 서비스 환경 변화에 즉각 대응하지 못하는 문제점을 가진 기존 URI 서버를, 적재되는 온톨로지에 따라 DB 스키마를 동적으로 자동 생성하는 방식으로 변경함으로써 다양한 응용 분야와 도메인에의 높은 이식성(Portability)을 보장할 수 있도록 한다. 기반정보 온톨로지, 응용 온톨로지, 개인화 온톨로지 등 3개 온톨로지 스키마와 11만 건 이상의 Citeseer Open Access Metadata로부터 추출된 인스턴스를 대상으로 한 실험을 통해 URI 서버 내 DB 스키마 자동 생성 가능성을 실증하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06c
• /
• pp.148-153
• /
• 2008

네트워크 환경과 컴퓨팅 기술이 발전하고 모바일 디바이스의 수가 증가함에 따라 상황 인식 서비스(Context-Aware Service)의 중요성이 부각되고 있다. 최근 몇 년 동안, 상황 인식 서비스(Context-Aware Service)를 실현하기 위한 여러 연구가 진행되었지만, 해결해야 할 문제점들이 남아있다. 기존의 접근 방법들은 상황에 적합한 서비스나 추천 알고리즘을 도입함에 있어서 특정 응용(Application)이나 영역(Domain)에 종속적이고 유연성이 떨어진다는 문제가 있다. 또한 온톨로지 추론 엔진에 서비스 제공을 위한 대부분의 정보 표현과 추론을 전가하기 때문에 실제 서비스에 활용할 수 있는 정도의 성능을 기대하기 어려우며 확장성(Scalability)이 떨어진다. 본 논문에서는 서비스 요청과 서비스 처리 계층으로 계층을 분리하고 두 계층에서의 온톨로지 추론 엔진과 관계형 데이터베이스의 역할을 명확히 정의함으로써 이와 같은 문제점들을 해결하는 실용적(Practical)인 상황 인식 서비스 전달 프레임워크(Context-Aware Service Delivery Framework)를 제시하고. 시나리오를 통해 서비스 프로세스를 설명한다. 제시된 프레임워크는 현재 프로토타입의 개발을 진행 중이다.

• Journal of KIISE
• /
• v.41 no.10
• /
• pp.762-773
• /
• 2014

As the web of data is increasingly producing large RDFS datasets, it becomes essential in building scalable reasoning engines over large triples. There have been many researches used expensive distributed framework, such as Hadoop, to reason over large RDFS triples. However, in many cases we are required to handle millions of triples. In such cases, it is not necessary to deploy expensive distributed systems because logic program based reasoners in a single machine can produce similar reasoning performances with that of distributed reasoner using Hadoop. In this paper, we propose a scalable RDFS reasoner using logical programming methods in a single machine and compare our empirical results with that of distributed systems. We show that our logic programming based reasoner using a single machine performs as similar as expensive distributed reasoner does up to 200 million RDFS triples. In addition, we designed a meta data structure by decomposing the ontology triples into separate sectors. Instead of loading all the triples into a single model, we selected an appropriate subset of the triples for each ontology reasoning rule. Unification makes it easy to handle conjunctive queries for RDFS schema reasoning, therefore, we have designed and implemented RDFS axioms using logic programming unifications and efficient conjunctive query handling mechanisms. The throughputs of our approach reached to 166K Triples/sec over LUBM1500 with 200 million triples. It is comparable to that of WebPIE, distributed reasoner using Hadoop and Map Reduce, which performs 185K Triples/sec. We show that it is unnecessary to use the distributed system up to 200 million triples and the performance of logic programming based reasoner in a single machine becomes comparable with that of expensive distributed reasoner which employs Hadoop framework.

• Annual Conference of KIPS
• /
• 2004.05a
• /
• pp.385-388
• /
• 2004

인공지능분야에서의 온톨로지란 기본적인 개념의 규정과 개념들 사이의 관계를 표현한 용어들의 분류(classification)를 의미한다. 온톨로지를 만들기 위해서는 많은 온톨로지 관련 언어가 있다. 그 중 최근의 연구 방향은 DAML+OIL과 OWL로 작성된 온톨로지를 이용한 추론, 인텔리전트 서비스 분야이다. 본 논문에서는 웹 상의 미술 작품 온톨로지에 대해 기존의 키워드 매칭 검색 대신에 추론엔진을 이용한 시맨틱 기반의 확장된 검색 방법을 소개한다. 향후 연구는 퍼지 개념을 도입하여 기존의 결과 보다 정확한 검색 결과를 얻기 위한 연구를 할 것이다.

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

Ontologies are formal theories that are suitable for implementing the semantic web. which is a new technology that attempts to achieve effective retrieval, integration, and reuse of web resources. Ontologies provide a way of sharing and reusing knowledge among people and heterogeneous applications systems. The role of ontologies is that of making explicit specified conceptualizations. In this context, domain and generic ontologies can be shared, reused, and integrated in the analysis and design stage of information and knowledge systems. This study aims to design an ontology for international organizations. and build an Internet web retrieval system based on the proposed ontology. and finally conduct an experiment to compare the system performance of the proposed system with that of internet search engines focusing relevance and searching time. This study found that average relevance of ontology-based searching and Internet search engines are 4.53 and 2.51, and average searching time of ontology-based searching and Internet search engines are 1.96 minutes and 4.74 minutes.