Tractable reasoning and efficient query answering in description logics: The DL-Lite family. Zbl 1132.68725
Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo |
|
2007
|
Linking data to ontologies. Zbl 1132.68061
Poggi, Antonella; Lembo, Domenico; Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo |
|
2008
|
Rewriting of regular expressions and regular path queries. Zbl 1015.68083
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y. |
|
2002
|
Data complexity of query answering in description logics. Zbl 1270.68294
Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo |
|
2013
|
The complexity of propositional closed world reasoning and circumscription. Zbl 0806.68096
Cadoli, Marco; Lenzerini, Maurizio |
|
1994
|
An epistemic operator for description logics. Zbl 0906.68144
Donini, F. M.; Lenzerini, M.; Nardi, D.; Nutt, W.; Schaerf, A. |
|
1998
|
The complexity of existential quantification in concept languages. Zbl 1193.68241
Donini, Francesco M.; Lenzerini, Maurizio; Nardi, Daniele; Hollunder, Bernhard; Nutt, Werner; Marchetti-Spaccamela, Alberto |
|
1992
|
On instance-level update and erasure in description logic ontologies. Zbl 1181.68274
de Giacomo, Giuseppe; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo |
|
2009
|
Unifying class-based representation formalisms. Zbl 0924.68184
Calvanese, D.; Lenzerini, M.; Nardi, D. |
|
1999
|
The complexity of concept languages. Zbl 0906.68145
Donini, Francesco M.; Lenzerini, Maurizio; Nardi, Daniele |
|
1997
|
Deduction in concept languages: From subsumption to instance checking. Zbl 0809.68109
Donini, Francesco M.; Lenzerini, Maurizio; Nardi, Daniele; Schaerf, Andrea |
|
1994
|
The complexity of concept languages. Zbl 0765.68187
Donini, Francesco M.; Lenzerini, Maurizio; Nardi, Daniele; Nutt, Werner |
|
1991
|
Representing and reasoning on XML documents: A description logic approach. Zbl 0938.68842
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio |
|
1999
|
Ontologies and databases: the DL-lite approach. Zbl 1254.68106
Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rodriguez-Muro, Mariano; Rosati, Riccardo |
|
2009
|
Description logics for conceptual data modeling. Zbl 0905.03016
Calvanese, Diego; Lenzerini, Maurizio; Nardi, Daniele |
|
1998
|
Tractable concept languages. Zbl 0742.68066
Donini, Francesco M.; Lenzerini, Maurizio; Nardi, Daniele; Nutt, Werner |
|
1991
|
Data integration under integrity constraints. Zbl 1046.68694
Calì, Andrea; Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio |
|
2002
|
Reasoning in expressive description logics. Zbl 0992.03036
Calvanese, Diego; De Giacomo, Giuseppe; Nardi, Daniele; Lenzerini, Maurizio |
|
2001
|
View-based query answering and query containment over semistructured data. Zbl 1098.68560
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y. |
|
2002
|
Conjunctive query containment and answering under description logic constraints. Zbl 1367.68084
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio |
|
2008
|
A uniform framework for concept definitions in description logics. Zbl 0894.68095
De Giacomo, G.; Lenzerini, M. |
|
1997
|
Inconsistency tolerance in P2P data integration: An epistemic logic approach. Zbl 1159.68409
Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo |
|
2005
|
Data integration through DL-Lite\(_{\mathcal A}\) ontologies. Zbl 1165.68511
Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo; Ruzzi, Marco |
|
2008
|
View-based query processing: On the relationship between rewriting, answering and losslessness. Zbl 1108.68443
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y. |
|
2005
|
Inheritance hierarchies in knowledge representation and programming languages. Zbl 0743.68121
|
|
1990
|
View-based query processing: on the relationship between rewriting, answering and losslessness. Zbl 1108.68038
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y. |
|
2007
|
Reasoning in description logics. Zbl 0957.03019
Donini, Francesco M.; Lenzerini, Maurizio; Nardi, Daniele; Schaerf, Andrea |
|
1996
|
Description logics for information integration. Zbl 1012.03512
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio |
|
2002
|
Conceptual modeling for data integration. Zbl 1248.68161
Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo |
|
2009
|
View-based query answering in description logics: semantics and complexity. Zbl 1280.68250
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo |
|
2012
|
Actions and programs over description logic knowledge bases: a functional approach. Zbl 1341.68222
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo |
|
2011
|
Updating inconsistent description logic knowledge bases. Zbl 1327.68278
Lenzerini, Maurizio; Savo, Domenico Fabio |
|
2012
|
On simplification of schema mappings. Zbl 1408.68046
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y. |
|
2013
|
Type data bases with incomplete information. Zbl 0717.68021
Lenzerini, Maurizio |
|
1991
|
Accessing data integration systems through conceptual schemas. Zbl 1051.68602
Calì, Andrea; Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio |
|
2001
|
Data integration is harder than you thought (Extended abstract). Zbl 1023.68796
Lenzerini, Maurizio |
|
2001
|
Data complexity of query answering in description logics. Zbl 1270.68294
Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo |
|
2013
|
On simplification of schema mappings. Zbl 1408.68046
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y. |
|
2013
|
View-based query answering in description logics: semantics and complexity. Zbl 1280.68250
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo |
|
2012
|
Updating inconsistent description logic knowledge bases. Zbl 1327.68278
Lenzerini, Maurizio; Savo, Domenico Fabio |
|
2012
|
Actions and programs over description logic knowledge bases: a functional approach. Zbl 1341.68222
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo |
|
2011
|
On instance-level update and erasure in description logic ontologies. Zbl 1181.68274
de Giacomo, Giuseppe; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo |
|
2009
|
Ontologies and databases: the DL-lite approach. Zbl 1254.68106
Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rodriguez-Muro, Mariano; Rosati, Riccardo |
|
2009
|
Conceptual modeling for data integration. Zbl 1248.68161
Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo |
|
2009
|
Linking data to ontologies. Zbl 1132.68061
Poggi, Antonella; Lembo, Domenico; Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo |
|
2008
|
Conjunctive query containment and answering under description logic constraints. Zbl 1367.68084
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio |
|
2008
|
Data integration through DL-Lite\(_{\mathcal A}\) ontologies. Zbl 1165.68511
Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo; Ruzzi, Marco |
|
2008
|
Tractable reasoning and efficient query answering in description logics: The DL-Lite family. Zbl 1132.68725
Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo |
|
2007
|
View-based query processing: on the relationship between rewriting, answering and losslessness. Zbl 1108.68038
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y. |
|
2007
|
Inconsistency tolerance in P2P data integration: An epistemic logic approach. Zbl 1159.68409
Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo |
|
2005
|
View-based query processing: On the relationship between rewriting, answering and losslessness. Zbl 1108.68443
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y. |
|
2005
|
Rewriting of regular expressions and regular path queries. Zbl 1015.68083
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y. |
|
2002
|
Data integration under integrity constraints. Zbl 1046.68694
Calì, Andrea; Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio |
|
2002
|
View-based query answering and query containment over semistructured data. Zbl 1098.68560
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y. |
|
2002
|
Description logics for information integration. Zbl 1012.03512
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio |
|
2002
|
Reasoning in expressive description logics. Zbl 0992.03036
Calvanese, Diego; De Giacomo, Giuseppe; Nardi, Daniele; Lenzerini, Maurizio |
|
2001
|
Accessing data integration systems through conceptual schemas. Zbl 1051.68602
Calì, Andrea; Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio |
|
2001
|
Data integration is harder than you thought (Extended abstract). Zbl 1023.68796
Lenzerini, Maurizio |
|
2001
|
Unifying class-based representation formalisms. Zbl 0924.68184
Calvanese, D.; Lenzerini, M.; Nardi, D. |
|
1999
|
Representing and reasoning on XML documents: A description logic approach. Zbl 0938.68842
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio |
|
1999
|
An epistemic operator for description logics. Zbl 0906.68144
Donini, F. M.; Lenzerini, M.; Nardi, D.; Nutt, W.; Schaerf, A. |
|
1998
|
Description logics for conceptual data modeling. Zbl 0905.03016
Calvanese, Diego; Lenzerini, Maurizio; Nardi, Daniele |
|
1998
|
The complexity of concept languages. Zbl 0906.68145
Donini, Francesco M.; Lenzerini, Maurizio; Nardi, Daniele |
|
1997
|
A uniform framework for concept definitions in description logics. Zbl 0894.68095
De Giacomo, G.; Lenzerini, M. |
|
1997
|
Reasoning in description logics. Zbl 0957.03019
Donini, Francesco M.; Lenzerini, Maurizio; Nardi, Daniele; Schaerf, Andrea |
|
1996
|
The complexity of propositional closed world reasoning and circumscription. Zbl 0806.68096
Cadoli, Marco; Lenzerini, Maurizio |
|
1994
|
Deduction in concept languages: From subsumption to instance checking. Zbl 0809.68109
Donini, Francesco M.; Lenzerini, Maurizio; Nardi, Daniele; Schaerf, Andrea |
|
1994
|
The complexity of existential quantification in concept languages. Zbl 1193.68241
Donini, Francesco M.; Lenzerini, Maurizio; Nardi, Daniele; Hollunder, Bernhard; Nutt, Werner; Marchetti-Spaccamela, Alberto |
|
1992
|
The complexity of concept languages. Zbl 0765.68187
Donini, Francesco M.; Lenzerini, Maurizio; Nardi, Daniele; Nutt, Werner |
|
1991
|
Tractable concept languages. Zbl 0742.68066
Donini, Francesco M.; Lenzerini, Maurizio; Nardi, Daniele; Nutt, Werner |
|
1991
|
Type data bases with incomplete information. Zbl 0717.68021
Lenzerini, Maurizio |
|
1991
|
Inheritance hierarchies in knowledge representation and programming languages. Zbl 0743.68121
|
|
1990
|