온톨로지  &  규칙 추론 시스템 2009. 4. 21 김상균 [email_address]
온톨로지  &  규칙 추론 <ul><li>온톨로지 추론 </li></ul><ul><ul><li>기술 논리 기반 </li></ul></ul><ul><ul><li>Tableaux  추론에 기반  : sound & compl...
SWRL <ul><li>SWRL (A Semantic Web Rule Language Combining OWL and RuleML) </li></ul><ul><ul><li>W3C Member Submission 21 M...
Pellet <ul><li>개요 </li></ul><ul><ul><li>URL : http://clarkparsia.com/pellet/ </li></ul></ul><ul><ul><li>구현  :  자바 ,  오픈소스 ...
KAON2 <ul><li>개요 </li></ul><ul><ul><li>URL : http://kaon2.semanticweb.org/ </li></ul></ul><ul><ul><li>구현  :  자바 , closed-s...
RacerPro <ul><li>개요  </li></ul><ul><ul><li>RACER : Renamed ABox and Concept Expression Reasoner </li></ul></ul><ul><ul><li...
Jena <ul><li>개요 </li></ul><ul><ul><li>URL : http://jena.sourceforge.net/ </li></ul></ul><ul><ul><li>구현  :  자바 ,  오픈소스 </li...
FaCT, FaCT++ <ul><li>개요 </li></ul><ul><ul><li>FaCT : Fast Classification of Terminologies </li></ul></ul><ul><ul><li>URL :...
Jess <ul><li>개요 </li></ul><ul><ul><li>URL : http://www.jessrules.com/ </li></ul></ul><ul><ul><li>구현  :  자바 ,  오픈소스 (Academ...
JTP <ul><li>개요 </li></ul><ul><ul><li>JTP : Java Theorem Prover </li></ul></ul><ul><ul><li>URL : http://www.ksl.stanford.ed...
Bossam <ul><li>개요 </li></ul><ul><ul><li>URL : http://bossam.wordpress.com/ </li></ul></ul><ul><ul><li>구현  :  자바 , closed-s...
추론 시스템 구축 <ul><li>KISTI OntoFrame </li></ul><ul><ul><li>룰 기반 추론 ,  자체 룰 엔진 개발 </li></ul></ul><ul><ul><li>연구자 ,  지역 ,  연구논문...
추론 시스템 구축 <ul><li>국가  IT  온톨로지 </li></ul><ul><ul><li>SHIQ  기반 온톨로지 추론기  ( 숭실대학교 ) </li></ul></ul><ul><ul><li>어플리케이션 </li><...
추론 시스템 구축 <ul><li>Saltrux </li></ul><ul><ul><li>RacerPro, KAON2 를 이용한 룰 기반 추론 </li></ul></ul><ul><ul><li>적용 분야 </li></ul><...
Upcoming SlideShare
Loading in...5
×

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

5,467

Published on

Published in: Technology, Education
0 Comments
6 Likes
Statistics
Notes
  • Be the first to comment

No Downloads
Views
Total Views
5,467
On Slideshare
0
From Embeds
0
Number of Embeds
5
Actions
Shares
0
Downloads
0
Comments
0
Likes
6
Embeds 0
No embeds

No notes for slide

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

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

×