-
3
-
-
34548305118
-
Tractable reasoning and e-cient query answering in description logics: The dl-lite family
-
D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. Tractable Reasoning and E-cient Query Answering in Description Logics: The DL-Lite Family. Journal of Automated Reasoning, 9:385-429, 2007.
-
(2007)
Journal of Automated Reasoning
, vol.9
, pp. 385-429
-
-
Calvanese, D.1
De Giacomo, G.2
Lembo, D.3
Lenzerini, M.4
Rosati, R.5
-
4
-
-
0003610857
-
-
Academic Press, Inc., Orlando, FL, USA
-
C.-L. Chang and R. C.-T. Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, Inc., Orlando, FL, USA, 1997.
-
(1997)
Symbolic Logic and Mechanical Theorem Proving
-
-
Chang, C.-L.1
Lee, R.C.-T.2
-
5
-
-
80051700588
-
Optimized query rewriting for OWL 2 QL
-
In N. Bj-rner and V. Sofronie-Stokkermans, editors. Springer
-
A. Chortaras, D. Trivela, and G. B. Stamou. Optimized Query Rewriting for OWL 2 QL. In N. Bj-rner and V. Sofronie-Stokkermans, editors, CADE, volume 6803 of Lecture Notes in Computer Science, pages 192-206. Springer, 2011.
-
(2011)
CADE, Volume 6803 of Lecture Notes in Computer Science
, pp. 192-206
-
-
Chortaras, A.1
Trivela, D.2
Stamou, G.B.3
-
6
-
-
84873052027
-
Towards practical query answering for horn-shiq
-
In Y. Kazakov, D. Lembo, and F. Wolter, editors
-
T. Eiter, M. Ortiz, M. Simkus, T.-K. Tran, and G. Xiao. Towards Practical Query Answering for Horn-SHIQ. In Y. Kazakov, D. Lembo, and F. Wolter, editors, Description Logics, volume 846 of CEUR Workshop Proceedings. CEUR-WS.org, 2012.
-
(2012)
Description Logics, Volume 846 of CEUR Workshop Proceedings
-
-
Eiter, T.1
Ortiz, M.2
Simkus, M.3
Tran, T.-K.4
Xiao, G.5
-
7
-
-
84892640402
-
Conjunctive query answering for the description logic shiq
-
abs /1111.0049
-
B. Glimm, I. Horrocks, C. Lutz, and U. Sattler. Conjunctive Query Answering for the Description Logic SHIQ. CoRR, abs/1111.0049, 2011.
-
(2011)
CoRR
-
-
Glimm, B.1
Horrocks, I.2
Lutz, C.3
Sattler, U.4
-
8
-
-
79957828081
-
Ontological queries: Rewriting and optimization
-
In S. Abiteboul, K. Bohm, C. Koch, and K.-L. Tan, editors. IEEE Computer Society
-
G. Gottlob, G. Orsi, and A. Pieris. Ontological Queries: Rewriting and Optimization. In S. Abiteboul, K. Bohm, C. Koch, and K.-L. Tan, editors, ICDE, pages 2-13. IEEE Computer Society, 2011.
-
(2011)
ICDE
, pp. 2-13
-
-
Gottlob, G.1
Orsi, G.2
Pieris, A.3
-
9
-
-
80051684064
-
The combined approach to query answering in dl-lite
-
In F. Lin and U. Sattler, editors. AAAI Press
-
R. Kontchakov, C. Lutz, D. Toman, F. Wolter, and M. Zakharyaschev. The combined approach to query answering in dl-lite. In F. Lin and U. Sattler, editors, Proceedings of the 12th International Conference on Principles of Knowledge Rep-resentation and Reasoning (KR2010). AAAI Press, 2010.
-
(2010)
Proceedings of the 12th International Conference on Principles of Knowledge Rep-resentation and Reasoning (KR2010)
-
-
Kontchakov, R.1
Lutz, C.2
Toman, D.3
Wolter, F.4
Zakharyaschev, M.5
-
11
-
-
77549087969
-
Tractable query answering and rewriting under description logic constraints
-
H. Perez-Urbina, B. Motik, and I. Horrocks. Tractable Query Answering and Rewriting under Description Logic Constraints. J. Applied Logic, 8(2):186-209, 2010.
-
(2010)
J. Applied Logic
, vol.8
, Issue.2
, pp. 186-209
-
-
Perez-Urbina, H.1
Motik, B.2
Horrocks, I.3
-
12
-
-
49949109970
-
Linking data to ontologies
-
A. Poggi, D. Lembo, D. Calvanese, G. De Giacomo, M. Lenzerini, and R. Rosati. Linking Data to Ontologies. J. on Data Semantics, X:133-173, 2008.
-
(2008)
J. on Data Semantics
, vol.10
, pp. 133-173
-
-
Poggi, A.1
Lembo, D.2
Calvanese, D.3
De Giacomo, G.4
Lenzerini, M.5
Rosati, R.6
-
14
-
-
84891918951
-
-
In G. Brewka, T. Eiter, and S. A. McIlraith, editors, KR. AAAI Press
-
M. Rodriguez-Muro and D. Calvanese. High performance query answering over dl-lite ontologies. In G. Brewka, T. Eiter, and S. A. McIlraith, editors, KR. AAAI Press, 2012.
-
(2012)
High Performance Query Answering over Dl-lite Ontologies
-
-
Rodriguez-Muro, M.1
Calvanese, D.2
-
15
-
-
84861733220
-
Prexto: Query rewriting under extensional constraints in dl-lite
-
In E. Simperl, P. Cimiano, A. Polleres, O. Corcho, and V. Presutti, editors. Springer
-
R. Rosati. Prexto: Query Rewriting under Extensional Constraints in DL-Lite. In E. Simperl, P. Cimiano, A. Polleres, O. Corcho, and V. Presutti, editors, ESWC, volume 7295 of Lecture Notes in Computer Science, pages 360-374. Springer, 2012.
-
(2012)
ESWC, Volume 7295 of Lecture Notes in Computer Science
, pp. 360-374
-
-
Rosati, R.1
-
16
-
-
84885910857
-
-
In F. Lin, U. Sattler, and M. Truszczynski, editors, KR. AAAI Press
-
R. Rosati and A. Almatelli. Improving Query Answering over DL-Lite Ontologies. In F. Lin, U. Sattler, and M. Truszczynski, editors, KR. AAAI Press, 2010.
-
(2010)
Improving Query Answering over Dl-lite Ontologies
-
-
Rosati, R.1
Almatelli, A.2
|