Datalog and description logics: Expressive power

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1369 LNCS, Issue , 1998, Pages 281-298

  Cadoli, Marco ^a   Palopoli, Luigi ^b   Lenzerini, Maurizio ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b UNIVERSITY OF CALABRIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; QUERY LANGUAGES; QUERY PROCESSING;

DESCRIPTION LOGIC; EXPRESSIVE POWER; FINITE STRUCTURES; FORMAL ANALYSIS; HYBRID LANGUAGES; RELATIONAL DATABASE; RELATIONAL QUERY LANGUAGES; RULE-BASED LANGUAGE;

DATA DESCRIPTION;

EID: 84893443182     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-64823-2_16     Document Type: Conference Paper

References (22)

1. S. Abiteboul and V. Vianu. Expressive power of query languages. In J. D. Ullman, editor, Theoretical Studies in Computer Science. Academic Press, 1992.
2. Franz Baader. À formal definition for the expressive power of terminological knowledge representation languages. Journal of Logic and Computation, 6:33-54, 1990.
3. Martin Buchheit, Francesco M. Donini, and Andrea Schaerf. Decidable reasoning in terminological knowledge representation systems. Journal of Artificial Intelligence Research, 1:109-138, 1993.
4. P. Bonatti and T. Eiter. Querying disjunctive databases through nonmonotonic logics. Theoretical Computer Science, 160:321-363, 1996.
5. Alexander Borgida. On the relative expressiveness of description logics and predicate logics. Artificial Intelligence Journal, 82:353-367, 1996.
6. Diego Calvanese. Finite model reasoning in description logics. In Luigia C. Aiello, John Doyle, and Stuart C. Shapiro, editors, Proceedings of the Fifth International Conference on the Principles of Knowledge Representation and Reasoning (KR-96), pages 292-303. Morgan Kaufmann, Los Altos, 1996.
7. A. Chandra and D. Harel. Computable queries for relational databases. Journal of Computer and System Sciences, 21:156-178, 1980.
8. Diego Calvanese and Maurizio Lenzerini. Making object-oriented schemas more expressive. In Proceedings of the Thirteenth ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS-94), pages 243-254, Minneapolis, 1994. ACM Press and Addison Wesley.
9. S. S. Cosmadakis. Logical reducibility and monadic NP. In Proceedings of the Thirtyfourlh Annual Symposium on the Foundations of Computer Science (FOCS-93), 1993.
10. *IA-91), number 549 in Lecture Notes In Artificial Intelligence, Springer-Verlag, 1991.
11. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Andrea Schaerf. AL-log: Integrating Datalog and description logics. Journal of Intelligent Information Systems, 1997. To appear.
12. T. Eiter, G. Gottlob, and H. Mannila. Disjunctive Datalog. ACM Transactions on Database Systems, 22:364-418, 1997.
13. R. Fagin. Generalized First-Order Spectra and Polynomial-Time Recognizable Sets. In R. M. Karp, editor, Complexity of Computation, pages 43-74. AMS, 1974.
14. Ronald Fagin. Monadic generalized spectra. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 21:89-96, 1975.
15. Ronald Fagin. Finite-model theory - a personal perspective. Theoretical Computer Science, 116:3-31, 1993.
16. P. Kanellakis. Elements of relational database theory. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B, chapter 17. Elsevier Science Publishers (North-Holland), Amsterdam, 1990.
17. Alon Y. Levy and Marie-Christine Rousset. CARIN: A representation language combining Horn rules and description logics. In Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI-96), pages 323-327, 1996.
18. Alon Y. Levy and Marie-Christine Rousset. The limits on combining recursive Horn rules with description logics. In Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96), pages 577-584, 1996.
19. J.A. Makowsky and Y.B. Pnueli. Arity and alternation in second-order logic. Annals of Pure and Applied Logics, 78:189-202, 1996.
20. Raymond Reiter. Towards a logical reconstruction of relational database theory. In M. L. Brodie, J. Mylopoulos, and J. W. Schmidt, editors, On Conceptual Modelling. Springer-Verlag, 1984.
21. J. S. Schlipf. The expressive powers of the logic programming semantics. Journal of Computer and System Sciences, 51:64-86, 1995.
22. M. Y. Vardi. Querying logical databases. Journal of Computer and System Sciences, 33:142-160, 1986.