Documents Related by Co-Citation

1526 Foundations of Databases – S Abiteboul, R Hull, V Vianu - 1995
299 Tractable reasoning and efficient query answering in description logics: The DL-Lite family – Diego Calvanese, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
166 DL-Lite: Tractable description logics for ontologies – Diego Calvanese, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati - 2005
291 Pushing the EL envelope – Franz Baader, Sebastian Brand, Carsten Lutz - 2005
242 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
642 The Description Logic Handbook-Theory, Implementation and Application – F Baader, D Calvanese, D McGuinness, D Nardi - 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
721 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
109 Conjunctive query answering for the description logic SHIQ – Birte Glimm, Ian Horrocks, Carsten Lutz, Uli Sattler - 2007
132 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
22 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