Tractable reasoning and efficient query answering in description logics: The DL-Lite family

DMCA

Tractable reasoning and efficient query answering in description logics: The DL-Lite family (2007)

Cached

Download Links

by Diego Calvanese , G. De Giacomo , Domenico Lembo , Maurizio Lenzerini , Riccardo Rosati

Venue:	J. OF AUTOMATED REASONING
Citations:	496 - 122 self

Citations

1878	Foundations of Databases - Abiteboul, Hull, et al. - 1995
1829	The Entity-Relationship Model: Towards a Unified View of Data - Chen - 1976
586	Complexity of relational query languages - Vardi - 1982
529	Description logic programs: Combining logic programs with description logic - Grosof, Horrocks, et al.
461	Pushing the EL envelope., in - Baader, Brandt, et al. - 2005
369	CLASSIC: A Structural Data Model for Objects. In: - Borgida, Brachman, et al. - 1989
366	Consistent Query Answers in Inconsistent Databases - Arenas, Bertossi, et al. - 1999
210	DL-Lite: Tractable description logics for ontologies - Calvanese, Giacomo, et al. - 2005
207	Data complexity of query answering in description logics. - Calvanese, Giacomo, et al. - 2006
166	AL-log: Integrating Datalog and description logics - Donini, Lenzerini, et al. - 1998
150	Testing containment of conjunctive queries under functional and inclusion dependencies - Johnson, Klug - 1984
149	On the decidability and complexity of query answering over inconsistent and incomplete databases - Calì, Lembo, et al. - 2003
147	Combining Horn rules and description logics in CARIN - Levy, Rousset - 1998
121	Data complexity of reasoning in very expressive description logics. In: - Hustadt, Motik, et al. - 2005
97	Integrity constraints for XML, - Fan, Siméon - 2003
90	QUONTO: Querying Ontologies. In - Acciarri, Calvanese, et al. - 2005
83	Query rewriting and answering under constraints in data integration systems - Calì, Lembo, et al. - 2003
81	Deduction in concept languages: From subsumption to instance checking - Donini, Lenzerini, et al. - 1994
61	Logic programming for consistently querying data integration systems - Bravo, Bertossi - 2003
59	Answering queries using views over description logics knowledge bases - Calvanese, Giacomo, et al. - 2000
38	Reasoning with inclusion axioms in description logics: Algorithms and complexity - Calvanese - 1996
35	Linking data to ontologies: The description logic DL-LiteA. - Calvanese, Giacomo, et al. - 2006
35	On the update of description logic ontologies at the instance level - Giacomo, Lenzerini, et al. - 2006
25	On the decidability and finite controllability of query processing in databases with incomplete information - Rosati - 2006
18	Nardi D and Patel-Schneider P, Eds (2003) The Description Logic Handbook: Theory, Implementation and Applications - Baader, Calvanese, et al.
4	2007, ‘Linking Ontologies to Data - Poggi, Lembo, et al.
2	Levy: 2000, ‘Recursive Query Plans for Data Integration - Duschka, Genesereth, et al.
1	Brachman: 2003, ‘Conceptual Modeling with Description Logics - Borgida, J
1	Eiter: 2006, ‘Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics - Ortiz, Calvanese, et al. - 2006