온톨로지 추론 개요

온톨로지 추론 개요 2009. 4. 21 김상균 [email_address]

시맨틱 웹 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

온톨로지 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

RDF 와 RDFS ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],철수 사람 _:x rdf:type hasName 그래프의 Triple 표현 Subject _:x hasName Predicate rdf:type Object 사람 _:x 철수

RDF(S) 의 문제 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

OWL (Web Ontology Language) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

OWL(OWL DL) 의 장점 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

기술 로직 (Description Logic) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

기술 로직의 구성 요소 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

기술 로직 시맨틱 ,[object Object],해석 도메인  I 해석 함수 I 개체 i I 2  I CheolSu YeongHui 개념 C I µ  I Student Worker Vehicle 롤 r I µ  I £  I hasChild owns (Student u Worker)

기술 로직의 종류 (1) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

기술 로직의 종류 (2) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

지식 베이스 ( 온톨로지 ) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

태블로우즈 추론 (1) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

태블로우즈 추론 (2) ,[object Object],[object Object],Cheolsu YeongHui hasChild HappyParent Person 8 hasChild.(Lawyer t 9 hasChild.Lawyer) Lawyer 1 2 3 Crash ABox 에 대한 그래프 생성 HappyParent TBox 공리에서 u 에 대한 확장 룰 적용 8 hasChild 에서 8 에 대한 확장 룰 적용 t 의 확장 룰 적용 후 9 hasChild.Lawyer 에 대한 확장 룰 적용 5 : Lawyer 1 2 3 4 9 hasChild.Lawyer t Lawyer 9 hasChild.Lawyer ? Laywer hasChild 4 t 룰의 오른쪽에서 지식 베이스의 충돌 발생 : 일관성이 없음 (Inconsistent KB) 5

태블로우즈 추론 (3) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Cheolsu ? hasParent Person 9 hasParent.Person Person ? Person hasParent BLOCK 9 hasParent.Person 9 hasParent.Person

결정 프로시저 ( Decision Procedure ) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

온톨로지 추론 개요

Recommended

Recommended

More Related Content

What's hot

What's hot (20)

Viewers also liked

Viewers also liked (20)

Similar to 온톨로지 추론 개요

Similar to 온톨로지 추론 개요 (10)

온톨로지 추론 개요