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:	468 - 119 self

Citations

1836	V.: Foundations of Databases - Abiteboul, Hull, et al. - 1995
1787	The Entity-Relationship Model: Toward a Unified View of Data - Chen - 1976
578	The complexity of relational query languages - VARDI
521	Description logic programs: Combining logic programs with description logic - Grosof, Horrocks, et al. - 2003
450	Pushing the EL envelope - Baader, Brandt, et al. - 2005
368	Resnick: CLASSIC: A Structural Data Model for Objects - Borgida, Brachman, et al. - 1989
361	Consistent Query Answers in Inconsistent Databases. - Arenas, Bertossi - 2003
207	DL-Lite: Tractable description logics for ontologies - Calvanese, Giacomo, et al. - 2005
206	R.: Data complexity of query answering in description logics - Calvanese, Giacomo, et al. - 2013
164	AL-log: Integrating datalog and description logics - Donini, Lenzerini, et al. - 1998
148	Combining horn rules and description logics in CARIN - Levy, Rousset - 1998
146	On the Decidability and Complexity of Query Answering over Inconsistent and Incomplete Databases. - Calì, Lembo - 2003
146	Testing containment of conjunctive queries under functional and inclusion dependencies - JOHNSON, KLUG - 1984
122	Data complexity of reasoning in very expressive description logics - Hustadt, Motik, et al. - 2005
97	Integrity constraints for XML - Fan, Siméon - 2000
91	QUONTO: QUerying ONTOlogies - Acciarri, Calvanese, et al. - 2005
83	Deduction in concept languages: From subsumption to instance checking - Donini, Lenzerini, et al. - 1994
82	Query rewriting and answering under constraints in data integration systems - Calì, Lembo, et al. - 2003
61	Logic programs for consistently querying data integration systems - Bravo, Bertossi
60	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	On the update of description logic ontologies at the instance level - Giacomo, Lenzerini, et al. - 2006
34	Linking data to ontologies: The description logic DL-LiteA - Calvanese, Giacomo, et al. - 2006
24	On the ddecidability and finite controllability of query processing in databases with incomplete information - Rosati
18	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