-
1
-
-
0031632361
-
Complexity of answering queries using materialized views
-
ACM, Ed. ACM Press, New York, NY 10036
-
ABITEBOUL, S. AND DUSCHKA, O. M. 1998. Complexity of answering queries using materialized views. In PODS '98. Proceedings of the Seventeenth ACM SIG-SIGMOD-SIGART Symposium on Principles of Database Systems, ACM, Ed. ACM Press, New York, NY 10036.
-
(1998)
PODS '98. Proceedings of the Seventeenth ACM SIG-SIGMOD-SIGART Symposium on Principles of Database Systems
-
-
Abiteboul, S.1
Duschka, O.M.2
-
2
-
-
0003727420
-
-
Cambridge University Press
-
BAADER, F., CALVANESE, D., MCGUINNESS, D., NARDI, D., AND PATEL-SCHNEIDER, P. F., Eds. 2003. Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press.
-
(2003)
Description Logic Handbook: Theory, Implementation and Applications
-
-
Baader, F.1
Calvanese, D.2
Mcguinness, D.3
Nardi, D.4
Patel-Schneider, P.F.5
-
3
-
-
0005410668
-
Rewriting concepts using terminologies
-
A. Cohn, F. Giunchiglia, and B. Selman, Eds. Morgan Kaufmann Publishers, San Francisco, CA
-
BAADER, F., KÜSTERS, R., AND MOLITOR, R. 2000. Rewriting concepts using terminologies. In Proceedings of the Seventh International Conference on Knowledge Representation and Reasoning (KR2000), A. Cohn, F. Giunchiglia, and B. Selman, Eds. Morgan Kaufmann Publishers, San Francisco, CA, 297-308.
-
(2000)
Proceedings of the Seventh International Conference on Knowledge Representation and Reasoning (KR2000)
, pp. 297-308
-
-
Baader, F.1
Küsters, R.2
Molitor, R.3
-
4
-
-
0030713821
-
Rewriting queries using views in description logics, editor = acm
-
ACM Press, New York, NY 10036
-
BEERI, C., LEVY, A., AND ROUSSET, M.-C. 1997. Rewriting queries using views in description logics, editor = acm. In PODS '97. Proceedings of the Sixteenth ACM SIG-SIGMOD-SIGART Symposium on Principles of Database Systems, May 12-14, 1997, Tucson, Arizona. ACM Press, New York, NY 10036.
-
(1997)
PODS '97. Proceedings of the Sixteenth ACM SIG-SIGMOD-SIGART Symposium on Principles of Database Systems, May 12-14, 1997, Tucson, Arizona
-
-
Beeri, C.1
Levy, A.2
Rousset, M.-C.3
-
6
-
-
0031628670
-
On the decidability of query containment under constraints
-
ACM, Ed. ACM Press, New York, NY 10036
-
CALVANESE, D., DE GIACOMO, G., AND LENZERINI, M. 1998. On the decidability of query containment under constraints. In PODS '98. Proceedings of the Seventeenth ACM SIG-SIGMOD-SIGART Symposium on Principles of Database Systems, ACM, Ed. ACM Press, New York, NY 10036.
-
(1998)
PODS '98. Proceedings of the Seventeenth ACM SIG-SIGMOD-SIGART Symposium on Principles of Database Systems
-
-
Calvanese, D.1
De Giacomo, G.2
Lenzerini, M.3
-
8
-
-
0033906158
-
Answering regular path queries using views
-
CALVANESE, D., DE GIACOMO, G., LENZERINI, M., AND VARDI, M. 2000a. Answering regular path queries using views. In Proceedings of ICDE 2000.
-
(2000)
Proceedings of ICDE 2000
-
-
Calvanese, D.1
De Giacomo, G.2
Lenzerini, M.3
Vardi, M.4
-
9
-
-
0033699475
-
View-based query processing and constraint satisfaction
-
CALVANESE, D., DE GIACOMO, G., LENZERINI, M., AND VARDI, M. 2000b. View-based query processing and constraint satisfaction. In Proceedings of LICS 2000.
-
(2000)
Proceedings of LICS 2000
-
-
Calvanese, D.1
De Giacomo, G.2
Lenzerini, M.3
Vardi, M.4
-
10
-
-
0001173857
-
Deduction in concept languages: From subsumption to instance checking
-
DONINI, F. M., LENZERINI, M., NARDI, D., AND SCHAERF, A. 1994. Deduction in concept languages: From subsumption to instance checking. J. Logic Computation 4, 4.
-
(1994)
J. Logic Computation
, vol.4
, pp. 4
-
-
Donini, F.M.1
Lenzerini, M.2
Nardi, D.3
Schaerf, A.4
-
13
-
-
0034358041
-
The use of CABIN language and algorithms for information integration: The picsel system
-
GOASDOUÉ, F., LATTES, V., AND ROUSSET, M.-C. 2000. The use of CABIN language and algorithms for information integration: the picsel system. Int. J. Coop. Info. Sys. 9, 383-401.
-
(2000)
Int. J. Coop. Info. Sys.
, vol.9
, pp. 383-401
-
-
Goasdoué, F.1
Lattes, V.2
Rousset, M.-C.3
-
14
-
-
84862409276
-
Compilation and approximation of conjunctive queries by concept descriptions
-
F. van Harmelen, Ed. IOS Press
-
GOASDOUÉ, F. AND ROUSSET, M.-C. 2002. Compilation and approximation of conjunctive queries by concept descriptions. In ECAI 2002, F. van Harmelen, Ed. 267-271. IOS Press.
-
(2002)
ECAI 2002
, pp. 267-271
-
-
Goasdoué, F.1
Rousset, M.-C.2
-
15
-
-
0035658039
-
Answering queries using views: A survey
-
HALEVY, A. Y. 2001. Answering queries using views: A survey. VLDB Journal: Very Large Data Bases 10, 4, 270-294.
-
(2001)
VLDB Journal: Very Large Data Bases
, vol.10
, Issue.4
, pp. 270-294
-
-
Halevy, A.Y.1
-
17
-
-
0032156942
-
Combining horn rules and description logics in carin
-
LEVY, A. AND ROUSSET, M.-C. 1998. Combining horn rules and description logics in carin. Artificial Intelligence 101.
-
(1998)
Artificial Intelligence
, vol.101
-
-
Levy, A.1
Rousset, M.-C.2
-
18
-
-
84862412675
-
-
MKBEEM. http://www.mkbeem.com.
-
-
-
-
19
-
-
4444379457
-
-
Springer-Verlag, Chapter Reasoning in description logics
-
NARDI, D., DONINI, F., LENZERINI, M., AND SCHAERF, A. 1995. Principles of Artificial Intelligence. Springer-Verlag, Chapter Reasoning in description logics.
-
(1995)
Principles of Artificial Intelligence
-
-
Nardi, D.1
Donini, F.2
Lenzerini, M.3
Schaerf, A.4
-
20
-
-
84862416707
-
-
PICSEL. http://www.lri.fr/~picsel.
-
-
-
|