From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry...
Transcript of From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry...
![Page 1: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/1.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann
From Horn-SRIQ to Datalog:
/151
A Data-Independent Transformation that Preserves Assertion Entailment
David Carral, Larry González, and Patrick Koopmann
Poster: KRR5901
![Page 2: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/2.jpg)
Introduction
![Page 3: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/3.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /153
The DL Horn-SRIQ: SyntaxC1 ⊓ … ⊓ Cn ⊑ D → EnglishSpeaker ⊓ FrenchSpeaker ⊑ Bilingual,
Vehicle ⊑ Car, Vertebrate ⊓ Invertebrate ⊑ ⊥∃R . C ⊑ D → ∃Attends . Course ⊑ StudentC ⊑ ∃R . D → Director ⊑ ∃Directs . Movie
C ⊑ ≤ 1R . D → PhDStudent ⊑ ≤ 1HasThesisSupervisor . FacultyR1 ∘ … ∘ Rn ⊑ S → HasAncestor ∘ HasAncestor ⊑ HasAncestor, HasMother ⊑ HasParent,
HasParent ∘ HasSister ⊑ HasAuntR− ⊑ S → HasChild− ⊑ HasParent
C(a) → Person(david)R(a, b) → HasFriend(stan, kyle)
![Page 4: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/4.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /153
The DL Horn-SRIQ: SyntaxC1 ⊓ … ⊓ Cn ⊑ D → EnglishSpeaker ⊓ FrenchSpeaker ⊑ Bilingual,
Vehicle ⊑ Car, Vertebrate ⊓ Invertebrate ⊑ ⊥∃R . C ⊑ D → ∃Attends . Course ⊑ StudentC ⊑ ∃R . D → Director ⊑ ∃Directs . Movie
C ⊑ ≤ 1R . D → PhDStudent ⊑ ≤ 1HasThesisSupervisor . FacultyR1 ∘ … ∘ Rn ⊑ S → HasAncestor ∘ HasAncestor ⊑ HasAncestor, HasMother ⊑ HasParent,
HasParent ∘ HasSister ⊑ HasAuntR− ⊑ S → HasChild− ⊑ HasParent
C(a) → Person(david)R(a, b) → HasFriend(stan, kyle)
![Page 5: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/5.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /154
C1 ⊓ … ⊓ Cn ⊑ D ↦ ∀x . C1(x) ∧ … ∧ Cn(x) → D(x)∃R . C ⊑ D ↦ ∀x, y . R(x, y) ∧ C(y) → D(x)C ⊑ ∃R . D ↦ ∀x . C(x) → ∃y . R(x, y) ∧ D(y)
C ⊑ ≤ 1R . D ↦ ∀x, y, z . C(x) ∧ R(x, y) ∧ D(y) ∧ R(x, z) ∧ D(z) → y ≈ zR1 ∘ … ∘ Rn ⊑ S ↦ ∀x0, …, xn. R1(x0, x1) ∧ … ∧ Rn(xn− 1, xn) → R(x0, xn)
R− ⊑ S ↦ ∀x, y . R(x, y) → S(y, x)A(a) ↦ A(a)
R(a, b) ↦ R(a, b)
The DL Horn-SRIQ: Semantics
![Page 6: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/6.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /154
The DL Horn-SRIQ: Semantics
C1 ⊓ … ⊓ Cn ⊑ D ↦ C1(x) ∧ … ∧ Cn(x) → D(x)∃R . C ⊑ D ↦ R(x, y) ∧ C(y) → D(x)C ⊑ ∃R . D ↦ C(x) → ∃y . R(x, y) ∧ D(y)
C ⊑ ≤ 1R . D ↦ C(x) ∧ R(x, y) ∧ D(y) ∧ R(x, z) ∧ D(z) → y ≈ zR1 ∘ … ∘ Rn ⊑ S ↦ R1(x0, x1) ∧ … ∧ Rn(xn− 1, xn) → R(x0, xn)
R− ⊑ S ↦ R(x, y) → S(y, x)A(a) ↦ A(a)
R(a, b) ↦ R(a, b)
![Page 7: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/7.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /154
The DL Horn-SRIQ: SemanticsTerminological axioms
C1 ⊓ … ⊓ Cn ⊑ D ↦ C1(x) ∧ … ∧ Cn(x) → D(x)∃R . C ⊑ D ↦ R(x, y) ∧ C(y) → D(x)C ⊑ ∃R . D ↦ C(x) → ∃y . R(x, y) ∧ D(y)
C ⊑ ≤ 1R . D ↦ C(x) ∧ R(x, y) ∧ D(y) ∧ R(x, z) ∧ D(z) → y ≈ zR1 ∘ … ∘ Rn ⊑ S ↦ R1(x0, x1) ∧ … ∧ Rn(xn− 1, xn) → R(x0, xn)
R− ⊑ S ↦ R(x, y) → S(y, x)A(a) ↦ A(a)
R(a, b) ↦ R(a, b)
![Page 8: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/8.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /154
The DL Horn-SRIQ: SemanticsTerminological axioms
Assertions / Facts
C1 ⊓ … ⊓ Cn ⊑ D ↦ C1(x) ∧ … ∧ Cn(x) → D(x)∃R . C ⊑ D ↦ R(x, y) ∧ C(y) → D(x)C ⊑ ∃R . D ↦ C(x) → ∃y . R(x, y) ∧ D(y)
C ⊑ ≤ 1R . D ↦ C(x) ∧ R(x, y) ∧ D(y) ∧ R(x, z) ∧ D(z) → y ≈ zR1 ∘ … ∘ Rn ⊑ S ↦ R1(x0, x1) ∧ … ∧ Rn(xn− 1, xn) → R(x0, xn)
R− ⊑ S ↦ R(x, y) → S(y, x)A(a) ↦ A(a)
R(a, b) ↦ R(a, b)
![Page 9: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/9.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /154
The DL Horn-SRIQ: SemanticsTerminological axioms
Assertions / Facts- = ⟨/, ℱ⟩
Set of facts / ABox
Set of terminological axioms / TBoxOntology
C1 ⊓ … ⊓ Cn ⊑ D ↦ C1(x) ∧ … ∧ Cn(x) → D(x)∃R . C ⊑ D ↦ R(x, y) ∧ C(y) → D(x)C ⊑ ∃R . D ↦ C(x) → ∃y . R(x, y) ∧ D(y)
C ⊑ ≤ 1R . D ↦ C(x) ∧ R(x, y) ∧ D(y) ∧ R(x, z) ∧ D(z) → y ≈ zR1 ∘ … ∘ Rn ⊑ S ↦ R1(x0, x1) ∧ … ∧ Rn(xn− 1, xn) → R(x0, xn)
R− ⊑ S ↦ R(x, y) → S(y, x)A(a) ↦ A(a)
R(a, b) ↦ R(a, b)
![Page 10: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/10.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /155
DatalogFeatures(x, y) → Actor(y)
ActsIn(x, y) → Features(y, x)HasID(x, y) ∧ HasID(x, z) → y ≈ z
Directs(x, y) ∧ Features(y, z) → DirectsActor(x, z)
Reviews(x, y) ∧ IsAuthorOf(z, y) ∧ CollaboratesWith(x, y) → IllegalReviewer(x, y)P(x, y, z) ∧ S(y, w, v) ∧ V(y, v) → D(x)
![Page 11: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/11.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /155
DatalogFeatures(x, y) → Actor(y)
ActsIn(x, y) → Features(y, x)HasID(x, y) ∧ HasID(x, z) → y ≈ z
Directs(x, y) ∧ Features(y, z) → DirectsActor(x, z)
Reviews(x, y) ∧ IsAuthorOf(z, y) ∧ CollaboratesWith(x, y) → IllegalReviewer(x, y)P(x, y, z) ∧ S(y, w, v) ∧ V(y, v) → D(x)
Person(david)HasFriend(stan, kyle)
R(a, b, c)
![Page 12: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/12.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /155
DatalogFeatures(x, y) → Actor(y)
ActsIn(x, y) → Features(y, x)HasID(x, y) ∧ HasID(x, z) → y ≈ z
Directs(x, y) ∧ Features(y, z) → DirectsActor(x, z)
Reviews(x, y) ∧ IsAuthorOf(z, y) ∧ CollaboratesWith(x, y) → IllegalReviewer(x, y)P(x, y, z) ∧ S(y, w, v) ∧ V(y, v) → D(x)
Person(david)HasFriend(stan, kyle)
R(a, b, c)
Rules
![Page 13: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/13.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /155
DatalogFeatures(x, y) → Actor(y)
ActsIn(x, y) → Features(y, x)HasID(x, y) ∧ HasID(x, z) → y ≈ z
Directs(x, y) ∧ Features(y, z) → DirectsActor(x, z)
Reviews(x, y) ∧ IsAuthorOf(z, y) ∧ CollaboratesWith(x, y) → IllegalReviewer(x, y)P(x, y, z) ∧ S(y, w, v) ∧ V(y, v) → D(x)
Person(david)HasFriend(stan, kyle)
R(a, b, c)
Rules
Assertions / Facts
![Page 14: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/14.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /155
DatalogFeatures(x, y) → Actor(y)
ActsIn(x, y) → Features(y, x)HasID(x, y) ∧ HasID(x, z) → y ≈ z
Directs(x, y) ∧ Features(y, z) → DirectsActor(x, z)
Reviews(x, y) ∧ IsAuthorOf(z, y) ∧ CollaboratesWith(x, y) → IllegalReviewer(x, y)P(x, y, z) ∧ S(y, w, v) ∧ V(y, v) → D(x)
Person(david)HasFriend(stan, kyle)
R(a, b, c)
Rules
Assertions / Facts
2 = ⟨ℛ, ℱ⟩Set of facts
Set of rulesProgram
![Page 15: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/15.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /155
DatalogFeatures(x, y) → Actor(y)
ActsIn(x, y) → Features(y, x)HasID(x, y) ∧ HasID(x, z) → y ≈ z
Directs(x, y) ∧ Features(y, z) → DirectsActor(x, z)
Reviews(x, y) ∧ IsAuthorOf(z, y) ∧ CollaboratesWith(x, y) → IllegalReviewer(x, y)P(x, y, z) ∧ S(y, w, v) ∧ V(y, v) → D(x)
Remark: Existential quantification is not allowed in Datalog.
Person(david)HasFriend(stan, kyle)
R(a, b, c)
Rules
Assertions / Facts
2 = ⟨ℛ, ℱ⟩Set of facts
Set of rulesProgram
![Page 16: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/16.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /155
DatalogFeatures(x, y) → Actor(y)
ActsIn(x, y) → Features(y, x)HasID(x, y) ∧ HasID(x, z) → y ≈ z
Directs(x, y) ∧ Features(y, z) → DirectsActor(x, z)
Reviews(x, y) ∧ IsAuthorOf(z, y) ∧ CollaboratesWith(x, y) → IllegalReviewer(x, y)P(x, y, z) ∧ S(y, w, v) ∧ V(y, v) → D(x)
Remark: Existential quantification is not allowed in Datalog.
Person(david)HasFriend(stan, kyle)
R(a, b, c)
Rules
Assertions / Facts
2 = ⟨ℛ, ℱ⟩Set of facts
Set of rulesProgramDirector ⊑ ∃Directs . Movie
Director(x) → ∃y . Directs(x, y) ∧ Movie(y)
![Page 17: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/17.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /156
TBox
Solving Assertion Retrieval with Datalog Rewritings
ABox
![Page 18: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/18.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /156
DL Reasoner
TBox
Solving Assertion Retrieval with Datalog Rewritings
ABox
![Page 19: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/19.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /156
DL Reasoner
TBox
Solving Assertion Retrieval with Datalog Rewritings
ABox
Entailed ABox Assertions(i.e., facts over named individuals)
![Page 20: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/20.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /156
Datalog Rule Set
Data-Independent Translation
DL Reasoner
TBox
Solving Assertion Retrieval with Datalog Rewritings
ABox
Entailed ABox Assertions(i.e., facts over named individuals)
![Page 21: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/21.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann
Rule Engine
/156
Datalog Rule Set
Data-Independent Translation
DL Reasoner
TBox
Solving Assertion Retrieval with Datalog Rewritings
ABox
Entailed ABox Assertions(i.e., facts over named individuals)
![Page 22: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/22.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann
Rule Engine
/156
Datalog Rule Set
Data-Independent Translation
DL Reasoner
TBox
Solving Assertion Retrieval with Datalog Rewritings
ABox
Entailed ABox Assertions(i.e., facts over named individuals)
![Page 23: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/23.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann
Rule Engine
/156
Datalog Rule Set
Data-Independent Translation
DL Reasoner
TBox
Solving Assertion Retrieval with Datalog Rewritings
ABox
Entailed ABox Assertions(i.e., facts over named individuals)
Motivation* Research expressivity* Performance improvements
![Page 24: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/24.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann
Rule Engine
/156
Datalog Rule Set
Data-Independent Translation
DL Reasoner
TBox
Challenges* Correctness and complexity* Implement translation and
evaluate performance
Solving Assertion Retrieval with Datalog Rewritings
ABox
Entailed ABox Assertions(i.e., facts over named individuals)
Motivation* Research expressivity* Performance improvements
![Page 25: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/25.jpg)
Evaluation
![Page 26: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/26.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /158
Reasoning with Rewritings
Konclude
RDFox
TBox size: 485 Rewriting size: 549
TBox size: 304 Rewriting size: 367
![Page 27: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/27.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /159
Size of Rewritings
- MOWLCorpus: TBoxes with less 1000 axioms and containing role chain axioms
- 187 TBoxes - 121 computed rewritings w/o
OOM errors
![Page 28: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/28.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /159
Size of Rewritings
- MOWLCorpus: TBoxes with less 1000 axioms and containing role chain axioms
- 187 TBoxes - 121 computed rewritings w/o
OOM errors
![Page 29: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/29.jpg)
From Horn-ALCHIQ to Datalog
![Page 30: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/30.jpg)
From Horn-ALCHIQ to Datalog
R1 ∘ … ∘ Rn ⊑ S → R ⊑ S
![Page 31: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/31.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1511
Forest Model Property
C ⊑ ∃R . DC1 ⊓ … ⊓ Cn ⊑ D
∃R . C ⊑ DC ⊑ ≤ 1R . DR ⊑ S
![Page 32: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/32.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1511
Forest Model Property
C ⊑ ∃R . DC1 ⊓ … ⊓ Cn ⊑ D
∃R . C ⊑ DC ⊑ ≤ 1R . DR ⊑ S
![Page 33: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/33.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1511
Forest Model Property
C ⊑ ∃R . DC1 ⊓ … ⊓ Cn ⊑ D
∃R . C ⊑ DC ⊑ ≤ 1R . DR ⊑ S
![Page 34: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/34.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1511
Forest Model Property
C ⊑ ∃R . DC1 ⊓ … ⊓ Cn ⊑ D
∃R . C ⊑ DC ⊑ ≤ 1R . DR ⊑ S
![Page 35: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/35.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1511
Forest Model Property
C ⊑ ∃R . DC1 ⊓ … ⊓ Cn ⊑ D
∃R . C ⊑ DC ⊑ ≤ 1R . DR ⊑ S
![Page 36: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/36.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1511
Forest Model Property
C ⊑ ∃R . DC1 ⊓ … ⊓ Cn ⊑ D
∃R . C ⊑ DC ⊑ ≤ 1R . DR ⊑ S
![Page 37: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/37.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1511
Forest Model Property
C ⊑ ∃R . DC1 ⊓ … ⊓ Cn ⊑ D
∃R . C ⊑ DC ⊑ ≤ 1R . DR ⊑ S
![Page 38: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/38.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1511
Forest Model Property
C ⊑ ∃R . DC1 ⊓ … ⊓ Cn ⊑ D
∃R . C ⊑ DC ⊑ ≤ 1R . DR ⊑ S
![Page 39: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/39.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1511
Forest Model Property
C ⊑ ∃R . DC1 ⊓ … ⊓ Cn ⊑ D
∃R . C ⊑ DC ⊑ ≤ 1R . DR ⊑ S
![Page 40: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/40.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1511
Forest Model Property
C ⊑ ∃R . DC1 ⊓ … ⊓ Cn ⊑ D
∃R . C ⊑ DC ⊑ ≤ 1R . DR ⊑ S
![Page 41: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/41.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1511
Forest Model Property
C ⊑ ∃R . DC1 ⊓ … ⊓ Cn ⊑ D
∃R . C ⊑ DC ⊑ ≤ 1R . DR ⊑ S
![Page 42: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/42.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1511
Forest Model Property
C ⊑ ∃R . DC1 ⊓ … ⊓ Cn ⊑ D
∃R . C ⊑ DC ⊑ ≤ 1R . DR ⊑ S
![Page 43: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/43.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1511
Forest Model Property
C ⊑ ∃R . DC1 ⊓ … ⊓ Cn ⊑ D
∃R . C ⊑ DC ⊑ ≤ 1R . DR ⊑ S
![Page 44: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/44.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1511
Forest Model Property
C ⊑ ∃R . DC1 ⊓ … ⊓ Cn ⊑ D
∃R . C ⊑ DC ⊑ ≤ 1R . DR ⊑ S
![Page 45: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/45.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1511
Forest Model Property
C ⊑ ∃R . DC1 ⊓ … ⊓ Cn ⊑ D
∃R . C ⊑ DC ⊑ ≤ 1R . DR ⊑ S
![Page 46: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/46.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1511
Forest Model Property
C ⊑ ∃R . DC1 ⊓ … ⊓ Cn ⊑ D
∃R . C ⊑ DC ⊑ ≤ 1R . DR ⊑ S
![Page 47: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/47.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1511
Forest Model Property
C ⊑ ∃R . DC1 ⊓ … ⊓ Cn ⊑ D
∃R . C ⊑ DC ⊑ ≤ 1R . DR ⊑ S
![Page 48: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/48.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1511
Forest Model Property
C ⊑ ∃R . DC1 ⊓ … ⊓ Cn ⊑ D
∃R . C ⊑ DC ⊑ ≤ 1R . DR ⊑ S
![Page 49: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/49.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1511
Forest Model Property
C ⊑ ∃R . DC1 ⊓ … ⊓ Cn ⊑ D
∃R . C ⊑ DC ⊑ ≤ 1R . DR ⊑ S
![Page 50: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/50.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1511
Forest Model Property
C ⊑ ∃R . DC1 ⊓ … ⊓ Cn ⊑ D
∃R . C ⊑ DC ⊑ ≤ 1R . DR ⊑ S
![Page 51: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/51.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1511
Forest Model Property
C ⊑ ∃R . DC1 ⊓ … ⊓ Cn ⊑ D
∃R . C ⊑ DC ⊑ ≤ 1R . DR ⊑ S
![Page 52: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/52.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1512
“Unnamed-to-Named” Consequences
![Page 53: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/53.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1512
“Unnamed-to-Named” ConsequencesSuccessor-to-predecessor
![Page 54: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/54.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1512
“Unnamed-to-Named” Consequences
C ⊑ ∃R . DD ⊑ ∃S. E∃S. E ⊑ F∃R . F ⊑ G
a : C
Successor-to-predecessor
![Page 55: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/55.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1512
“Unnamed-to-Named” Consequences
C ⊑ ∃R . DD ⊑ ∃S. E∃S. E ⊑ F∃R . F ⊑ G
a : C
R
n: D
Successor-to-predecessor
![Page 56: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/56.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1512
“Unnamed-to-Named” Consequences
C ⊑ ∃R . DD ⊑ ∃S. E∃S. E ⊑ F∃R . F ⊑ G
a : C
R
n: D
n′� : E
S
Successor-to-predecessor
![Page 57: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/57.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann
, F
/1512
“Unnamed-to-Named” Consequences
C ⊑ ∃R . DD ⊑ ∃S. E∃S. E ⊑ F∃R . F ⊑ G
a : C
R
n: D
n′� : E
S
Successor-to-predecessor
![Page 58: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/58.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann
, F
/1512
“Unnamed-to-Named” Consequences
C ⊑ ∃R . DD ⊑ ∃S. E∃S. E ⊑ F∃R . F ⊑ G
a : C
R
n: D
n′� : E
, G
S
Successor-to-predecessor
![Page 59: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/59.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann
, F
/1512
“Unnamed-to-Named” Consequences
C ⊑ ∃R . DD ⊑ ∃S. E∃S. E ⊑ F∃R . F ⊑ G
a : C
R
n: D
n′� : E
, G
S
Successor-to-predecessor
C(x) → G(x)
![Page 60: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/60.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann
, F
/1512
“Unnamed-to-Named” Consequences
C ⊑ ∃R . DD ⊑ ∃S. E∃S. E ⊑ F∃R . F ⊑ G
a : C
R
n: D
n′� : E
, G
S
Successor-to-predecessor Folding
C(x) → G(x)
![Page 61: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/61.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann
, F
/1512
“Unnamed-to-Named” Consequences
C ⊑ ∃R . DD ⊑ ∃S. E∃S. E ⊑ F∃R . F ⊑ G
a : C
R
n: D
n′� : E
, G
S
Successor-to-predecessor Folding
a : C b : D
C ⊑ ∃S. ES ⊑ RE ⊑ DC ⊑ ≤ 1R . D R
C(x) → G(x)
![Page 62: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/62.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann
, F
/1512
“Unnamed-to-Named” Consequences
C ⊑ ∃R . DD ⊑ ∃S. E∃S. E ⊑ F∃R . F ⊑ G
a : C
R
n: D
n′� : E
, G
S
Successor-to-predecessor Folding
a : C b : D
C ⊑ ∃S. ES ⊑ RE ⊑ DC ⊑ ≤ 1R . D R
S
n: E
C(x) → G(x)
![Page 63: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/63.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann
, F
/1512
“Unnamed-to-Named” Consequences
C ⊑ ∃R . DD ⊑ ∃S. E∃S. E ⊑ F∃R . F ⊑ G
a : C
R
n: D
n′� : E
, G
S
Successor-to-predecessor Folding
a : C b : D
C ⊑ ∃S. ES ⊑ RE ⊑ DC ⊑ ≤ 1R . D R
S, R
n: E
C(x) → G(x)
![Page 64: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/64.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann
, F
/1512
“Unnamed-to-Named” Consequences
C ⊑ ∃R . DD ⊑ ∃S. E∃S. E ⊑ F∃R . F ⊑ G
a : C
R
n: D
n′� : E
, G
S
Successor-to-predecessor Folding
a : C b : D
C ⊑ ∃S. ES ⊑ RE ⊑ DC ⊑ ≤ 1R . D R
S, R
, Dn: E
C(x) → G(x)
![Page 65: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/65.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann
, F
/1512
“Unnamed-to-Named” Consequences
C ⊑ ∃R . DD ⊑ ∃S. E∃S. E ⊑ F∃R . F ⊑ G
a : C
R
n: D
n′� : E
, G
S
Successor-to-predecessor Folding
a : C b : D
C ⊑ ∃S. ES ⊑ RE ⊑ DC ⊑ ≤ 1R . D R
S, R
, Dn: E
C(x) → G(x)
![Page 66: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/66.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann
, F
/1512
“Unnamed-to-Named” Consequences
C ⊑ ∃R . DD ⊑ ∃S. E∃S. E ⊑ F∃R . F ⊑ G
a : C
R
n: D
n′� : E
, G
S
Successor-to-predecessor Folding
a : C b : D
C ⊑ ∃S. ES ⊑ RE ⊑ DC ⊑ ≤ 1R . D R, S
, E
C(x) → G(x)
![Page 67: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/67.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann
, F
/1512
“Unnamed-to-Named” Consequences
C ⊑ ∃R . DD ⊑ ∃S. E∃S. E ⊑ F∃R . F ⊑ G
a : C
R
n: D
n′� : E
, G
S
Successor-to-predecessor Folding
a : C b : D
C ⊑ ∃S. ES ⊑ RE ⊑ DC ⊑ ≤ 1R . D R, S
, E
C(x) → G(x) C(x) ∧ R(x, y) ∧ D(y) → S(x, y)C(x) ∧ R(x, y) ∧ D(y) → E(y)
![Page 68: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/68.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1513
Computing IQ Rewritings for Horn-ALCHIQConsider some Horn-ALCHIQ TBox / .Then, the rule set ℛ/ defined as follows is an IQ-preserving rewriting for / .
![Page 69: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/69.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1513
Computing IQ Rewritings for Horn-ALCHIQ
For all C ⊑ ∀R . D ∈ /,C(x) ∧ R(x, y) → D(y) ∈ ℛ/
Consider some Horn-ALCHIQ TBox / .Then, the rule set ℛ/ defined as follows is an IQ-preserving rewriting for / .
![Page 70: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/70.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1513
Computing IQ Rewritings for Horn-ALCHIQ
For all C ⊑ ∀R . D ∈ /,C(x) ∧ R(x, y) → D(y) ∈ ℛ/
For all R ⊑ S ∈ /,R(x, y) → S(x, y) ∈ ℛ/
Consider some Horn-ALCHIQ TBox / .Then, the rule set ℛ/ defined as follows is an IQ-preserving rewriting for / .
![Page 71: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/71.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1513
Computing IQ Rewritings for Horn-ALCHIQ
For all C ⊑ ∀R . D ∈ /,C(x) ∧ R(x, y) → D(y) ∈ ℛ/
For all R ⊑ S ∈ /,R(x, y) → S(x, y) ∈ ℛ/
For all C1 ⊓ … ⊓ Cn ⊑ D ∈ Ω(/)C1(x) ∧ … ∧ Cn(x) → D(x) ∈ ℛ/
Consider some Horn-ALCHIQ TBox / .Then, the rule set ℛ/ defined as follows is an IQ-preserving rewriting for / .
![Page 72: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/72.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1513
Computing IQ Rewritings for Horn-ALCHIQ
For all C ⊑ ∀R . D ∈ /,C(x) ∧ R(x, y) → D(y) ∈ ℛ/
For all R ⊑ S ∈ /,R(x, y) → S(x, y) ∈ ℛ/
For all C1 ⊓ … ⊓ Cn ⊑ D ∈ Ω(/)C1(x) ∧ … ∧ Cn(x) → D(x) ∈ ℛ/
Consider some Horn-ALCHIQ TBox / .Then, the rule set ℛ/ defined as follows is an IQ-preserving rewriting for / .
Ω(/) is the set of all axioms of one of the following forms entailed by / .
C1 ⊓ … ⊓ Cn ⊑ DC1 ⊓ … ⊓ Cn ⊑ ∃(R1 ⊓ … ⊓ Rm) . (D1 ⊓ … ⊓ Dk)
![Page 73: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/73.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1513
Computing IQ Rewritings for Horn-ALCHIQ
For all C ⊑ ∀R . D ∈ /,C(x) ∧ R(x, y) → D(y) ∈ ℛ/
For all R ⊑ S ∈ /,R(x, y) → S(x, y) ∈ ℛ/
For all C1 ⊓ … ⊓ Cn ⊑ D ∈ Ω(/)C1(x) ∧ … ∧ Cn(x) → D(x) ∈ ℛ/
Consider some Horn-ALCHIQ TBox / .Then, the rule set ℛ/ defined as follows is an IQ-preserving rewriting for / .
Ω(/) is the set of all axioms of one of the following forms entailed by / .
C1 ⊓ … ⊓ Cn ⊑ DC1 ⊓ … ⊓ Cn ⊑ ∃(R1 ⊓ … ⊓ Rm) . (D1 ⊓ … ⊓ Dk)
Consequence-based Reasoning Calculi[IJCAI 2017] Yevgeny[AAAI 2012] Eiter et al.
![Page 74: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/74.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann /1513
Computing IQ Rewritings for Horn-ALCHIQ
For all C ⊑ ≤ 1R . D ∈ /,C(x) ∧ R(x, y) ∧ D(y) ∧ R(x, z) ∧ D(z) → y ≈ z ∈ ℛ/,C(x) ∧ C1(x) ∧ … ∧ Cn(x) ∧ R(x, y) ∧ D(y) → E(y) ∈ ℛ/if C1 ⊓ … ⊓ Cn ⊑ ∃R . (D ⊓ E) ∈ Ω(/), andC(x) ∧ C1(x) ∧ … ∧ Cn(x) ∧ R(x, y) ∧ D(y) → S(x, y) ∈ ℛ/if C1 ⊓ … ⊓ Cn ⊑ ∃(R ⊓ S) . D ∈ Ω(/)
For all C ⊑ ∀R . D ∈ /,C(x) ∧ R(x, y) → D(y) ∈ ℛ/
For all R ⊑ S ∈ /,R(x, y) → S(x, y) ∈ ℛ/
For all C1 ⊓ … ⊓ Cn ⊑ D ∈ Ω(/)C1(x) ∧ … ∧ Cn(x) → D(x) ∈ ℛ/
Consider some Horn-ALCHIQ TBox / .Then, the rule set ℛ/ defined as follows is an IQ-preserving rewriting for / .
Ω(/) is the set of all axioms of one of the following forms entailed by / .
C1 ⊓ … ⊓ Cn ⊑ DC1 ⊓ … ⊓ Cn ⊑ ∃(R1 ⊓ … ⊓ Rm) . (D1 ⊓ … ⊓ Dk)
Consequence-based Reasoning Calculi[IJCAI 2017] Yevgeny[AAAI 2012] Eiter et al.
![Page 75: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/75.jpg)
From Horn-SRIQ to Datalog
![Page 76: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/76.jpg)
From Horn-SRIQ to Datalog
Check out our poster!
![Page 77: From Horn-SRIQ to Datalog: A Data-Independent ... fileFrom Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann 3/15 The DL Horn-SRIQ: Syntax C1 ⊓…⊓Cn⊑](https://reader030.fdocuments.net/reader030/viewer/2022041210/5dd0bc2bd6be591ccb62702b/html5/thumbnails/77.jpg)
From Horn-SRIQ to Datalog David Carral, Larry González, and Patrick Koopmann
From Horn-SRIQ to Datalog:
/1515
A Data-Independent Transformation that Preserves Assertion Entailment
David Carral, Larry González, and Patrick Koopmann
Poster: KRR5901