Documents Related by Co-Citation

165 DL-Lite: Tractable description logics for ontologies – Diego Calvanese, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati - 2005
1526 V.: Foundations of Databases – S Abiteboul, R Hull, Vianu - 1995
298 Tractable reasoning and efficient query answering in description logics: The DL-Lite family – Diego Calvanese, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
289 Pushing the EL envelope – Franz Baader, Sebastian Brand, Carsten Lutz - 2005
96 Data Complexity of Reasoning in Very Expressive Description Logics – Ullrich Hustadt, Boris Motik, Ulrike Sattler - 2005
633 The Description Logic Handbook: Theory, Implementation and Applications – F Baader, D Calvanese, D McGuinness, D Nardi, P F Patel-Schneider, Eds - 2003
244 On the Decidability of Query Containment under Constraints – Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini - 1998
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
720 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
193 Tableau Algorithms for Description Logics – Franz Baader, Ulrike Sattler - 2000
40 Conceptual modeling with description logics – A Borgida, R J Brachman
34 Characterizing data complexity for conjunctive query answering in expressive description logics – Magdalena Ortiz, Diego Calvanese, Thomas Eiter - 2006
110 Conjunctive query answering for the description logic SHIQ – Birte Glimm, Ian Horrocks, Carsten Lutz, Uli Sattler - 2007
23 Data complexity of answering unions of conjunctive queries in SHIQ – Magdalena Ortiz, Diego Calvanese, Thomas Eiter - 2006
71 A conjunctive query language for description logic ABoxes – Ian Horrocks, Sergio Tessaris - 2000
137 Reasoning with Individuals for the Description Logic SHIQ – Ian Horrocks, Ulrike Sattler, Stephan Tobies - 2000
159 Description logic framework for information integration – Diego Calvanese, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati - 1998