Query Translation for Ontology-extended Data Sources
1. Query Translation for Ontology-extended Data Sources Jie Bao 1 , Doina Caragea 2 , Vasant Honavar 1 1 Artificial Intelligence Research Laboratory, Department of Computer Science, Iowa State University, Ames, IA 50011-1040, USA {baojie, honavar}@cs.iastate.edu 2 Department of Computing and Information Sciences Kansas State University, Manhattan, KS 66506, USA {dcaragea}@ksu.edu
2. INDUS Group Vasant Honavar Jie Bao Doina Caragea Jyotishman Pathak Neeraj Koul
3.
4.
5. Solution: INDUS for Learning from Semantically Heterogeneous Distributed Autonomous Data Sources
6. (Relational) Data Source D Data Set Extensional Definition (Facts) MSc Bob First-year Alice status name Student algorithm CS511 data structure CS103 name code Classes CS511 Bob CS103 Alice class instructor Registers S Schema Intensional Definition Classes Faculty Teaches name:String code:String rank:String name:String Student Registers name:String status:String
7. Semantic Extensions of Data Sources Return classes that graduate students are registered in Return all people in the database ? ? D S MSc Bob First-year Alice status name Student algorithm CS511 data structure CS103 name code Classes CS511 Bob CS103 Alice class instructor Registers
8. Ontology-Extended Data Source Classes Instructor Teaches name:String code:String rank:String name:String Student registers name:String status:String People Student Instructor MSc Bob First-year Alice status name Student student Undergrad Graduate First- year MSc Fourth- year … PhD MA
11. OEDS: Example S: Instructor(x,y); Classes(x,y), Student(x,y)… see survey [Shvaiko & Euzenat 2005] MSc Bob First-year Alice status name Student D Classes Instructor Teaches name:String code:String rank:String name:String Student registers name:String status:String L OS x,y, Student(x,y) Instructor(x,y) People(x) isa(x,y) isa(y,z) isa(x,z) L OD D OD isa(First-year,Undergraduate) isa(Undergraduate,Student) isa(MSc,Graduate) … O D
12.
13.
14. Query Translation D S O 2 q’ D S q O 1 User Ontology Data Source Ontology M Ontology Mapping
15.
16. Query Translation Student(t) ^ isa 1 (t:status,Master) Student(t) ^ isa 2 (t.status, Graduate) Student(t) ^ isa 2 (t.status, MSc) D S O 2 q’ q D S O 1 M
17. Soundness, Completeness and Exactness {q} {q’} {q’} {q} {q}={q’} Sound Translation Complete Translation Exact Translation q := Student(t) ^ isa 1 (t:status,Master) q’ := Student(t) ^ isa 2 (t.status, MSc) q’ := Student(t) ^ isa 2 (t.status, Graduate) Non-existent
18. Most Informative Translation c 1 d 1 d 2 O 1 O 2 q := isa 1 (x,c 1 ) isa 2 (x,d 1 ) isa 2 (x,d 2 ) Most informative sound translation! onto onto LUB (least upper bound) isa 2 (x,d 1 ) isa 2 (x,d 2 ) find its sound translation(s)