the combined approach to query answering in horn alchoiq
play

The Combined Approach to Query Answering in Horn-ALCHOIQ David - PowerPoint PPT Presentation

Jul 25, 2023 •319 likes •1.06k views

The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krtzsch Knowledge-Based Systems Group at The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krtzsch

  1. The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch Knowledge-Based Systems Group at The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch /15 1

  2. The Combined Approach Conjunctive query TBox ABox The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch /15 2

  3. The Combined Approach 1. Materialisation Step Conjunctive query TBox ABox The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch /15 2

  4. The Combined Approach 1. Materialisation Step Conjunctive query TBox Datalog Rule Set ABox The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch /15 2

  5. The Combined Approach 1. Materialisation Step Conjunctive query TBox Datalog Rule Set Datalog ABox Rule Engine The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch /15 2

  6. The Combined Approach 1. Materialisation Step Conjunctive query TBox Datalog Rule Set Datalog ABox Rule Engine The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch /15 2

  7. The Combined Approach 1. Materialisation Step Conjunctive query TBox Datalog Rule Set Datalog ABox Rule * Complete for CQA * May not be a model Engine * Sound (and complete) for instance queries The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch 2 /15

  8. The Combined Approach 2. Filtration Step 1. Materialisation Step Conjunctive query TBox Datalog Rule Set Datalog ABox Rule * Complete for CQA * May not be a model Engine * Sound (and complete) for instance queries The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch 2 /15

  9. The Combined Approach 2. Filtration Step 1. Materialisation Step Conjunctive query Ans. 1 Ans. 2 TBox Datalog Rule Set Ans. 3 Ans. 4 Datalog ABox Rule * Complete for CQA * May not be a model Engine * Sound (and complete) for instance queries The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch 2 /15

  10. The Combined Approach 2. Filtration Step 1. Materialisation Step Conjunctive query Ans. 1 Ans. 2 TBox Datalog Rule Set Ans. 3 Ans. 4 Datalog ABox Rule * Complete for CQA * May not be a model Engine * Sound (and complete) for instance queries The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch 2 /15

  11. The Combined Approach for Horn-ALCHOIQ C 1 ⊓ … ⊓ C n ⊑ D R ⊑ S ∃ R . C ⊑ D R 1 ⊓ … ⊓ R n ⊑ ⊥ C ⊑ ∃ R . D R ( a , b ) C ⊑ ≤ 1 R . D A ( a ) C ⊑ { a } The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch /15 3

  12. The Materialisation Step The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch /15 4

  13. Materialisation Step: EL C 1 ⊓ … ⊓ C n ⊑ D ↦ C 1 ( x ) ∧ … ∧ C n ( x ) → D ( x ) ∃ R . C ⊑ D ↦ R ( x , y ) ∧ C ( y ) → D ( x ) C ⊑ ∃ R . D ↦ C ( x ) → R ( x , t D ) ∧ D ( t D ) R ⊑ S ↦ R ( x , y ) → S ( x , y ) C ( a ) ↦ C ( a ) R ( a , b ) ↦ R ( a , b ) The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch 5 /15

  14. Materialisation Step: EL C 1 ⊓ … ⊓ C n ⊑ D ↦ C 1 ( x ) ∧ … ∧ C n ( x ) → D ( x ) ∃ R . C ⊑ D ↦ R ( x , y ) ∧ C ( y ) → D ( x ) C ⊑ ∃ R . D ↦ C ( x ) → R ( x , t D ) ∧ D ( t D ) R ⊑ S ↦ R ( x , y ) → S ( x , y ) C ( a ) ↦ C ( a ) R ( a , b ) ↦ R ( a , b ) The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch 5 /15

  15. Materialisation Step: EL C ⊑ ∃ R . D C ( a ) D ⊑ ∃ S . C ∃ S . C ⊑ E ∃ R . E ⊑ F The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch /15 6

  16. Materialisation Step: EL C ⊑ ∃ R . D C ( a ) D ⊑ ∃ S . C ∃ S . C ⊑ E ∃ R . E ⊑ F a : C The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch /15 6

  17. Materialisation Step: EL C ⊑ ∃ R . D C ( a ) D ⊑ ∃ S . C ∃ S . C ⊑ E ∃ R . E ⊑ F d 1 : D R a : C The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch /15 6

  18. Materialisation Step: EL C ⊑ ∃ R . D C ( a ) D ⊑ ∃ S . C ∃ S . C ⊑ E d 2 : C S ∃ R . E ⊑ F d 1 : D R a : C The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch /15 6

  19. Materialisation Step: EL C ⊑ ∃ R . D C ( a ) D ⊑ ∃ S . C ∃ S . C ⊑ E d 2 : C S ∃ R . E ⊑ F d 1 : D, E d 1 : D R a : C The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch /15 6

  20. Materialisation Step: EL C ⊑ ∃ R . D C ( a ) D ⊑ ∃ S . C ∃ S . C ⊑ E d 2 : C S ∃ R . E ⊑ F d 1 : D, E d 1 : D R a : C a : C, F The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch 6 /15

  21. Materialisation Step: EL C ⊑ ∃ R . D C ( a ) d 3 : D D ⊑ ∃ S . C R ∃ S . C ⊑ E d 2 : C S ∃ R . E ⊑ F d 1 : D, E d 1 : D R a : C a : C, F The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch 6 /15

  22. Materialisation Step: EL d 4 : C S C ⊑ ∃ R . D C ( a ) d 3 : D D ⊑ ∃ S . C R ∃ S . C ⊑ E d 2 : C S ∃ R . E ⊑ F d 1 : D, E d 1 : D R a : C, F a : C The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch 6 /15

  23. Materialisation Step: EL d 4 : C S C ⊑ ∃ R . D C ( a ) d 3 : D, E d 3 : D D ⊑ ∃ S . C R ∃ S . C ⊑ E d 2 : C S ∃ R . E ⊑ F d 1 : D, E d 1 : D R a : C, F a : C The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch 6 /15

  24. Materialisation Step: EL d 4 : C S C ⊑ ∃ R . D C ( a ) d 3 : D, E d 3 : D D ⊑ ∃ S . C R ∃ S . C ⊑ E d 2 : C d 2 : C, F S ∃ R . E ⊑ F d 1 : D, E d 1 : D R a : C a : C, F The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch 6 /15

  25. Materialisation Step: EL d 5 : D R d 4 : C S C ⊑ ∃ R . D C ( a ) d 3 : D, E d 3 : D D ⊑ ∃ S . C R ∃ S . C ⊑ E d 2 : C, F d 2 : C S ∃ R . E ⊑ F d 1 : D d 1 : D, E R a : C, F a : C The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch 6 /15

  26. Materialisation Step: EL d 5 : D d 6 : C S R d 4 : C S C ⊑ ∃ R . D C ( a ) d 3 : D, E d 3 : D D ⊑ ∃ S . C R ∃ S . C ⊑ E d 2 : C, F d 2 : C S ∃ R . E ⊑ F d 1 : D d 1 : D, E R a : C, F a : C The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch 6 /15

  27. Materialisation Step: EL d 5 : D, E d 5 : D d 6 : C S R d 4 : C S C ⊑ ∃ R . D C ( a ) d 3 : D, E d 3 : D D ⊑ ∃ S . C R ∃ S . C ⊑ E d 2 : C, F d 2 : C S ∃ R . E ⊑ F d 1 : D d 1 : D, E R a : C, F a : C The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch 6 /15

  28. Materialisation Step: EL d 5 : D, E d 5 : D d 6 : C S R d 4 : C, F d 4 : C S C ⊑ ∃ R . D C ( a ) d 3 : D, E d 3 : D D ⊑ ∃ S . C R ∃ S . C ⊑ E d 2 : C d 2 : C, F S ∃ R . E ⊑ F d 1 : D, E d 1 : D R a : C a : C, F The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch 6 /15

  29. Materialisation Step: EL d 5 : D, E d 5 : D d 6 : C d 7 : D S R R d 4 : C d 4 : C, F S C ⊑ ∃ R . D C ( a ) d 3 : D d 3 : D, E D ⊑ ∃ S . C R ∃ S . C ⊑ E d 2 : C d 2 : C, F S ∃ R . E ⊑ F d 1 : D, E d 1 : D R a : C a : C, F The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch 6 /15

  30. Materialisation Step: EL d 5 : D, E d 5 : D d 6 : C d 7 : D d 8 : C S R S R d 4 : C, F d 4 : C S C ⊑ ∃ R . D C ( a ) d 3 : D, E d 3 : D D ⊑ ∃ S . C R ∃ S . C ⊑ E d 2 : C, F d 2 : C S ∃ R . E ⊑ F d 1 : D d 1 : D, E R a : C, F a : C The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch 6 /15

  31. Materialisation Step: EL d 5 : D, E d 5 : D d 6 : C d 7 : D d 8 : C C ( x ) → R ( x , t D ) ∧ D ( t D ) S R S R D ( x ) → S ( x , t C ) ∧ C ( t C ) d 4 : C, F d 4 : C S ( x , y ) ∧ C ( y ) → E ( x ) S C ⊑ ∃ R . D C ( a ) R ( x , y ) ∧ E ( y ) → F ( x ) d 3 : D, E d 3 : D D ⊑ ∃ S . C R ∃ S . C ⊑ E d 2 : C d 2 : C, F S ∃ R . E ⊑ F d 1 : D d 1 : D, E R a : C, F a : C The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral, Irina Dragoste, Markus Krötzsch 6 /15

Recommend

Outline 1 Motivation 2 The DL DL - Lite ( HN ) horn 3 Knowledge Base Satisfiability 4 Query

Outline 1 Motivation 2 The DL DL - Lite ( HN ) horn 3 Knowledge Base Satisfiability 4 Query

The DL DL - Lite ( HN ) Motivation Knowledge Base Satisfiability Query Answering Conclusions horn Query Rewriting in DL-Lite ( HN ) horn Elena Botoeva, Alessandro Artale, and Diego Calvanese KRDB Research Centre Free University of

1.03k views • 74 slides
Complete Query Answering over Horn Ontologies Using a Triple Store Yujiao Zhou joint work with

Complete Query Answering over Horn Ontologies Using a Triple Store Yujiao Zhou joint work with

Complete Query Answering over Horn Ontologies Using a Triple Store Yujiao Zhou joint work with Yavor Nenov, Bernardo Cuenca Grau and Ian Horrocks Department of Computer Science, University of Oxford Yujiao Zhou (Oxford) Complete Query

576 views • 29 slides
query answering with description logic ontologies Meghyn Bienvenu ( CNRS & Universit de

query answering with description logic ontologies Meghyn Bienvenu ( CNRS & Universit de

query answering with description logic ontologies Meghyn Bienvenu ( CNRS & Universit de Montpellier ) Magdalena Ortiz ( Vienna University of Technology ) ontology-mediated query answering (omqa) 2/29 ??? data ontology user query

667 views • 64 slides
ontology-mediated query answering Harnessing knowledge to get more from data Meghyn Bienvenu (

ontology-mediated query answering Harnessing knowledge to get more from data Meghyn Bienvenu (

ontology-mediated query answering Harnessing knowledge to get more from data Meghyn Bienvenu ( LaBRI - CNRS & University of Bordeaux ) ontology-mediated query answering (omqa) domain knowledge Why use an ontology? extend the vocabulary

1.15k views • 99 slides
Query answering is the most fundamental problem in DB Query Q Result Q ( D ) Database D SELECT

Query answering is the most fundamental problem in DB Query Q Result Q ( D ) Database D SELECT

Query answering is the most fundamental problem in DB Query Q Result Q ( D ) Database D SELECT R.A, S.C R A B FROM R, S Q(D) A C u x WHERE R.B = S.B u y v x u z S B C v y x y v z x z Three crucial problems for query

386 views • 23 slides
Query Answering and Rewriting in Ontology-based Data Access Riccardo Rosati DIAG, Sapienza

Query Answering and Rewriting in Ontology-based Data Access Riccardo Rosati DIAG, Sapienza

Query Answering and Rewriting in Ontology-based Data Access Riccardo Rosati DIAG, Sapienza Universit` a di Roma KR 2014, Vienna, July 20, 2014 Outline Ontology-based Query Answering (OBQA) problem, languages, example, some complexity

1.2k views • 118 slides
The Sparse Vector Technique and online query answering

The Sparse Vector Technique and online query answering

The Sparse Vector Technique and online query answering CompSci 590.03 Instructor: Ashwin Machanavajjhala Lecture 11: 590.03 Fall 16 1 Offline QA

477 views • 27 slides
Answering Queries from Statistics and Probabilistic Views Nilesh Dalvi and Dan Suciu, University

Answering Queries from Statistics and Probabilistic Views Nilesh Dalvi and Dan Suciu, University

Answering Queries from Statistics and Probabilistic Views Nilesh Dalvi and Dan Suciu, University of W ashington. Background Query answering using Views problem: fi nd answers to a query q over a database schema R using a set of

525 views • 25 slides
Satisfjability Checking and Conjunctive Query Answering in Description Logics with Global and

Satisfjability Checking and Conjunctive Query Answering in Description Logics with Global and

Satisfjability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints Franz Baader Bartosz Bednarczyk Sebastian Rudolph Technische Universitt Dresden and University of Wrocaw

612 views • 21 slides
Answering Queries Using Answering Queries Using Materialized view: result set is stored

Answering Queries Using Answering Queries Using Materialized view: result set is stored

2/10/2009 Answering Queries Using Views What is a view? A stored query that can be queried like a relation A stored query that can be queried like a relation Answering Queries Using Answering Queries Using Materialized view: result

62 views • 4 slides
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality

Satisfiability and Query Answering in Description Logics with Global and Local Cardinality

Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints Bartosz Bednarczyk Franz Baader, , Sebastian Rudolph TU Dresden & University of Wrocaw Running example: Greek mythology ALCQ knowledge

914 views • 73 slides
Di ff erentially-Private Batch Query Answering Exploiting the Workload vs. Exploiting the Data

Di ff erentially-Private Batch Query Answering Exploiting the Workload vs. Exploiting the Data

Di ff erentially-Private Batch Query Answering Exploiting the Workload vs. Exploiting the Data Gerome Miklau University of Massachusetts, Amherst DIMACS Workshop on Recent Work on Di ff erential Privacy across Computer Science October 2012

1.39k views • 136 slides
From Classical to Consistent Query Answering under Existential Rules Andreas Pieris Institute of

From Classical to Consistent Query Answering under Existential Rules Andreas Pieris Institute of

From Classical to Consistent Query Answering under Existential Rules Andreas Pieris Institute of Information Systems, Vienna University of Technology, Austria Joint work with Thomas Lukasiewicz, Maria Vanina Martinez and Gerardo I. Simari

1.01k views • 44 slides
query answering with description logic ontologies Meghyn Bienvenu ( CNRS & Universit de

query answering with description logic ontologies Meghyn Bienvenu ( CNRS & Universit de

query answering with description logic ontologies Meghyn Bienvenu ( CNRS & Universit de Montpellier ) Magdalena Ortiz ( Vienna University of Technology ) queries with negation or other forms of recursion t 2 ( t 1 t 2 vars or individuals)

621 views • 12 slides
query answering with description logic ontologies Meghyn Bienvenu ( CNRS & Universit de

query answering with description logic ontologies Meghyn Bienvenu ( CNRS & Universit de

query answering with description logic ontologies Meghyn Bienvenu ( CNRS & Universit de Montpellier ) Magdalena Ortiz ( Vienna University of Technology ) conjunctive queries y P 1 t 1 P n t n where every variable in some t i appears in

974 views • 74 slides
Query Answering with Transitive and Linear-Ordered Data Antoine Amar illi 1 , M i c h a el B

Query Answering with Transitive and Linear-Ordered Data Antoine Amar illi 1 , M i c h a el B

Query Answering with Transitive and Linear-Ordered Data Antoine Amar illi 1 , M i c h a el B enedikt 2 , P ierre B o u rhis 3 a nd Micha el Va nden B oom 2 1 LTCI , CNRS , T el e c om Pa ris T e c h, U ni v ersit e Pa ris- Sac l ay 2 U ni v

281 views • 25 slides
Ontology-Mediated Query Answering over Temporal Ontologies Alessandro Artale Faculty of Computer

Ontology-Mediated Query Answering over Temporal Ontologies Alessandro Artale Faculty of Computer

Ontology-Mediated Query Answering over Temporal Ontologies Alessandro Artale Faculty of Computer Science, Free University of Bozen-Bolzano, Italy Joint work with R. Kontchakov, A. Kovtunova, V. Ryzhikov, F. Wolter, M. Zakharyaschev Hybrid

1.05k views • 79 slides
Query Answering in Data Integration Piotr Wieczorek Institute of Computer Science University of

Query Answering in Data Integration Piotr Wieczorek Institute of Computer Science University of

Query Answering in Data Integration Piotr Wieczorek Institute of Computer Science University of Wrocaw Dagstuhl, November 2010 Outline Quick reminder 1 Computing certain answers under OWA/CWA 2 Inverse rules algorithm 3 MiniCon

617 views • 48 slides
query answering with description logic ontologies Meghyn Bienvenu (CNRS & Universit de

query answering with description logic ontologies Meghyn Bienvenu (CNRS & Universit de

query answering with description logic ontologies Meghyn Bienvenu (CNRS & Universit de Montpellier) Magdalena Ortiz (Vienna University of Technology) navigational queries limitations of (u)cqs Some very natural queries are not expressible

810 views • 50 slides
Commonsense Properties from Query Logs and Question Answering Forums Julien Romero, Simon

Commonsense Properties from Query Logs and Question Answering Forums Julien Romero, Simon

Commonsense Properties from Query Logs and Question Answering Forums Julien Romero, Simon Razniewski, Koninika Pal, Jeff Z. Pan, Archit Sakhadeo, Gerhard Weikum Une cole de lIMT Goal Mine Commonsense Knowledge (CSK) about : Object

386 views • 23 slides
TEDI: Efficient Shortest Path Query Answering on Graphs Fang Wei University of Freiburg SIGMOD

TEDI: Efficient Shortest Path Query Answering on Graphs Fang Wei University of Freiburg SIGMOD

TEDI: Efficient Shortest Path Query Answering on Graphs Fang Wei University of Freiburg SIGMOD 2010 Applications Shortest Path Queries A shortest path query on a(n) (undirected) graph finds the shortest path for the given source and target

678 views • 33 slides
Reasoning on Data: The Ontology-Mediated Query Answering Problem Marie-Laure Mugnier University

Reasoning on Data: The Ontology-Mediated Query Answering Problem Marie-Laure Mugnier University

Reasoning on Data: The Ontology-Mediated Query Answering Problem Marie-Laure Mugnier University of Montpellier UNILOG School Vichy 2018 K NOWLEDGE R EPRESENTATION AND R EASONING (KR) A field historically at the heart of Artificial

1.31k views • 102 slides
Detecting Mobility Patterns using Spatial Query Answering over Streams Thomas Eiter 1 Patrik

Detecting Mobility Patterns using Spatial Query Answering over Streams Thomas Eiter 1 Patrik

Detecting Mobility Patterns using Spatial Query Answering over Streams Thomas Eiter 1 Patrik Schneider 1 , 2 Josiane Xavier Parreira 2 (1) Institute of Information Systems, Vienna University of Technology, Austria (2) Siemens CT, Austria SR

363 views • 33 slides
Probabilistic Query Evaluation: Towards Tractable Combined Complexity Mikal Monet 1 , 2 ,

Probabilistic Query Evaluation: Towards Tractable Combined Complexity Mikal Monet 1 , 2 ,

Probabilistic Query Evaluation: Towards Tractable Combined Complexity Mikal Monet 1 , 2 , supervised by Pierre Senellart 2 , 3 and Antoine Amarilli 1 May 31th, 2017 1 LTCI, Tlcom ParisTech, Universit Paris-Saclay; Paris, France 2 Inria

836 views • 58 slides

More recommend