• Save
온톨로지 & 규칙 추론 시스템
Upcoming SlideShare
Loading in...5
×
 

온톨로지 & 규칙 추론 시스템

on

  • 6,044 views

 

Statistics

Views

Total Views
6,044
Views on SlideShare
5,124
Embed Views
920

Actions

Likes
5
Downloads
0
Comments
0

6 Embeds 920

http://dev.nkia.net 685
http://cms.nkia.net 204
http://mangastorytelling.tistory.com 19
http://www.slideshare.net 9
https://www.google.co.kr 2
http://health.medicbd.com 1

Accessibility

Categories

Upload Details

Uploaded via as Microsoft PowerPoint

Usage Rights

CC Attribution License

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

온톨로지 & 규칙 추론 시스템 온톨로지 & 규칙 추론 시스템 Presentation Transcript

  • 온톨로지 & 규칙 추론 시스템 2009. 4. 21 김상균 [email_address]
  • 온톨로지 & 규칙 추론
    • 온톨로지 추론
      • 기술 논리 기반
      • Tableaux 추론에 기반 : sound & complete
      • Decidable & Tractable 알고리즘이 중요
    • 규칙 추론
      • Horn Logic (FOL 의 small fragment), Logic Programming (Negation-As-Failure, Procedural Attachment 등 ), … 등의 formalism 을 가지는 추론
      • Semidecidable 알고리즘
  • SWRL
    • SWRL (A Semantic Web Rule Language Combining OWL and RuleML)
      • W3C Member Submission 21 May 2004
      • OWL DL 또는 OWL Lite 와 RuleML 를 결합한 언어
      • OWL 에서 Horn-like rule 을 처리할 수 있도록 함
      • ( 예제 ) parent(?x,?y) ∧ brother(?y,?z) ⇒ uncle(?x,?z)
  • Pellet
    • 개요
      • URL : http://clarkparsia.com/pellet/
      • 구현 : 자바 , 오픈소스
      • 버전 : Pellet 2.0 RC5
      • OWL DL 추론기로써 현재 가장 최신 & 많은 기능을 구현
    • 기능
      • OWL DL 추론 완벽 지원 , OWL 2 의 일부
      • SWRL(DL-safe subset) 지원
      • SPARQL 지원
      • Jena, OWL API 기반 추론
      • DIG 인터페이스 지원
      • Datatype Reasoning
  • KAON2
    • 개요
      • URL : http://kaon2.semanticweb.org/
      • 구현 : 자바 , closed-source
      • OWL-DL, SWRL, F-Logic 온톨로지를 위한 인프라 제공
      • 유럽의 연구기관에서 구축했으며 유럽 프로젝트에서 많이 사용
      • Tableaux 알고리즘이 아닌 disjunctive datalog 방법 사용
    • 기능
      • OWL DL(SHIQ(D)), SWRL(DL-safe subset), F-Logic 온톨로지 API
      • SPARQL 지원
      • DIG 인터페이스 지원
      • RDB 에서 온톨로지 인스턴스 추출 모듈
  • RacerPro
    • 개요
      • RACER : Renamed ABox and Concept Expression Reasoner
      • URL : http://www.racer-systems.com/
      • 구현 : 자바 , Commercial (Racer Systems GmbH & Co. KG)
      • 버전 : RacerPro 1.9.2 beta
      • 대용량 RDF 및 트리플 저장 , 검색 시스템인 AllegroGraph 와 연동
    • 기능
      • OWL DL(SHIQ(D)) 지원
      • SWRL 일부와 nRQL(new Racer Query Language) 지원
      • SPARQL 지원
      • DIG 인터페이스 지원
      • Lisp API 지원
  • Jena
    • 개요
      • URL : http://jena.sourceforge.net/
      • 구현 : 자바 , 오픈소스
      • 버전 : Jena 2.5.7
      • 시맨틱웹 어플리케이션 구축을 위한 자바 프레임워크 제공
    • 기능
      • RDF, OWL 지원
      • SPARQL 지원
      • Reading and writing RDF in RDF/XML, N3 and N-Triples
      • In-memory and persistent storage 지원
      • 자체 정의 rule 언어와 처리 엔진 구현
  • FaCT, FaCT++
    • 개요
      • FaCT : Fast Classification of Terminologies
      • URL : http://owl.man.ac.uk/factplusplus/
      • 구현 : C++, Lisp, CORBA, 오픈소스 (Academic Only)
      • OWL 을 만든 Ian Horrock 이 구현한 OWL DL Reasoner
      • OWL API (OWL 을 위한 자바 인터페이스 ) 제공
    • 기능
      • OWL(SHIQ) 지원
      • CORBA 기반 클라이언트 - 서버 아키텍처
      • DIG 인터페이스 지원
  • Jess
    • 개요
      • URL : http://www.jessrules.com/
      • 구현 : 자바 , 오픈소스 (Academic Only)
      • 버전 : Jess 7.1p2
      • 자바 플랫폼을 위한 RETE 알고리즘 기반 룰 엔진
    • 기능
      • Eclipse-based rule development environment
      • Native XML rule language (JessML) support
      • JSR94(Industry standard rule engine API) 지원
      • Regular expression 지원
  • JTP
    • 개요
      • JTP : Java Theorem Prover
      • URL : http://www.ksl.stanford.edu/software/JTP/
      • 구현 : 자바 , 오픈소스
      • Object-Oriented Modular Reasoning System
    • 기능
      • Backward chaining 과 forward chaining 추론 지원
  • Bossam
    • 개요
      • URL : http://bossam.wordpress.com/
      • 구현 : 자바 , closed-source
      • 버전 : Bossam 0.9b45
      • ETRI 에서 만든 룰기반 추론기
    • 기능
      • OWL, SWRL, RuleML 지원
      • RETE 기반 forward chining 엔진
  • 추론 시스템 구축
    • KISTI OntoFrame
      • 룰 기반 추론 , 자체 룰 엔진 개발
      • 연구자 , 지역 , 연구논문등 검색 및 추론 제공
      • http://ontoframe.kr/2008/2008_new/main.jsp
    • EHR 핵심공통기술연구개발사업단
      • SAGE + u-Brain (BPEL 기반 룰 프로세서 )
      • 어플리케이션
        • 고혈압
        • 진단검사의학
        • 유헬스 당뇨 관리
  • 추론 시스템 구축
    • 국가 IT 온톨로지
      • SHIQ 기반 온톨로지 추론기 ( 숭실대학교 )
      • 어플리케이션
        • 시맨틱 위키와 시맨틱 블로그 기반의 엔터프라이즈 시맨틱 포털 시스템 구축
        • 사용자 선호 , 경험에 따른 의미 기반 추천검색 시스템
        • 유비쿼터스 홈네트워크 연계 브로커 프로토타입
  • 추론 시스템 구축
    • Saltrux
      • RacerPro, KAON2 를 이용한 룰 기반 추론
      • 적용 분야
        • 온톨로지 검색
        • 멀티미디어 검색 : 이미지 , 동영상 어노테이션 및 검색
        • 시맨틱 데스크탑 검색
        • 의미기반 전자상거래 : 지능형 상품 검색 , 추천
        • 시스템 통합
        • 시맨틱 블로그 , 위키 , social network
        • 유비쿼터스 컴퓨팅 : 상황인지 , 맞춤형 서비스