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

  • 4,944 views
Uploaded on

 

More in: Technology , Education
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Be the first to comment
No Downloads

Views

Total Views
4,944
On Slideshare
0
From Embeds
0
Number of Embeds
5

Actions

Shares
Downloads
0
Comments
0
Likes
5

Embeds 0

No embeds

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
    No notes for slide

Transcript

  • 1. 온톨로지 & 규칙 추론 시스템 2009. 4. 21 김상균 [email_address]
  • 2. 온톨로지 & 규칙 추론
    • 온톨로지 추론
      • 기술 논리 기반
      • Tableaux 추론에 기반 : sound & complete
      • Decidable & Tractable 알고리즘이 중요
    • 규칙 추론
      • Horn Logic (FOL 의 small fragment), Logic Programming (Negation-As-Failure, Procedural Attachment 등 ), … 등의 formalism 을 가지는 추론
      • Semidecidable 알고리즘
  • 3. 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)
  • 4. 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
  • 5. 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 에서 온톨로지 인스턴스 추출 모듈
  • 6. 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 지원
  • 7. 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 언어와 처리 엔진 구현
  • 8. 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 인터페이스 지원
  • 9. 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 지원
  • 10. JTP
    • 개요
      • JTP : Java Theorem Prover
      • URL : http://www.ksl.stanford.edu/software/JTP/
      • 구현 : 자바 , 오픈소스
      • Object-Oriented Modular Reasoning System
    • 기능
      • Backward chaining 과 forward chaining 추론 지원
  • 11. Bossam
    • 개요
      • URL : http://bossam.wordpress.com/
      • 구현 : 자바 , closed-source
      • 버전 : Bossam 0.9b45
      • ETRI 에서 만든 룰기반 추론기
    • 기능
      • OWL, SWRL, RuleML 지원
      • RETE 기반 forward chining 엔진
  • 12. 추론 시스템 구축
    • KISTI OntoFrame
      • 룰 기반 추론 , 자체 룰 엔진 개발
      • 연구자 , 지역 , 연구논문등 검색 및 추론 제공
      • http://ontoframe.kr/2008/2008_new/main.jsp
    • EHR 핵심공통기술연구개발사업단
      • SAGE + u-Brain (BPEL 기반 룰 프로세서 )
      • 어플리케이션
        • 고혈압
        • 진단검사의학
        • 유헬스 당뇨 관리
  • 13. 추론 시스템 구축
    • 국가 IT 온톨로지
      • SHIQ 기반 온톨로지 추론기 ( 숭실대학교 )
      • 어플리케이션
        • 시맨틱 위키와 시맨틱 블로그 기반의 엔터프라이즈 시맨틱 포털 시스템 구축
        • 사용자 선호 , 경험에 따른 의미 기반 추천검색 시스템
        • 유비쿼터스 홈네트워크 연계 브로커 프로토타입
  • 14. 추론 시스템 구축
    • Saltrux
      • RacerPro, KAON2 를 이용한 룰 기반 추론
      • 적용 분야
        • 온톨로지 검색
        • 멀티미디어 검색 : 이미지 , 동영상 어노테이션 및 검색
        • 시맨틱 데스크탑 검색
        • 의미기반 전자상거래 : 지능형 상품 검색 , 추천
        • 시스템 통합
        • 시맨틱 블로그 , 위키 , social network
        • 유비쿼터스 컴퓨팅 : 상황인지 , 맞춤형 서비스