Documents Related by Co-Citation

310 Tractable reasoning and efficient query answering in description logics: The DL-Lite family – Diego Calvanese, G. De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati - 2007
1531 Foundations of Databases – S Abiteboul, R Hull, V Vianu - 1995
165 DL-Lite: Tractable description logics for ontologies – Diego Calvanese, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati - 2005
297 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
98 Data Complexity of Reasoning in Very Expressive Description Logics – Ullrich Hustadt, Boris Motik, Ulrike Sattler - 2005
647 editors. The Description Logic Handbook: Theory, Implementation and Applications – F Baader, D Calvanese, D McGuinness, D Nardi, P F Patel-Schneider - 2003
97 A Portrait of the Semantic Web in Action – Jeff Heflin, James Hendler
78 Deduction in Concept Languages: From Subsumption to Instance Checking – Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf - 1994
727 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
113 Conjunctive query answering for the description logic SHIQ – Birte Glimm, Ian Horrocks, Carsten Lutz, Uli Sattler - 2007
195 Tableau Algorithms for Description Logics – Franz Baader, Ulrike Sattler - 2000
134 Complexity Results and Practical Algorithms for Logics in Knowledge Representation – Stephan Tobies - 2001
60 What Should a Database Know – R Reiter - 1992
70 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
22 Data complexity of answering unions of conjunctive queries in SHIQ – Magdalena Ortiz, Diego Calvanese, Thomas Eiter - 2006
75 DL+log: Tight integration of description logics and disjunctive datalog – Riccardo Rosati - 2006