Meaning-Oriented Question-Answering with Ontological Semantics An AQUAINT Project from ILIT.
Ontological Conjunctive Query Answering over Large Knowledge Bases
-
Upload
university-of-new-south-wales -
Category
Documents
-
view
563 -
download
0
Transcript of Ontological Conjunctive Query Answering over Large Knowledge Bases
![Page 1: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/1.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Ontological Conjunctive Query Answering overLarge Knowledge Bases
Bruno Paiva Lima da Silva, Jean-Francois Baget, Madalina Croitoru
{bplsilva,baget,croitoru}@lirmm.fr
Universite Montpellier 2
April 16, 2011
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 1 / 26
![Page 2: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/2.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
1 Research problem
2 Encodings & Translations
3 Current work
4 Conclusion
5 Questions
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 2 / 26
![Page 3: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/3.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Table of Contents
1 Research problem
2 Encodings & Translations
3 Current work
4 Conclusion
5 Questions
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 3 / 26
![Page 4: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/4.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Research problem
(1) Ontological conjunctive query answering
Factual knowledge Ontology Query
(Very often a DB) (Universal knowledge) (Conjunctive query)
(2) Logical form
Logical fact F Ontology O Query Q(Conjunction of atoms) (∀∃-rules) (Conjunctive query)
Decision problem
(1) “Is there an answer to the query in the knowledge base”?
(2) {F ,O} |= Q ?
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 4 / 26
![Page 5: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/5.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Research problem
(1) Ontological conjunctive query answering
Factual knowledge Ontology Query
(Very often a DB) (Universal knowledge) (Conjunctive query)
(2) Logical form
Logical fact F Ontology O Query Q(Conjunction of atoms) (∀∃-rules) (Conjunctive query)
Knowledge base
Decision problem
(1) “Is there an answer to the query in the knowledge base”?
(2) {F ,O} |= Q ?
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 4 / 26
![Page 6: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/6.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Research problem
(1) Ontological conjunctive query answering
Factual knowledge
Ontology Query
(Very often a DB)
(Universal knowledge) (Conjunctive query)
(2) Logical form
Logical fact F Ontology O Query Q(Conjunction of atoms) (∀∃-rules) (Conjunctive query)
Knowledge base
Decision problem
(1) “Is there an answer to the query in the knowledge base”?
(2) {F ,O} |= Q ?
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 4 / 26
![Page 7: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/7.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Research problem
(1) Ontological conjunctive query answering
Factual knowledge Ontology
Query
(Very often a DB) (Universal knowledge)
(Conjunctive query)
(2) Logical form
Logical fact F Ontology O Query Q(Conjunction of atoms) (∀∃-rules) (Conjunctive query)
Knowledge base
Decision problem
(1) “Is there an answer to the query in the knowledge base”?
(2) {F ,O} |= Q ?
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 4 / 26
![Page 8: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/8.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Research problem
(1) Ontological conjunctive query answering
Factual knowledge Ontology Query
(Very often a DB) (Universal knowledge) (Conjunctive query)
(2) Logical form
Logical fact F Ontology O Query Q(Conjunction of atoms) (∀∃-rules) (Conjunctive query)
Knowledge base
Decision problem
(1) “Is there an answer to the query in the knowledge base”?
(2) {F ,O} |= Q ?
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 4 / 26
![Page 9: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/9.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Research problem
(1) Ontological conjunctive query answering
Factual knowledge Ontology Query
(Very often a DB) (Universal knowledge) (Conjunctive query)
(2) Logical form
Logical fact F Ontology O Query Q(Conjunction of atoms) (∀∃-rules) (Conjunctive query)
Knowledge base
Decision problem
(1) “Is there an answer to the query in the knowledge base”?
(2) {F ,O} |= Q ?
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 4 / 26
![Page 10: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/10.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Research problem
(1) Ontological conjunctive query answering
Factual knowledge Ontology Query
(Very often a DB) (Universal knowledge) (Conjunctive query)
(2) Logical form
Logical fact F Ontology O Query Q(Conjunction of atoms) (∀∃-rules) (Conjunctive query)
Knowledge base
Decision problem
(1) “Is there an answer to the query in the knowledge base”?
(2) {F ,O} |= Q ?
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 4 / 26
![Page 11: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/11.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Research problem
(1) Ontological conjunctive query answering
Factual knowledge Ontology Query
(Very often a DB) (Universal knowledge) (Conjunctive query)
(2) Logical form
Logical fact F Ontology O Query Q(Conjunction of atoms) (∀∃-rules) (Conjunctive query)
Knowledge base
Decision problem
(1) “Is there an answer to the query in the knowledge base”?
(2) {F ,O} |= Q ?
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 4 / 26
![Page 12: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/12.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Research problem
F |= Q... iff there is a substitution S associating every term of the query to a term inthe facts.
Problem: Finding substitutions(Also known as ENTAILMENT)
{F ,O} |= Q... iff after being enriched by O, there is a substitution S associating everyterm of the query to a term in the facts.
Problem: Applying rules, Finding substitutions(Also known as RULE-ENTAILMENT)
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 5 / 26
![Page 13: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/13.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Research problem
F |= Q... iff there is a substitution S associating every term of the query to a term inthe facts.
Problem: Finding substitutions(Also known as ENTAILMENT)
{F ,O} |= Q... iff after being enriched by O, there is a substitution S associating everyterm of the query to a term in the facts.
Problem: Applying rules, Finding substitutions(Also known as RULE-ENTAILMENT)
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 5 / 26
![Page 14: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/14.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Rules
A rule contains two different parts: hypothesis and conclusion.
Example
“If x and y are co-workers, and y and z are co-workers, then x and z are also co-workers”
∀x , y , z co-worker(x , y) ∧ co-worker(y , z) → co-worker(x , z)
Rules semantics are that anytime the hypothesis of a rule is found in the
facts, its conclusion is then added to the KB as new information.
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 6 / 26
![Page 15: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/15.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Rules
A rule contains two different parts: hypothesis and conclusion.
Example
“If x and y are co-workers, and y and z are co-workers, then x and z are also co-workers”
∀x , y , z co-worker(x , y) ∧ co-worker(y , z) → co-worker(x , z)
Rules semantics are that anytime the hypothesis of a rule is found in the
facts, its conclusion is then added to the KB as new information.
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 6 / 26
![Page 16: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/16.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Finding subsitutions
Example
Facts: Rules:works-for(Mark, LIRMM) ∧ ∀x, y, z works-for(x, z) ∧ works-for(y, z) → co-worker(x, y)
works-for(Travis, LIRMM) ∧ ∀x, y plays-for(x, y) ∧ is-a(y, SquashClub) → plays(x, Squash)
works-for(Tom, LIRMM) ∧ ∀x, y, z plays(x, z) ∧ plays(y, z) → same-sport(x, y)
plays-for(Mark,Team A) ∧plays-for(Travis,Team B) ∧plays-for(Tom,Team C) ∧is-a(Team A, SquashClub) ∧is-a(Team B,RugbyClub) ∧is-a(Team C , SquashClub) ∧
Q1: ∃x plays-for(x ,Team B)
Answers: {(x,Travis)}
Q2: ∃x , y co-worker(x , y) ∧ same-sport(x , y)
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 7 / 26
![Page 17: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/17.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Finding subsitutions
Example
Facts: Rules:works-for(Mark, LIRMM) ∧ ∀x, y, z works-for(x, z) ∧ works-for(y, z) → co-worker(x, y)
works-for(Travis, LIRMM) ∧ ∀x, y plays-for(x, y) ∧ is-a(y, SquashClub) → plays(x, Squash)
works-for(Tom, LIRMM) ∧ ∀x, y, z plays(x, z) ∧ plays(y, z) → same-sport(x, y)
plays-for(Mark,Team A) ∧plays-for(Travis,Team B) ∧plays-for(Tom,Team C) ∧is-a(Team A, SquashClub) ∧is-a(Team B,RugbyClub) ∧is-a(Team C , SquashClub) ∧
Q1: ∃x plays-for(x ,Team B)Answers: {(x,Travis)}
Q2: ∃x , y co-worker(x , y) ∧ same-sport(x , y)
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 7 / 26
![Page 18: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/18.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Queries and rule application
Q2: ∃x , y co-worker(x , y) ∧ same-sport(x , y)
R1 : ∀x , y , z works-for(x , z) ∧ works-for(y , z) → co-worker(x , y)R2 : ∀x , y plays-for(x , y) ∧ is-a(y , SquashClub) → plays(x ,Squash)R3 : ∀x , y , z plays(x , z) ∧ plays(y , z) → same-sport(x , y)
Factworks-for(Mark, LIRMM)
co-worker(Mark,Travis)
works-for(Travis, LIRMM)
co-worker(Mark,Tom)
works-for(Tom, LIRMM)
co-worker(Travis,Mark)
plays-for(Mark,Team A)
co-worker(Travis,Tom)
plays-for(Travis,Team B)
co-worker(Tom,Mark)
plays-for(Tom,Team C)
co-worker(Tom,Travis)
is-a(Team A, SquashClub)
plays(Mark, Squash)
is-a(Team B,RugbyClub)
plays(Tom,Squash)
is-a(Team C , SquashClub)
same-sport(Mark,Tom)same-sport(Tom,Mark)
Answers: {(x,Mark),(y,Tom)} & {(x,Tom),(y,Mark)}
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 8 / 26
![Page 19: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/19.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Queries and rule application
Q2: ∃x , y co-worker(x , y) ∧ same-sport(x , y)
R1 : ∀x , y , z works-for(x , z) ∧ works-for(y , z) → co-worker(x , y)R2 : ∀x , y plays-for(x , y) ∧ is-a(y , SquashClub) → plays(x ,Squash)R3 : ∀x , y , z plays(x , z) ∧ plays(y , z) → same-sport(x , y)
Factworks-for(Mark, LIRMM) co-worker(Mark,Travis)works-for(Travis, LIRMM) co-worker(Mark,Tom)works-for(Tom, LIRMM) co-worker(Travis,Mark)
plays-for(Mark,Team A) co-worker(Travis,Tom)plays-for(Travis,Team B) co-worker(Tom,Mark)plays-for(Tom,Team C) co-worker(Tom,Travis)
is-a(Team A, SquashClub)
plays(Mark, Squash)
is-a(Team B,RugbyClub)
plays(Tom,Squash)
is-a(Team C , SquashClub)
same-sport(Mark,Tom)same-sport(Tom,Mark)
Answers: {(x,Mark),(y,Tom)} & {(x,Tom),(y,Mark)}
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 8 / 26
![Page 20: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/20.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Queries and rule application
Q2: ∃x , y co-worker(x , y) ∧ same-sport(x , y)
R1 : ∀x , y , z works-for(x , z) ∧ works-for(y , z) → co-worker(x , y)R2 : ∀x , y plays-for(x , y) ∧ is-a(y , SquashClub) → plays(x ,Squash)R3 : ∀x , y , z plays(x , z) ∧ plays(y , z) → same-sport(x , y)
Factworks-for(Mark, LIRMM) co-worker(Mark,Travis)works-for(Travis, LIRMM) co-worker(Mark,Tom)works-for(Tom, LIRMM) co-worker(Travis,Mark)
plays-for(Mark,Team A) co-worker(Travis,Tom)plays-for(Travis,Team B) co-worker(Tom,Mark)plays-for(Tom,Team C) co-worker(Tom,Travis)
is-a(Team A, SquashClub) plays(Mark, Squash)is-a(Team B,RugbyClub) plays(Tom,Squash)is-a(Team C , SquashClub)
same-sport(Mark,Tom)same-sport(Tom,Mark)
Answers: {(x,Mark),(y,Tom)} & {(x,Tom),(y,Mark)}
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 8 / 26
![Page 21: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/21.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Queries and rule application
Q2: ∃x , y co-worker(x , y) ∧ same-sport(x , y)
R1 : ∀x , y , z works-for(x , z) ∧ works-for(y , z) → co-worker(x , y)R2 : ∀x , y plays-for(x , y) ∧ is-a(y , SquashClub) → plays(x ,Squash)R3 : ∀x , y , z plays(x , z) ∧ plays(y , z) → same-sport(x , y)
Factworks-for(Mark, LIRMM) co-worker(Mark,Travis)works-for(Travis, LIRMM) co-worker(Mark,Tom)works-for(Tom, LIRMM) co-worker(Travis,Mark)
plays-for(Mark,Team A) co-worker(Travis,Tom)plays-for(Travis,Team B) co-worker(Tom,Mark)plays-for(Tom,Team C) co-worker(Tom,Travis)
is-a(Team A, SquashClub) plays(Mark, Squash)is-a(Team B,RugbyClub) plays(Tom,Squash)is-a(Team C , SquashClub) same-sport(Mark,Tom)
same-sport(Tom,Mark)
Answers: {(x,Mark),(y,Tom)} & {(x,Tom),(y,Mark)}
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 8 / 26
![Page 22: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/22.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Queries and rule application
Q2: ∃x , y co-worker(x , y) ∧ same-sport(x , y)
R1 : ∀x , y , z works-for(x , z) ∧ works-for(y , z) → co-worker(x , y)R2 : ∀x , y plays-for(x , y) ∧ is-a(y , SquashClub) → plays(x ,Squash)R3 : ∀x , y , z plays(x , z) ∧ plays(y , z) → same-sport(x , y)
Factworks-for(Mark, LIRMM) co-worker(Mark,Travis)works-for(Travis, LIRMM) co-worker(Mark,Tom)works-for(Tom, LIRMM) co-worker(Travis,Mark)
plays-for(Mark,Team A) co-worker(Travis,Tom)plays-for(Travis,Team B) co-worker(Tom,Mark)plays-for(Tom,Team C) co-worker(Tom,Travis)
is-a(Team A, SquashClub) plays(Mark, Squash)is-a(Team B,RugbyClub) plays(Tom,Squash)is-a(Team C , SquashClub) same-sport(Mark,Tom)
same-sport(Tom,Mark)
Answers: {(x,Mark),(y,Tom)} & {(x,Tom),(y,Mark)}
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 8 / 26
![Page 23: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/23.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Goals & Challenges
We focus our work on finding substitutions between terms from agiven query (constants or variables) and the terms from our facts.
In order to do it, we use a BackTrack algorithm.
Different methods for KR and manipulation by dedicated reasoningsystems have been successfully studied in the past.
Large knowledge bases: New challenge
F can be very large (see the Semantic Web)
Large → Does not fit in main memory.
“Can we have efficiently an answer to Q, when F is very large?”
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 9 / 26
![Page 24: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/24.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Goals & Challenges
We focus our work on finding substitutions between terms from agiven query (constants or variables) and the terms from our facts.
In order to do it, we use a BackTrack algorithm.
Different methods for KR and manipulation by dedicated reasoningsystems have been successfully studied in the past.
Large knowledge bases: New challenge
F can be very large (see the Semantic Web)
Large → Does not fit in main memory.
“Can we have efficiently an answer to Q, when F is very large?”
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 9 / 26
![Page 25: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/25.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Goals & Challenges
We focus our work on finding substitutions between terms from agiven query (constants or variables) and the terms from our facts.
In order to do it, we use a BackTrack algorithm.
Different methods for KR and manipulation by dedicated reasoningsystems have been successfully studied in the past.
Large knowledge bases: New challenge
F can be very large (see the Semantic Web)
Large → Does not fit in main memory.
“Can we have efficiently an answer to Q, when F is very large?”
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 9 / 26
![Page 26: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/26.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Table of Contents
1 Research problem
2 Encodings & Translations
3 Current work
4 Conclusion
5 Questions
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 10 / 26
![Page 27: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/27.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Encoding: Fact → Set
Encoding the fact from our example:
{ works-for(Mark, LIRMM), works-for(Travis, LIRMM),works-for(Tom, LIRMM), plays-for(Mark,Team A), plays-for(Travis,Team B),
plays-for(Tom,Team C), is-a(Team A,SquashClub),is-a(Team B,RugbyClub), is-a(Team C , SquashClub) }
Encoded yes, however totally unstructured.
The complexity of every atomic operation depend on the sizeof the knowledge base in atoms.
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 11 / 26
![Page 28: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/28.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Encoding: Fact → Set
Encoding the fact from our example:
{ works-for(Mark, LIRMM), works-for(Travis, LIRMM),works-for(Tom, LIRMM), plays-for(Mark,Team A), plays-for(Travis,Team B),
plays-for(Tom,Team C), is-a(Team A, SquashClub),is-a(Team B,RugbyClub), is-a(Team C , SquashClub) }
Encoded yes, however totally unstructured.
The complexity of every atomic operation depend on the sizeof the knowledge base in atoms.
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 11 / 26
![Page 29: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/29.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Encoding: Fact → Tables
Structuring our fact by the atoms predicates, we obtain tables:
works-for1 2
Mark LIRMMTravis LIRMMTom LIRMM
plays-for1 2
Mark Team ATravis Team BTom Team C
is-a1 2
Team A SquashClubTeam B RugbyClubTeam C SquashClub
This encoding can be directly stored in a Relational Database.
Querying is then available either with BackTrack, either witha SQL interface.
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 12 / 26
![Page 30: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/30.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Encoding: Fact → Tables
Structuring our fact by the atoms predicates, we obtain tables:
works-for1 2
Mark LIRMMTravis LIRMMTom LIRMM
plays-for1 2
Mark Team ATravis Team BTom Team C
is-a1 2
Team A SquashClubTeam B RugbyClubTeam C SquashClub
This encoding can be directly stored in a Relational Database.
Querying is then available either with BackTrack, either witha SQL interface.
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 12 / 26
![Page 31: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/31.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Encoding: Fact → Graph
Structuring the fact, this time by its terms, we obtain a graph:
LIRMM
Mark
Tom
Travis
Team A
Team B
Team C
SquashClub
RugbyClub
works-for
works-for
works-for
plays-for
plays-for
plays-for
is-a
is-a
is-a
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 13 / 26
![Page 32: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/32.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Encoding: Fact → Graph
Structuring the fact, this time by its terms, we obtain a graph:
LIRMM
Mark
Tom
Travis
Team A
Team B
Team C
SquashClub
RugbyClub
works-for
works-for
works-for
plays-for
plays-for
plays-for
is-a
is-a
is-a
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 13 / 26
![Page 33: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/33.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Analysis
Encoding a fact without a structure is totally inappropriate forour problem.
Relational Databases handle very well knowledge located insecondary memory, however:
Atomic operations of the BackTrack use SQL operations whichcomplexity also depend on the size of the tables.Using SQL instead may also not be the best solution: Joinsbecome very costly as the number of predicates increases.
Running the BackTrack algorithm with a graph works verywell when the graph is stored in main memory. Unfortunately,it does not scale very well.
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 14 / 26
![Page 34: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/34.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Analysis
Encoding a fact without a structure is totally inappropriate forour problem.
Relational Databases handle very well knowledge located insecondary memory, however:
Atomic operations of the BackTrack use SQL operations whichcomplexity also depend on the size of the tables.Using SQL instead may also not be the best solution: Joinsbecome very costly as the number of predicates increases.
Running the BackTrack algorithm with a graph works verywell when the graph is stored in main memory. Unfortunately,it does not scale very well.
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 14 / 26
![Page 35: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/35.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Analysis
Encoding a fact without a structure is totally inappropriate forour problem.
Relational Databases handle very well knowledge located insecondary memory, however:
Atomic operations of the BackTrack use SQL operations whichcomplexity also depend on the size of the tables.Using SQL instead may also not be the best solution: Joinsbecome very costly as the number of predicates increases.
Running the BackTrack algorithm with a graph works verywell when the graph is stored in main memory. Unfortunately,it does not scale very well.
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 14 / 26
![Page 36: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/36.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Table of Contents
1 Research problem
2 Encodings & Translations
3 Current work
4 Conclusion
5 Questions
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 15 / 26
![Page 37: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/37.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Current challenges
In order to be able to perform reasoning over very large knowledgebases, we started searching for storage systems:
that have the ability to support very large knowledge basesstored in secondary memory.
efficient on homomorphism elementar operations, such as:
computing & retrieving the neighbourhood of a term and to beable to iterate over this structure.checking whether there is a given relation between two givennodes or not.
in which the complexity (time) of the insertion of a new atomdoes not depend on the size of the KB.
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 16 / 26
![Page 38: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/38.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Current challenges
In order to be able to perform reasoning over very large knowledgebases, we started searching for storage systems:
that have the ability to support very large knowledge basesstored in secondary memory.
efficient on homomorphism elementar operations, such as:
computing & retrieving the neighbourhood of a term and to beable to iterate over this structure.checking whether there is a given relation between two givennodes or not.
in which the complexity (time) of the insertion of a new atomdoes not depend on the size of the KB.
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 16 / 26
![Page 39: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/39.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Current challenges
In order to be able to perform reasoning over very large knowledgebases, we started searching for storage systems:
that have the ability to support very large knowledge basesstored in secondary memory.
efficient on homomorphism elementar operations, such as:
computing & retrieving the neighbourhood of a term and to beable to iterate over this structure.checking whether there is a given relation between two givennodes or not.
in which the complexity (time) of the insertion of a new atomdoes not depend on the size of the KB.
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 16 / 26
![Page 40: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/40.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Current challenges
In order to be able to perform reasoning over very large knowledgebases, we started searching for storage systems:
that have the ability to support very large knowledge basesstored in secondary memory.
efficient on homomorphism elementar operations, such as:
computing & retrieving the neighbourhood of a term and to beable to iterate over this structure.checking whether there is a given relation between two givennodes or not.
in which the complexity (time) of the insertion of a new atomdoes not depend on the size of the KB.
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 16 / 26
![Page 41: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/41.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Alaska project
Alaska Project:
Abstract Logic-based Architecture for Storage systems &Knowledge bases Analysis
Implementation of classes and interfaces that ensure that allthe storage systems plugged in will answer to the samemethods using a common type of data.
Written in JAVA: Very easy to plug several pieces of code in,however, with a significant loss in speed and efficiency.
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 17 / 26
![Page 42: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/42.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Alaska: Architecture
KnowledgeBase
IFact
< interface >
IAtom
< interface >
ITerm
< interface >
Common Fact
Graph Impls. RDB Impls. RDF Impls. Predicate Term
Atom
Figure: Class diagram for the architecture.
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 18 / 26
![Page 43: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/43.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Application #1
Comparing storage systems between themselves:
F |= Q
Abstract Architecture
Relational DB Graph DB
Test resultsName KB size Querying timeRDB ... Mb ... ms
GDB ... Mb ... ms
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 19 / 26
![Page 44: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/44.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Application #1
Comparing storage systems between themselves:
F |= Q
Abstract Architecture
Relational DB Graph DB
Test resultsName KB size Querying timeRDB ... Mb ... ms
GDB ... Mb ... ms
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 19 / 26
![Page 45: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/45.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Application #1
Comparing storage systems between themselves:
F |= Q
Abstract Architecture
Relational DB Graph DB
Test resultsName KB size Querying timeRDB ... Mb ... ms
GDB ... Mb ... ms
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 19 / 26
![Page 46: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/46.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Application #1
Comparing storage systems between themselves:
F |= Q
Abstract Architecture
Relational DB Graph DB
Test resultsName KB size Querying timeRDB ... Mb ... ms
GDB ... Mb ... ms
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 19 / 26
![Page 47: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/47.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Application #1
Comparing storage systems between themselves:
F |= Q
Abstract Architecture
Relational DB Graph DB
Test resultsName KB size Querying timeRDB ... Mb ... ms
GDB ... Mb ... ms
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 19 / 26
![Page 48: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/48.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Application #1
Comparing storage systems between themselves:
F |= Q
Abstract Architecture
Relational DB Graph DB
Test resultsName KB size Querying timeRDB ... Mb ... msGDB ... Mb ... ms
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 19 / 26
![Page 49: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/49.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Application #2
Comparing differrent querying interfaces for a same storage system:
F |= Q
AbstractArchitecture
Graph DBRelational DB
Test results− Query size Querying timeBT ... terms ... ms
SQL ... terms ... ms
Test results− Query size Querying timeBT ... terms ... ms
Graph ... terms ... ms
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 20 / 26
![Page 50: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/50.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Application #2
Comparing differrent querying interfaces for a same storage system:
F |= Q
AbstractArchitecture
Graph DBRelational DB
Test results− Query size Querying timeBT ... terms ... ms
SQL ... terms ... ms
Test results− Query size Querying timeBT ... terms ... ms
Graph ... terms ... ms
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 20 / 26
![Page 51: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/51.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Application #2
Comparing differrent querying interfaces for a same storage system:
F |= Q
AbstractArchitecture
Graph DBRelational DB
Test results− Query size Querying timeBT ... terms ... ms
SQL ... terms ... ms
Test results− Query size Querying timeBT ... terms ... ms
Graph ... terms ... ms
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 20 / 26
![Page 52: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/52.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Application #2
Comparing differrent querying interfaces for a same storage system:
F |= Q
AbstractArchitecture
Q → SQL
Graph DBRelational DB
Test results− Query size Querying timeBT ... terms ... msSQL ... terms ... ms
Test results− Query size Querying timeBT ... terms ... ms
Graph ... terms ... ms
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 20 / 26
![Page 53: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/53.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Application #2
Comparing differrent querying interfaces for a same storage system:
F |= Q
AbstractArchitecture
Q → SQL Q → ...
Graph DBRelational DB
Test results− Query size Querying timeBT ... terms ... msSQL ... terms ... ms
Test results− Query size Querying timeBT ... terms ... ms
Graph ... terms ... ms
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 20 / 26
![Page 54: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/54.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Implementations
Implementations currently supported by the Alaska project.
Abstract Architecture
Relational Databases Graph Implementations
Next step: Which kind of data to use?Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 21 / 26
![Page 55: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/55.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Implementations
Implementations currently supported by the Alaska project.
Abstract Architecture
Relational Databases Graph Implementations
Next step: Which kind of data to use?Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 21 / 26
![Page 56: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/56.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Table of Contents
1 Research problem
2 Encodings & Translations
3 Current work
4 Conclusion
5 Questions
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 22 / 26
![Page 57: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/57.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Future work
As the execution performance also came into play in our researchproblem, our future work will consist in:
finding and plugging more pertinent storage systems into oursystem.
identifying any other problems that might have an influencewhen querying over large knowledge bases.
running tests against several large knowledge bases availablethroughout the web.
identifying the storage methods that answer best our problem,and where improvements can be made.
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 23 / 26
![Page 58: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/58.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Then after...
We will also consider working on:
implementing some kind of knowledge generator that wouldgenerate unbiased facts, which we could test against real data.
optimizing our BackTrack algorithm in order to enhance theperformance of our system.
perhaps implementing a rule application system in order totackle the RULE-ENTAILMENT problem.
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 24 / 26
![Page 59: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/59.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Table of Contents
1 Research problem
2 Encodings & Translations
3 Current work
4 Conclusion
5 Questions
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 25 / 26
![Page 60: Ontological Conjunctive Query Answering over Large Knowledge Bases](https://reader033.fdocuments.us/reader033/viewer/2022052907/558fc3d61a28ab9c318b45a9/html5/thumbnails/60.jpg)
Research problem Encodings & Translations Current work Conclusion Questions
Questions
Thank you!
Questions & comments...
Ontological Conjunctive Query Answering over Large Knowledge Bases
PAIVA LIMA DA SILVA Bruno (Universite Montpellier 2) 26 / 26