Documents Related by Co-Citation

1516 Foundations of Databases – S Abiteboul, R Hull, V Vianu - 1995
298 Tractable reasoning and efficient query answering in description logics: The DL-Lite family – Diego Calvanese, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
165 DL-Lite: Tractable description logics for ontologies – Diego Calvanese, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati - 2005
289 Pushing the EL envelope – Franz Baader, Sebastian Brand, Carsten Lutz - 2005
243 On the Decidability of Query Containment under Constraints – Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini - 1998
96 Data Complexity of Reasoning in Very Expressive Description Logics – Ullrich Hustadt, Boris Motik, Ulrike Sattler - 2005
633 editors. The Description Logic Handbook: Theory, Implementation and Applications – F Baader, D Calvanese, D McGuinness, D Nardi, P F Patel-Schneider - 2003
79 Deduction in Concept Languages: From Subsumption to Instance Checking – Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf - 1994
98 A Portrait of the Semantic Web in Action – Jeff Heflin, James Hendler
718 Data Integration: A Theoretical Perspective – Maurizio Lenzerini - 2002
78 QUONTO: QUerying ONTOlogies – Andrea Acciarri, Diego Calvanese, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati - 2005
110 Conjunctive query answering for the description logic SHIQ – Birte Glimm, Ian Horrocks, Carsten Lutz, Uli Sattler - 2007
130 Complexity Results and Practical Algorithms for Logics in Knowledge Representation – Stephan Tobies - 2001
193 Tableau Algorithms for Description Logics – Franz Baader, Ulrike Sattler - 2000
40 Conceptual modeling with description logics – A Borgida, R J Brachman
60 What Should a Database Know – R Reiter - 1992
34 Characterizing data complexity for conjunctive query answering in expressive description logics – Magdalena Ortiz, Diego Calvanese, Thomas Eiter - 2006
23 Data complexity of answering unions of conjunctive queries in SHIQ – Magdalena Ortiz, Diego Calvanese, Thomas Eiter - 2006
137 Reasoning with Individuals for the Description Logic SHIQ – Ian Horrocks, Ulrike Sattler, Stephan Tobies - 2000