Datalog and Description Logics: Expressive Power.

@inproceedings{DBLP:conf/dbpl/CadoliPL97,
  author    = {Marco Cadoli and
               Luigi Palopoli and
               Maurizio Lenzerini},
  editor    = {Sophie Cluet and
               Richard Hull},
  title     = {Datalog and Description Logics: Expressive Power},
  booktitle = {Database Programming Languages, 6th International Workshop, DBPL-6,
               Estes Park, Colorado, USA, August 18-20, 1997, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1369},
  year      = {1997},
  isbn      = {3-540-64823-2},
  pages     = {281-298},
  ee        = {db/conf/dbpl/CadoliPL97.html},
  crossref  = {DBLP:conf/dbpl/97},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-5 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[AV92]

Serge Abiteboul, Victor Vianu: Expressive Power of Query Languages. Theoretical Studies in Computer Science 1992: 207-251 BibTeX

[Baa96]

Franz Baader: A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages. J. Log. Comput. 6(1): 33-54(1996) BibTeX

[BDS93]

Martin Buchheit, Francesco M. Donini, Andrea Schaerf: Decidable Reasoning in Terminological Knowledge Representation Systems. J. Artif. Intell. Res. (JAIR) 1: 109-138(1993) BibTeX

[BE96]

Piero A. Bonatti, Thomas Eiter: Querying Disjunctive Databases Through Nonmonotonic Logics. Theor. Comput. Sci. 160(1&2): 321-363(1996) BibTeX

[Bor96]

Alexander Borgida: On the Relative Expressiveness of Description Logics and Predicate Logics. Artif. Intell. 82(1-2): 353-367(1996) BibTeX

[Cal96]

Diego Calvanese: Finite Model Reasoning in Description Logics. KR 1996: 292-303 BibTeX

[CH80]

Ashok K. Chandra, David Harel: Computable Queries for Relational Data Bases. J. Comput. Syst. Sci. 21(2): 156-178(1980) BibTeX

[CL94]

Diego Calvanese, Maurizio Lenzerini: Making Object-Oriented Schemas More Expressive. PODS 1994: 243-254 BibTeX

[Cos93]

Stavros S. Cosmadakis: Logical Reducibility and Monadic NP. FOCS 1993: 52-61 BibTeX

[DLNS91]

Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf: A Hybrid System with Datalog and Concept Languages. AI*IA 1991: 88-97 BibTeX

[DLNS97]

Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf: AL-log: Integrating Datalog and Description Logics. J. Intell. Inf. Syst. 10(3): 227-252(1998) BibTeX

[EGM97]

Thomas Eiter, Georg Gottlob, Heikki Mannila: Disjunctive Datalog. ACM Trans. Database Syst. 22(3): 364-418(1997) BibTeX

[Fag74]

...

[Fag75]

...

[Fag93]

Ronald Fagin: Finite-Model Theory - A Personal Perspective. Theor. Comput. Sci. 116(1&2): 3-31(1993) BibTeX

[Kan90]

Paris C. Kanellakis: Elements of Relational Database Theory. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 1073-1156 BibTeX

[LR96a]

Alon Y. Levy, Marie-Christine Rousset: CARIN: A Representation Language Combining Horn Rules and Description Logics. ECAI 1996: 323-327 BibTeX

[LR96b]

Alon Y. Levy, Marie-Christine Rousset: The Limits on Combining Recursive Horn Rules with Description Logics. AAAI/IAAI, Vol. 1 1996: 577-584 BibTeX

[MP96]

Johann A. Makowsky, Y. B. Pnueli: Arity and Alternation in Second-Order Logic. Ann. Pure Appl. Logic 78(1-3): 189-202(1996) BibTeX

[Rei84]

Raymond Reiter: Towards a Logical Reconstruction of Relational Database Theory. On Conceptual Modelling (Intervale) 1982: 191-233 BibTeX

[Sch95]

John S. Schlipf: The Expressive Powers of the Logic Programming Semantics. J. Comput. Syst. Sci. 51(1): 64-86(1995) BibTeX

[Var86]

Moshe Y. Vardi: Querying Logical Databases. J. Comput. Syst. Sci. 33(2): 142-160(1986) BibTeX

Referenced by

1. Maurizio Lenzerini: Description Logics and Their Relationships with Databases. ICDT 1999: 32-38