-
1
-
-
0021508773
-
A proof procedure for data dependencies
-
Beeri, C., Vardi, M.Y.: A Proof Procedure for Data Dependencies. J. ACM 31(4), 718-741
-
J. ACM
, vol.31
, Issue.4
, pp. 718-741
-
-
Beeri, C.1
Vardi, M.Y.2
-
2
-
-
79957998180
-
The MASTRO system for ontology-based data access
-
Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Poggi, A., Rodriguez-Muro, M., Rosati, R., Ruzzi, M., Savo, D.F.: The MASTRO system for ontology-based data access. Semantic Web 2(1), 43-53 (2011)
-
(2011)
Semantic Web
, vol.2
, Issue.1
, pp. 43-53
-
-
Calvanese, D.1
Giacomo, G.D.2
Lembo, D.3
Lenzerini, M.4
Poggi, A.5
Rodriguez-Muro, M.6
Rosati, R.7
Ruzzi, M.8
Savo, D.F.9
-
3
-
-
34548305118
-
Tractable reasoning and efficient query answering in description logics: The DL-lite family
-
Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family. JAR 39(3) (2007)
-
(2007)
JAR
, vol.39
, Issue.3
-
-
Calvanese, D.1
Giacomo, G.D.2
Lembo, D.3
Lenzerini, M.4
Rosati, R.5
-
5
-
-
0039119980
-
Physical data independence, constraints, and optimization with universal plans
-
Deutsch, A., Popa, L., Tannen, V.: Physical data independence, constraints, and optimization with universal plans. pp. 459-470. VLDB'99 (1999)
-
(1999)
VLDB'99
, pp. 459-470
-
-
Deutsch, A.1
Popa, L.2
Tannen, V.3
-
6
-
-
84922525788
-
Scalable end-user access to big data
-
Florida: Chapman and Hall/CRC. To appear
-
Giese, M., Calvanese, D., Haase, P., Horrocks, I., Ioannidis, Y., Kllapi, H., Koubarakis, M., Lenzerini, M., Möller, R., Özep, O., Rodriguez Muro, M., Rosati, R., Schlatte, R., Schmidt, M., Soylu, A., Waaler, A.: Scalable End-user Access to Big Data. In: Rajendra Akerkar: Big Data Computing. Florida: Chapman and Hall/CRC. To appear. (2013)
-
(2013)
Rajendra Akerkar: Big Data Computing
-
-
Giese, M.1
Calvanese, D.2
Haase, P.3
Horrocks, I.4
Ioannidis, Y.5
Kllapi, H.6
Koubarakis, M.7
Lenzerini, M.8
Möller, R.9
Özep, O.10
Rodriguez Muro, M.11
Rosati, R.12
Schlatte, R.13
Schmidt, M.14
Soylu, A.15
Waaler, A.16
-
7
-
-
84900819041
-
The information workbench as a self-service platform for linked data applications
-
Haase, P., Schmidt, M., Schwarte, A.: The information workbench as a self-service platform for linked data applications. In: COLD (2011)
-
(2011)
COLD
-
-
Haase, P.1
Schmidt, M.2
Schwarte, A.3
-
9
-
-
0003451112
-
-
Texts in theoretical computer science, Springer
-
Leitsch, A.: The resolution calculus. Texts in theoretical computer science, Springer (1997)
-
(1997)
The Resolution Calculus
-
-
Leitsch, A.1
-
10
-
-
0018699134
-
Testing implications of data dependencies
-
Maier, D., Mendelzon, A.O., Sagiv, Y.: Testing Implications of Data Dependencies. ACM Trans. Database Syst. 4(4), 455-469 (1979)
-
(1979)
ACM Trans. Database Syst.
, vol.4
, Issue.4
, pp. 455-469
-
-
Maier, D.1
Mendelzon, A.O.2
Sagiv, Y.3
-
12
-
-
84860738728
-
Dependencies: Making ontology based data access work
-
Rodriguez-Muro, M., Calvanese, D.: Dependencies: Making Ontology Based Data Access Work. In: AMW (2011)
-
(2011)
AMW
-
-
Rodriguez-Muro, M.1
Calvanese, D.2
-
13
-
-
84893393225
-
High performance query answering over DL-lite ontologies
-
Rodriguez-Muro, M., Calvanese, D.: High Performance Query Answering over DL-Lite Ontologies. In: KR (2012)
-
(2012)
KR
-
-
Rodriguez-Muro, M.1
Calvanese, D.2
-
14
-
-
84881185192
-
Quest, an OWL 2 QL reasoner for ontology-based data access
-
Rodriguez-Muro, M., Calvanese, D.: Quest, an OWL 2 QL Reasoner for Ontology-based Data Access. In: OWLED (2012)
-
(2012)
OWLED
-
-
Rodriguez-Muro, M.1
Calvanese, D.2
|