Riccardo Rosati Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
j28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Data complexity of query answering in description logics. Artif. Intell. 195: 335-360 (2013)
c115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Floriana Di Pinto, Domenico Lembo, Maurizio Lenzerini, Riccardo Mancini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo: Optimizing query rewriting in ontology-based data access. EDBT 2013: 561-572
2012
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giuseppe De Giacomo, Riccardo De Masellis, Riccardo Rosati: Verification of Conjunctive Artifact-Centric Services. Int. J. Cooperative Inf. Syst. 21(2): 111-140 (2012)
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: View-based query answering in Description Logics: Semantics and complexity. J. Comput. Syst. Sci. 78(1): 26-46 (2012)
c114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Ontology-Based Data Access with Dynamic TBoxes in DL-Lite. AAAI 2012
c113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cristina Civili, Riccardo Rosati: A Broad Class of First-Order Rewritable Tuple-Generating Dependencies. Datalog 2012: 68-80
c112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander Borgida, Jennifer Horkoff, John Mylopoulos, Riccardo Rosati: Experiences in Mapping the Business Intelligence Model to Description Logics, and the Case for Parametric Concepts. Description Logics 2012
c111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo: Inconsistency-Tolerant First-Order Rewritability of DL-Lite with Identification and Denial Assertions. Description Logics 2012
c110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: Query Rewriting under Extensional Constraints in DL-Lite. Description Logics 2012
c109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: Prexto: Query Rewriting under Extensional Constraints in DL - Lite. ESWC 2012: 360-374
c108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati, Enrico Franconi: Generalized Ontology-Based Production Systems. KR 2012
c107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo: Mastro: Ontology-Based Data Access at Work (Extended Abstract). OTM Workshops 2012: 667-668
c106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cristina Civili, Riccardo Rosati: Query Patterns for Existential Rules. RR 2012: 42-57
c105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati, Marco Ruzzi, Mirko Graziosi, Giulia Masotti: Evaluation of Techniques for Inconsistency Handling in OWL 2 QL Ontologies. International Semantic Web Conference (2) 2012: 337-349
2011
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: On the finite controllability of conjunctive query answering in databases under open-world assumption. J. Comput. Syst. Sci. 77(3): 572-594 (2011)
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo: The MASTRO system for ontology-based data access. Semantic Web 2(1): 43-53 (2011)
c104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Higher-Order Description Logics for Domain Metamodeling. AAAI 2011
c103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giulia Masotti, Riccardo Rosati, Marco Ruzzi: Practical ABox Cleaning in DL-Lite (progress report). Description Logics 2011
c102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Mapping Data to Higher-Order Description Logic Knowledge Bases. Description Logics 2011
c101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: On the Complexity of Dealing with Inconsistency in Description Logic Ontologies. IJCAI 2011: 1057-1062
c100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo: Query Rewriting for Inconsistent DL-Lite Ontologies. RR 2011: 155-169
c99no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo: Inconsistency-Tolerant Semantics for Description Logic Ontologies (Extended Abstract). SEBD 2011: 287-294
e1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev (Eds.): Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011. CEUR Workshop Proceedings 745, CEUR-WS.org 2011
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: Reasoning about Minimal Belief and Negation as Failure. CoRR abs/1106.0224 (2011)
2010
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Boris Motik, Riccardo Rosati: Reconciling description logics and rules. J. ACM 57(5) (2010)
c98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero Cangialosi, Giuseppe De Giacomo, Riccardo De Masellis, Riccardo Rosati: Conjunctive Artifact-Centric Services. ICSOC 2010: 318-333
c97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati, Alessandro Almatelli: Improving Query Answering over DL-Lite Ontologies. KR 2010
c96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo: Inconsistency-Tolerant Semantics for Description Logics. RR 2010: 103-117
2009
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati: On Instance-level Update and Erasure in Description Logic Ontologies. J. Log. Comput. 19(5): 745-770 (2009)
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati: Reasoning about actions with sensing under qualitative and probabilistic uncertainty. ACM Trans. Comput. Log. 10(1) (2009)
p2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi: Using OWL in Data Integration. Semantic Web Information Management 2009: 397-424
c95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Conceptual Modeling for Data Integration. Conceptual Modeling: Foundations and Applications 2009: 173-197
c94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: On Higher-Order Description Logics. Description Logics 2009
c93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: Effective Ontology-Based Data Integration. OTM Workshops 2009: 18
c92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati: Ontologies and Databases: The DL-Lite Approach. Reasoning Web 2009: 255-356
2008
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Inconsistency tolerance in P2P data integration: An epistemic logic approach. Inf. Syst. 33(4-5): 360-384 (2008)
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Linking Data to Ontologies. J. Data Semantics 10: 133-173 (2008)
c91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Towards Higher-Order DL-Lite. Description Logics 2008
c90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: Finite Model Reasoning in DL-Lite. ESWC 2008: 215-229
c89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Path-Based Identification Constraints in Description Logics. KR 2008: 231-241
c88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: View-Based Query Answering over Description Logic Ontologies. KR 2008: 242-251
c87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: On Combining Description Logic Ontologies and Nonrecursive Datalog Rules. RR 2008: 13-27
c86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi: Data Integration throughDL-LiteA Ontologies. SDKB 2008: 26-47
2007
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family. J. Autom. Reasoning 39(3): 385-429 (2007)
c85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luigi Dragone, Riccardo Rosati: Checking e-service consistency using Description Logics. IEEE SCC 2007: 162-169
c84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati: On the Approximation of Instance Level Update and Erasure in Description Logics. AAAI 2007: 403-408
c83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Domenico Lembo, Antonella Poggi, Riccardo Rosati: MASTRO-I: Efficient Integration of Relational Data through DL Ontologies. Description Logics 2007
c82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Actions and Programs over Description Logic Ontologies. Description Logics 2007
c81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: On Conjunctive Query Answering in EL. Description Logics 2007
c80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: The Limits of Querying Ontologies. ICDT 2007: 164-178
c79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: EQL-Lite: Effective First-Order Query Processing in Description Logics. IJCAI 2007: 274-279
c78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Boris Motik, Riccardo Rosati: A Faithful Integration of Description Logics with Logic Programming. IJCAI 2007: 477-482
c77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Can OWL Model Football Leagues? OWLED 2007
c76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: On reconciling data exchange, data integration, and peer data management. PODS 2007: 133-142
c75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati: Ontology-based Database Access. SEBD 2007: 324-331
2006
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: Multi-modal nonmonotonic logics of minimal knowledge. Ann. Math. Artif. Intell. 48(3-4): 169-185 (2006)
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Luigi Dragone, Daniele Nardi, Riccardo Rosati, Stefano Trisolini: Enterprise modeling and Data Warehousing in Telecom Italia. Inf. Syst. 31(1): 1-32 (2006)
c74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati: On the Update of Description Logic Ontologies at the Instance Level. AAAI 2006: 1271-1276
c73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Epistemic First-order Queries over Description Logic Knowledge Bases. Description Logics 2006
c72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Domenico Lembo, Riccardo Rosati, Marco Ruzzi: On the First-Order Reducibility of Unions of Conjunctive Queries over Inconsistent Databases. EDBT Workshops 2006: 358-374
c71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: Multimodal Nonmonotonic Logics of Minimal Knowledge. ISAIM 2006
c70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: DL+log: Tight Integration of Description Logics and Disjunctive Datalog. KR 2006: 68-78
c69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Data Complexity of Query Answering in Description Logics. KR 2006: 260-270
c68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati: Linking Data to Ontologies: The Description Logic DL-Lite_A. OWLED 2006
c67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris: Reasoning Support for Ontology Design. OWLED 2006
c66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: On the decidability and finite controllability of query processing in databases with incomplete information. PODS 2006: 356-365
c65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: The limits and possibilities of combining Description Logics and Datalog. RuleML 2006: 3-4
c64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: Integrating Ontologies and Rules: Semantic and Computational Issues. Reasoning Web 2006: 128-151
c63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler: Can OWL and Logic Programming Live Together Happily Ever After? International Semantic Web Conference 2006: 501-514
2005
j15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Iocchi, Daniele Nardi, Riccardo Rosati: Generation of Strong Cyclic Plans with Incomplete Information and Sensing. Intelligenza Artificiale 2(4): 58-65 (2005)
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrea Calì, Domenico Lembo, Riccardo Rosati: A comprehensive semantic framework for data integration systems. J. Applied Logic 3(1): 308-328 (2005)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: On the decidability and complexity of integrating ontologies and rules. J. Web Sem. 3(1): 61-73 (2005)
c62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: DL-Lite: Tractable Description Logics for Ontologies. AAAI 2005: 602-607
c61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati: QuOnto: Querying Ontologies. AAAI 2005: 1670-1671
c60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Grieco, Domenico Lembo, Riccardo Rosati, Marco Ruzzi: Consistent query answering under key and exclusion dependencies: algorithms and experiments. CIKM 2005: 792-799
c59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach. DBPL 2005: 90-105
c58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Data Complexity of Query Answering in Description Logics. Description Logics 2005
c57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati, Georg Gottlob: Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic. IJCAI 2005: 1378-1383
c56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kalka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina: Data Integration: a Challenging ASP Application. LPNMR 2005: 379-383
c55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Tailoring OWL for Data Intensive Ontologies. OWLED 2005
c54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules. PPSWR 2005: 50-64
c53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Grieco, Domenico Lembo, Riccardo Rosati, Marco Ruzzi: Experimenting efficient query answering over inconsistent databases (extended abstract). SEBD 2005: 300-307
c52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nicola Leone, Gianluigi Greco, Giovambattista Ianni, Vincenzino Lio, Giorgio Terracina, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Riccardo Rosati, Domenico Lembo, Maurizio Lenzerini, Marco Ruzzi, Edyta Kalka, Bartosz Nowicki, Witold Staniszkis: The INFOMIX system for advanced integration of incomplete and inconsistent data. SIGMOD Conference 2005: 915-917
c51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Efficiently Managing Data Intensive Ontologies. SWAP 2005
2004
c50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrea Calì, Domenico Lembo, Riccardo Rosati, Marco Ruzzi: Experimenting Data Integration with DIS@DIS. CAiSE 2004: 51-66
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere: DL-Lite: Practical Reasoning for Rich Dls. Description Logics 2004
c48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati: Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty. ECAI 2004: 818-822
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere: Hyper: A Framework for Peer-to-Peer Data Integration on Grids. ICSNW 2004: 144-157
c46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Tackling Inconsistencies in Data Integration through Source Preferences. IQIS 2004: 27-34
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: What to Ask to a Peer: Ontolgoy-based Query Reformulation. KR 2004: 469-478
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati: Qualitative and probabilistic uncertainty in reasoning about actions with sensing. NMR 2004: 240-248
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Logical Foundations of Peer-To-Peer Data Integration. PODS 2004: 241-251
c42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Query Reformulation over Ontology-based Peers. SEBD 2004: 418-425
2003
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: Minimal Belief and Negation as Failure in Multi-Agent Systems. Ann. Math. Artif. Intell. 37(1-2): 5-32 (2003)
p1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrea Calì, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Source Integration for Data Warehousing. Multidimensional Databases 2003: 361-392
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Elio Damaggio, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Semantic Data Integration in P2P Systems. DBISP2P 2003: 77-90
c40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander Borgida, Maurizio Lenzerini, Riccardo Rosati: Description Logics for Databases. Description Logic Handbook 2003: 462-484
c39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrea Calì, Domenico Lembo, Riccardo Rosati: Query rewriting and answering under constraints in data integration systems. IJCAI 2003: 16-21
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Riccardo Rosati: Anwering Recursive Queries under Keys and Foreign Keys is Undecidable. KRDB 2003
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrea Calì, Domenico Lembo, Riccardo Rosati: On the decidability and complexity of query answering over inconsistent and incomplete databases. PODS 2003: 260-271
c36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrea Calì, Domenico Lembo, Riccardo Rosati: Intensional query processing in data integration systems under integrity constraints. SEBD 2003: 475-482
c35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrea Calì, Saverio De Nigris, Domenico Lembo, Gabriele Messineo, Riccardo Rosati, Marco Ruzzi: DIS@DIS: un Sistema per l'Integrazione Semantica dei Dati in Presenza di Vincoli di Integrità. SEBD 2003: 537-544
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrea Calì, Saverio De Nigris, Domenico Lembo, Gabriele Messineo, Riccardo Rosati, Marco Ruzzi: DIS@DIS: A System for Semantic Data Integration under Integrity Constraints. WISE 2003: 335-338
2002
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Francesco M. Donini, Daniele Nardi, Riccardo Rosati: Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Log. 3(2): 177-225 (2002)
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Source inconsistency and incompleteness in data integration. Description Logics 2002
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Source inconsistency and incompleteness in data integration. KRDB 2002
c31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Integrating Inconsistent and Incomplete Data Sources. SEBD 2002: 299-306
2001
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: Data Integration in Data Warehousing. Int. J. Cooperative Inf. Syst. 10(3): 237-271 (2001)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: A Sound and Complete Tableau Calculus for Reasoning about only Knowing and Knowing at Most. Studia Logica 69(1): 171-191 (2001)
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Claudio Castelpietra, A. Guidotti, Luca Iocchi, Daniele Nardi, Riccardo Rosati: Design and Implementation of Cognitive Soccer Robots. RoboCup 2001: 312-318
2000
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: On the decidability and complexity of reasoning about only knowing. Artif. Intell. 116(1-2): 193-215 (2000)
c29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: Minimal Belief and Negation as Failure in Multi-Agent System. CL-2000 Workshop on Computational Logic in Multi-Agent Systems 2000: 7-16
c28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Iocchi, Daniele Nardi, Riccardo Rosati: Planning with sensing, concurrency, and exogenous events: logical framework and implementation. KR 2000: 678-689
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: Tableau Calculus for Only Knowing and Knowing at Most. TABLEAUX 2000: 383-397
1999
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giuseppe De Giacomo, Riccardo Rosati: Minimal Knowledge Approach to Reasoning about Actions and Sensing. Electron. Trans. Artif. Intell. 3(C): 1-18 (1999)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: Reasoning about Minimal Belief and Negation as Failure. J. Artif. Intell. Res. (JAIR) 11: 277-300 (1999)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics. Journal of Logic, Language and Information 8(2): 187-203 (1999)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati: A Theory and Implementation of Cognitive Mobile Robots. J. Log. Comput. 9(5): 759-785 (1999)
j3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati: Data Integration and Reconciliation in data Warehousing: Conceptual Modeling and Reasoning Support. Networking and Information Systems 2(4): 413-432 (1999)
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daniele Nardi, Riccardo Rosati: Generalized Default Logic: Minimal Knowledge, Autoepistemic and Default Reasoning Reconciled. AI*IA 1999: 1-12
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: Towards expressive KR systems integrating datalog and description logics: preliminary report. Description Logics 1999
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: A Principled Approach to Data Integration and Reconciliation in Data Warehousing. DMDW 1999: 16
c23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: Model Checking for Nonmonotonic Logics: Algorithms and Complexity. IJCAI 1999: 76-83
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: Towards First-Order Nonmonotonic Reasoning. LPNMR 1999: 332-346
1998
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: Autoepistemic Description Logics. AI Commun. 11(3-4): 219-221 (1998)
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: Reducing Query Answering to Satisfiability in Nonmonotonic Logics. AAAI/IAAI 1998: 853-858
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: Information Integration: Conceptual Modeling and Reasoning Support. CoopIS 1998: 280-291
c19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: Source Integration in Data Warehousing. DEXA Workshop 1998: 192-197
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati: A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases. Description Logics 1998
c17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: Embedding Minimal Knowledge into Negation as Failure. ECAI 1998: 28-32
c16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: Expressiveness vs. Complexity in Nonmonotonic Knowledge Bases: Propositional Case. ECAI 1998: 47-48
c15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: Description Logic Framework for Information Integration. KR 1998: 2-13
1997
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Francesco M. Donini, Daniele Nardi, Riccardo Rosati: Ground Nonmonotonic Modal Logics. J. Log. Comput. 7(4): 523-548 (1997)
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: Reasoning with Minimal Belief and Negation as Failure: Algorithms and Complexity. AAAI/IAAI 1997: 430-435
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: Embedding Minimal Knowledge into Autoepistemic Logic. AI*IA 1997: 231-241
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati: Description Logic-baqsed Framrwork for Planning with Sensing Actions. Description Logics 1997
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati: Planning with Sensing for a Mobile Robot. ECP 1997: 156-168
c10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Francesco M. Donini, Daniele Nardi, Riccardo Rosati: Autoepistemic Description Logics. IJCAI (1) 1997: 136-141
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: Complexity of Only Knowing: The Propositional Case. LPNMR 1997: 76-91
1996
c8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: On the Complexity of Reasoning with Negation as Failure. DDLP 1996: 107-118
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Riccardo Rosati: On the Semantics of Epistemic Description Logics. Description Logics 1996: 185-188
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Francesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati: A Uniform Tableaux Method for Nonmonotonic Modal Logics. JELIA 1996: 87-103
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati: Moving a Robot: The KR&R Approach at Work. KR 1996: 198-209
1995
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Francesco M. Donini, Daniele Nardi, Riccardo Rosati: Non-first-order features in concept languages. AI*IA 1995: 91-102
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daniele Nardi, Riccardo Rosati: A Preference Semantics for Ground Nonmonotonic Modal Logics. EPIA 1995: 223-235
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Francesco M. Donini, Daniele Nardi, Riccardo Rosati: Ground Nonmonotonic Modal Logics for Knowledge Representation. WOCFAI 1995: 133-144
1992
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daniele Nardi, Riccardo Rosati: Deductive Synthesis of Programs for Query Answering. LOPSTR 1992: 15-29

Coauthor Index

1Andrea Acciarri
[c61]
2Alessandro Almatelli
[c97]
3Franz Baader
[c67]
4Alexander Borgida
[c112] [c40]
5Diego Calvanese
[j28] [j26] [j24] [p2] [c95] [c92] [j20] [j19] [c89] [c88] [c86] [j18] [c83] [c82] [c79] [c77] [c75] [j16] [c73] [c69] [c68] [c62] [c61] [c59] [c58] [c51] [c49] [c47] [c45] [c43] [c42] [c41] [c38] [j10] [j3] [c24] [c20] [c19] [c18] [c15]
6Andrea Calì
[j14] [c50] [p1] [c39] [c37] [c36] [c35] [c34]
7Piero Cangialosi
[c98]
8Claudio Castelpietra
[c30]
9Cristina Civili
[c113] [c106]
10Elio Damaggio
[c41]
11Francesco M. Donini
[j11] [j1] [c10] [c6] [c4] [c2]
12Luigi Dragone
[c85] [j16]
13Thomas Eiter
[c56] [c52]
14Wolfgang Faber
[c56] [c52]
15Michael Fink
[c56] [c52]
16Enrico Franconi
[c108] [c67]
17Giuseppe De Giacomo
[j28] [j27] [j26] [c114] [c107] [j24] [c104] [c102] [c98] [j22] [p2] [c95] [c94] [c92] [j20] [j19] [c91] [c89] [c88] [c86] [j18] [c84] [c83] [c82] [c79] [c77] [c76] [c75] [c74] [c73] [c69] [c68] [c62] [c61] [c59] [c58] [c55] [c51] [c49] [c47] [c46] [c45] [c43] [c42] [c41] [j10] [j7] [j4] [j3] [c24] [c20] [c19] [c18] [c15] [c12] [c11] [c5]
18Georg Gottlob
[c57] [c56] [c52]
19Luigi Granata
[c56]
20Mirko Graziosi
[c105]
21Gianluigi Greco
[c56] [c52]
22Luca Grieco
[c60] [c53]
23A. Guidotti
[c30]
24Jennifer Horkoff
[c112]
25Ian Horrocks
[c63]
26Giovambattista Ianni
[c56] [c52]
27Luca Iocchi
[j21] [j15] [c48] [c44] [c30] [c28] [j4] [c12] [c11] [c5]
28Edyta Kalka
[c56] [c52]
29Domenico Lembo
[j28] [c115] [c111] [c107] [j24] [c100] [c99] [c96] [p2] [c95] [c92] [j20] [j19] [c89] [c86] [j18] [c83] [c79] [c77] [c76] [c75] [c73] [c72] [c69] [c68] [c67] [j14] [c62] [c61] [c60] [c59] [c58] [c56] [c55] [c53] [c52] [c51] [c50] [c46] [c45] [c42] [p1] [c39] [c37] [c36] [c35] [c34] [c33] [c32] [c31]
30Maurizio Lenzerini
[j28] [c115] [j26] [c114] [c111] [c107] [j24] [c104] [c102] [c100] [c99] [c96] [j22] [p2] [c95] [c94] [c92] [j20] [j19] [c91] [c89] [c88] [c86] [j18] [c84] [c83] [c82] [c79] [c77] [c76] [c75] [c74] [c73] [c69] [c68] [c62] [c61] [c59] [c58] [c56] [c55] [c52] [c51] [c49] [c47] [c46] [c45] [c43] [c42] [p1] [c41] [c40] [c33] [c32] [c31] [j10] [c24] [c20] [c19] [c15]
31Nicola Leone
[c56] [c52]
32Vincenzino Lio
[c56] [c52]
33Thomas Lukasiewicz
[j21] [c48] [c44]
34Carsten Lutz
[c67]
35Riccardo Mancini
[c115]
36Riccardo De Masellis
[j27] [c98]
37Giulia Masotti
[c105] [c103]
38Fabio Massacci
[c6]
39Gabriele Messineo
[c35] [c34]
40Boris Motik
[j23] [c78] [c63]
41John Mylopoulos
[c112]
42Ralf Möller
[c67]
43Daniele Nardi
[j21] [j16] [j15] [c48] [c44] [j11] [j10] [c30] [c28] [j4] [c26] [c24] [c20] [c19] [c15] [j1] [c12] [c11] [c10] [c6] [c5] [c4] [c3] [c2] [c1]
44Saverio De Nigris
[c35] [c34]
45Bartosz Nowicki
[c56] [c52]
46Mattia Palmieri
[c61]
47Floriana Di Pinto
[c115] [c114] [c102]
48Antonella Poggi
[c115] [c107] [j24] [j22] [c92] [j19] [c86] [c84] [c83] [c75] [c74] [c68]
49Mariano Rodriguez-Muro (Mariano Rodriguez)
[j24] [c92]
50Sebastian Rudolph
[e1]
51Marco Ruzzi
[c115] [c111] [c107] [c105] [j24] [c103] [c100] [c99] [c96] [p2] [c86] [c72] [c60] [c56] [c53] [c52] [c50] [c35] [c34]
52Ulrike Sattler (Uli Sattler)
[c67] [c63]
53Domenico Fabio Savo
[c115] [c111] [c107] [j24] [c100] [c99] [c96]
54Witold Staniszkis
[c56] [c52]
55Boontawee Suntisrivaraporn
[c67]
56Giorgio Terracina
[c56] [c52]
57Sergio Tessaris
[c67]
58Stefano Trisolini
[j16]
59Guido Vetere
[c49] [c47]
60Michael Zakharyaschev
[e1]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 26 01:46:09 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page