![Page 1: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/1.jpg)
Semantic Data MarketsA Flexible Environment for Knowledge Management
R. De Virgilio, G. Orsi, L. Tanca and R. Torlone
CIKM 2011 – Glasgow (UK)
![Page 2: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/2.jpg)
Semantic Data Management:Overview
Problem:store,query, andreason over
semantically annotated data.
![Page 3: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/3.jpg)
Semantic Data Management:Overview
AT SCALE
Problem:store,query, andreason over
semantically annotated data.
![Page 4: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/4.jpg)
Semantic Data Management:Overview
Common limitations:language-dependent frameworks,opaque logical and physical organization,tractable fragments are often ignored.
![Page 5: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/5.jpg)
Semantic Data Management:Overview
Nyaya: an environment for semantic data management.uniform representation of semantic data with Datalog±, flexible and transparent storage policy,efficient reasoning and querying.
[Cali’ et Al. PODS ‘09][Cali’ et Al. VLDB ‘10]
[Atzeni et Al. VLDBJ ‘08]
[Gottlob et Al. ICDE ‘11][Orsi et Al. VLDB ‘11]
Common limitations:language-dependent frameworks,opaque logical and physical organization,tractable fragments are often ignored.
![Page 6: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/6.jpg)
Nyaya:The kiosk
D
ΣO
ΣS
ΣO : ontological constraints
ΣS : storage constraints (mapping)
D : database
![Page 7: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/7.jpg)
Nyaya:The kiosk
RDF
D
ΣO
ΣS
ΣO : ontological constraints
ΣS : storage constraints (mapping)
D : database
![Page 8: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/8.jpg)
Nyaya:The kiosk
RDF
schema
data D
ΣO
ΣS
ΣO : ontological constraints
ΣS : storage constraints (mapping)
D : database
![Page 9: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/9.jpg)
Nyaya:The kiosk
RDF
schema
data D
ΣO
ΣS
ΣO : ontological constraints
ΣS : storage constraints (mapping)
D : database
![Page 10: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/10.jpg)
Nyaya:The kiosk
RDF
schema
data
storagemetamodel
D
ΣO
ΣS
ΣO : ontological constraints
ΣS : storage constraints (mapping)
D : database
![Page 11: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/11.jpg)
Nyaya:The kiosk
RDF
schema
data
storagemetamodel
D
ΣO
ΣS
ΣO : ontological constraints
ΣS : storage constraints (mapping)
D : database
![Page 12: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/12.jpg)
Nyaya:Example
database constraints
RDF
![Page 13: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/13.jpg)
Nyaya:The semantic data market
D
ΣS
ΣO
![Page 14: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/14.jpg)
Nyaya:The semantic data market
D
ΣS
ΣO
![Page 15: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/15.jpg)
Nyaya:The semantic data market
D
ΣS
D
ΣS
D
ΣS
D
ΣS…
ΣO ΣO ΣO ΣO
![Page 16: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/16.jpg)
Nyaya:The semantic data market
D
ΣS
D
ΣS
D
ΣS
D
ΣS…
ΣO ΣO ΣO ΣO
user-defined constraints
![Page 17: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/17.jpg)
Nyaya:The semantic data market
front-endapplication
Union of Conjunctive Queries
D
ΣS
D
ΣS
D
ΣS
D
ΣS…
ΣO ΣO ΣO ΣO
user-defined constraints
![Page 18: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/18.jpg)
Query ReformulationUse of FO-rewritability
OQ
![Page 19: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/19.jpg)
Query ReformulationUse of FO-rewritability
QO
I phasecompilation
(ΣO)OQ
![Page 20: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/20.jpg)
Query ReformulationUse of FO-rewritability
QO
I phasecompilation
(ΣO)
QS
II phasecompilation
(ΣS)
OQ
S
![Page 21: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/21.jpg)
Query ReformulationUse of FO-rewritability
QO
I phasecompilation
(ΣO)
SQL translatio
n
QS
II phasecompilation
(ΣS)
OQ
S
Q*
![Page 22: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/22.jpg)
Query ReformulationUse of FO-rewritability
QO
I phasecompilation
(ΣO)
Q* SQL translatio
n
QS
II phasecompilation
(ΣS)
evaluation
D
OQ
S
![Page 23: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/23.jpg)
professor(X) Y teaches(X,Y)teaches(X,Y) student(Y)
q(A) teaches(A,B), student(B)Q
ΣO
Query ReformulationExample [Gottlob, Orsi and Pieris ICDE ‘11]
![Page 24: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/24.jpg)
professor(X) Y teaches(X,f(X))teaches(X,Y) student(Y)ΣO
q(A) teaches(A,B), student(B)Q
Query ReformulationExample [Gottlob, Orsi and Pieris ICDE ‘11]
![Page 25: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/25.jpg)
professor(X) Y teaches(X,f(X))teaches(X,Y) student(Y)ΣO
q(A) teaches(A,B), student(B)Q
p[1]
t[1]
t[2]
s[1]f
Query ReformulationExample [Gottlob, Orsi and Pieris ICDE ‘11]
![Page 26: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/26.jpg)
professor(X) Y teaches(X,f(X))teaches(X,Y) student(Y)ΣO
q(A) teaches(A,B), student(B)Q
p[1]
t[1]
t[2]
s[1]f
Query ReformulationExample [Gottlob, Orsi and Pieris ICDE ‘11]
![Page 27: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/27.jpg)
professor(X) Y teaches(X,f(X))teaches(X,Y) student(Y)ΣO
q(A) teaches(A,B)Q
p[1]
t[1]
t[2]
s[1]f
Query ReformulationExample [Gottlob, Orsi and Pieris ICDE ‘11]
![Page 28: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/28.jpg)
professor(X) Y teaches(X,f(X))teaches(X,Y) student(Y)ΣO
q(A) teaches(A,B)Q
p[1]
t[1]
t[2]
s[1]f
Query ReformulationExample [Gottlob, Orsi and Pieris ICDE ‘11]
![Page 29: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/29.jpg)
professor(X) Y teaches(X,f(X))ΣO
q(A) teaches(A,B)Q
p[1]
t[1]
t[2]
s[1]f
Query ReformulationExample [Gottlob, Orsi and Pieris ICDE ‘11]
![Page 30: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/30.jpg)
professor(X) Y teaches(X,f(X))ΣO
q(A) teaches(X,Y)Q
p[1]
t[1]
t[2]
s[1]f{ XA, Bf(X) }
Query ReformulationExample [Gottlob, Orsi and Pieris ICDE ‘11]
![Page 31: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/31.jpg)
professor(X) Y teaches(X,f(X))ΣO
q(A) teaches(A,B)Q
p[1]
t[1]
t[2]
s[1]f
q(A) professor(A)
Query ReformulationExample [Gottlob, Orsi and Pieris ICDE ‘11]
![Page 32: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/32.jpg)
professor(X) Y teaches(X,f(X))ΣO
q(A) teaches(A,B)QΣ
p[1]
t[1]
t[2]
s[1]f
q(A) professor(A)
professor(X) i-class(Z0,X,Z1), class(Z1,’professor’)ΣSteaches(X,Y) i-objectproperty(Z0,Z1,Z2,Z3), i-class(Z1,X,Z0), i-class(Z2,Y,Z7), objectproperty(Z3,’teaches’,Z4,Z5)
Query ReformulationExample [Gottlob, Orsi and Pieris ICDE ‘11]
![Page 33: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/33.jpg)
professor(X) Y teaches(X,f(X))ΣO
q(A) teaches(A,B)QΣ
p[1]
t[1]
t[2]
s[1]f
q(A) professor(A)
professor(X) i-class(Z0,X,Z1), class(Z1,’professor’)ΣS
q(A) i-objectproperty(Z0,Z1,Z2,Z3), i-class(Z1,A,Z0), i-class(Z2,B,Z7), objectproperty(Z3,’teaches’,Z4,Z5)QS
q(A) i-class(Z0,A,Z1), class(Z1,’professor’)
teaches(X,Y) i-objectproperty(Z0,Z1,Z2,Z3), i-class(Z1,X,Z0), i-class(Z2,Y,Z7), objectproperty(Z3,’teaches’,Z4,Z5)
Query ReformulationExample [Gottlob, Orsi and Pieris ICDE ‘11]
![Page 34: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/34.jpg)
professor(X) Y teaches(X,f(X))ΣO
q(A) teaches(A,B)QΣ
p[1]
t[1]
t[2]
s[1]f
q(A) professor(A)
professor(X) i-class(Z0,X,Z1), class(Z1,’professor’)ΣS
q(A) i-objectproperty(Z0,Z1,Z2,#(teaches)), i-class(Z1,A,Z0)QSq(A) i-class(Z0,A,#(professor))
teaches(X,Y) i-objectproperty(Z0,Z1,Z2,Z3), i-class(Z1,X,Z0), i-class(Z2,Y,Z7), objectproperty(Z3,’teaches’,Z4,Z5)
Query ReformulationExample [Gottlob, Orsi and Pieris ICDE ‘11]
![Page 35: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/35.jpg)
ExperimentsQuerying
UOBM Tbox (Approximated)Instance of 12.8 million triples
![Page 36: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/36.jpg)
ExperimentsQuerying
UOBM Tbox (Approximated)Instance of 12.8 million triples
![Page 37: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/37.jpg)
ExperimentsLoading and Updates
![Page 38: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/38.jpg)
ExperimentsLoading and Updates
If the language of ΣO is FO-rewritable
fact updates reduce to updates in a DBMSpredicate updates reduce to re-compute the rewriting
![Page 39: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/39.jpg)
ConclusionWhat should we do?
Identifying tractable classes of ontological constraints is crucialcurrent commercial systems do not do that
Intensional query reformulation delivers very good query performance
Ontology-based data access (ODBA) seamlessly extends traditional database technology
![Page 40: Nyaya: Semantic data markets: a flexible environment for knowledge management - CIKM 2011 and ICDE 2012 (Demonstration)](https://reader034.vdocuments.mx/reader034/viewer/2022051609/54753b57b4af9fc80a8b5a0a/html5/thumbnails/40.jpg)
This is the endThank you
The Nyaya Family
http://mais.dia.uniroma3.it/Nyaya