Journal Articles

Marcelo Arenas, Jonny Daenen, Frank Neven, Jan Van den Bussche, Martin Ugarte and Stijn Vansummeren. Discovering XSD keys from XML data. To appear in ACM Transactions on Database Systems, 2014.

Aidan Hogan, Marcelo Arenas, Alejandro Mallea and Axel Polleres. Everything You Always Wanted to Know About Blank Nodes. Journal of Web Semantics 27-28:42-69, 2014.

Marcelo Arenas, Jorge Perez and Juan Reutter. Data Exchange beyond Complete Data. Journal of the ACM 60(4), Article 28 (59 pages), 2013.

Marcelo Arenas, Pablo Barcelo, Ronald Fagin and Leonid Libkin. Solutions and Query Rewriting in Data Exchange. Information and Computation 228-229:28-61, 2013.

Marcelo Arenas, Jorge Perez, Juan Reutter and Cristian Riveros. The Language of Plain SO-tgds: Composition, Inversion and Structural Properties. Journal of Computer and System Sciences 79(6):763-784, 2013.

Carlos Buil-Aranda, Marcelo Arenas, Oscar Corcho and Axel Polleres. Federating Queries in SPARQL1.1: Syntax, Semantics and Evaluation. Journal of Web Semantics 18(1):1-17, 2013.

Marcelo Arenas, Claudio Gutierrez, Daniel P. Miranker, Jorge Perez and Juan F. Sequeda. Querying Semantic Data on the Web. SIGMOD Record 41(4):6-17, 2012.

Marcelo Arenas, Jorge Perez, Juan Reutter and Cristian Riveros. Query Language based Inverses of Schema Mappings: Semantics, Computation, and Closure Properties. The VLDB Journal 21(6):823-842, 2012.

Marcelo Arenas, Ronald Fagin and Alan Nash. Composition with Target Constraints. Logical Methods in Computer Science 7(3), Article 13 (38 pages), 2011. (Selected papers from ICDT'11).

Marcelo Arenas, Pablo Barcelo and Leonid Libkin. Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization. Theory of Computing Systems. 49(3):639-670, 2011.

Marcelo Arenas, Pablo Barcelo and Juan Reutter. Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries. Theory of Computing Systems 49(2):489-564, 2011. (Selected papers from ICDT'09).

Jorge Perez, Marcelo Arenas and Claudio Gutierrez. nSPARQL: A navigational language for RDF. Journal of Web Semantics 8(4):255-270, 2010.

Marcelo Arenas, Jorge Perez and Cristian Riveros. The Recovery of a Schema Mapping: Bringing Exchanged Data Back. ACM Transactions on Database Systems, 34(4), Article 22 (48 pages), 2009. (Selected papers from PODS'08). (Online appendix)

Marcelo Arenas, Jorge Perez, Juan Reutter and Cristian Riveros. Composition and Inversion of Schema Mappings. SIGMOD Record, 38(3):17-28, 2009.

Jorge Perez, Marcelo Arenas and Claudio Gutierrez. Semantics and Complexity of SPARQL. ACM Transactions on Database Systems, 34(3), Article 16 (45 pages), 2009. (Errata)

Rajeev Alur, Marcelo Arenas, Pablo Barcelo, Kousha Etessami, Neil Immerman and Leonid Libkin. First-Order and Temporal Logics for Nested Words. Logical Methods in Computer Science, 4(4:11):1-44, 2008. (Selected papers from LICS'07).

Marcelo Arenas, Wenfei Fan and Leonid Libkin. On the Complexity of Verifying Consistency of XML Specifications. SIAM Journal on Computing, 38(3):841-880, 2008.

Marcelo Arenas and Leonid Libkin. XML Data Exchange: Consistency and Query Answering. Journal of the ACM, 55(2), Article 7 (72 pages), 2008. (Selected papers from PODS'05).

Marcelo Arenas, Pablo Barcelo and Leonid Libkin. Game-based Notions of Locality over Finite Models. Annals of Pure and Applied Logic, 152(1-3):3-30, 2008.

Marcelo Arenas. Normalization Theory for XML. SIGMOD Record, 35(4): 57-64, 2006.

Marcelo Arenas and Leonid Libkin. An Information-Theoretic Approach to Normal Forms for Relational and XML Data. Journal of the ACM, 52(2):246-283, 2005. (Selected papers from PODS'03).

Marcelo Arenas and Leonid Libkin. A Normal Form for XML Documents. ACM Transactions on Databases Systems, 29(1):195-232, 2004. (Selected papers from SIGMOD/PODS'02). (Online appendix)

Marcelo Arenas, Leopoldo Bertossi and Jan Chomicki. Answer Sets for Consistent Query Answering in Inconsistent Databases. Theory and Practice of Logic Programming, 3(4+5):393-424, 2003.

Marcelo Arenas, Leopoldo Bertossi, Jan Chomicki, Xin He, Vijay Raghavan and Jeremy Spinrad. Scalar Aggregation in Inconsistent Databases. Theoretical Computer Science, 296(3):405-434, 2003. (Selected papers from ICDT'01).

Marcelo Arenas, Vasiliki Kantere, Anastasios Kementsietsidis, Iluju Kiringa, Renee J. Miller and John Mylopoulos. The Hyperion Project: From Data Integration to Data Coordination. SIGMOD Record 32(3):53-58, 2003.

Marcelo Arenas and Leopoldo Bertossi. Hypothetical Temporal Queries in Databases. Journal of Intelligent Information Systems, 19(2):231-259, 2002.

Leopoldo Bertossi, Marcelo Arenas and Cristian Ferretti. SCDBR: An Automated Reasoner for Specifications of Database Updates. Journal of Intelligent Information Systems, 10(3):253-280, 1998.

Conference Articles

Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska and Dmitriy Zheleznyakov. Faceted Search over Ontology-Enhanced RDF Data. To appear in Proceedings of the 23rd ACM International Conference on Information and Knowledge Management (CIKM'14), Shanghai, China, 2014.

Juan F. Sequeda, Marcelo Arenas and Daniel P. Miranker. OBDA: Query Rewriting or Materialization? In Practice, Both! To appear in Proceedings of the 13th International Semantic Web Conference (ISWC'14), Riva del Garda, Trento, Italy, 2014.

Marcelo Arenas, Gonzalo Diaz, Achille Fokoue, Anastasios Kementsietsidis and Kavitha Srinivas. A Principled Approach to Bridging the Gap between Graph Data and their Schemas. To appear in Proceedings of the 40th International Conference on Very Large Data Bases (VLDB'14), Hangzhou, China, 2014.

Marcelo Arenas, Georg Gottlob and Andreas Pieris. Expressive Languages for Querying the Semantic Web. In Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'14), Snowbird, UT, USA, pages 14–26, 2014.

Marcelo Arenas, Elena Botoeva, Diego Calvanese and Vladislav Ryzhikov. Exchanging OWL 2 QL Knowledge Bases. In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13), Beijing, China, pages 703-710, 2013.

Marcelo Arenas, Jonny Daenen, Frank Neven, Jan Van den Bussche, Martin Ugarte and Stijn Vansummeren. Discovering XSD keys from XML data. In Proceedings of the SIGMOD International Conference on Management of Data (SIGMOD'13), New York, USA, pages 61-72, 2013.

Marcelo Arenas, Sebastian Conca and Jorge Perez. Counting beyond a Yottabyte, or how SPARQL 1.1 Property Paths will prevent adoption of the standard. In Proceedings of the 21st International Conference on World Wide Web (WWW'12), Lyon, France, pages 629-638, 2012.

Juan F. Sequeda, Marcelo Arenas and Daniel P. Miranker. On Directly Mapping Relational Databases to RDF and OWL. In Proceedings of the 21st International Conference on World Wide Web (WWW'12), Lyon, France, pages 649-658, 2012.

Alejandro Mallea, Marcelo Arenas, Aidan Hogan and Axel Polleres. On Blank Nodes. In Proceedings of the 10th International Semantic Web Conference (ISWC'11), Bonn, Germany, pages 421-437, 2011.

Marcelo Arenas, Jorge Perez and Juan Reutter. Data Exchange beyond Complete Data. In Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'11), Athens, Greece, pages 83-94, 2011.

Marcelo Arenas and Jorge Perez. Querying Semantic Web Data with SPARQL: State of the Art and Research Perspectives. In Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'11), Athens, Greece, pages 305-316, 2011.

Carlos Buil-Aranda, Marcelo Arenas and Oscar Corcho. Semantics and Optimization of the SPARQL 1.1 Federation Extension. In Proceedings of the 8th Extended Semantic Web Conference (ESWC'11), Heraklion, Greece, pages 1-15, 2011.

Marcelo Arenas, Jorge Perez, Juan Reutter and Cristian Riveros. Foundations of Schema Mapping Management. In Proceedings of the 29th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'10), Indianapolis, Indiana, USA, pages 227-238, 2010.

Marcelo Arenas, Ronald Fagin and Alan Nash. Composition with Target Constraints. In Proceedings of the 13th International Conference on Database Theory (ICDT'10), Lausanne, Switzerland, 2010.

Marcelo Arenas, Jorge Perez, Juan Reutter and Cristian Riveros. Inverting Schema Mappings: Bridging the Gap between Theory and Practice. In Proceedings of the 35th International Conference on Very Large Data Bases (VLDB'09), Lyon, France, pages 1018-1029, 2009.

Marcelo Arenas, Pablo Barcelo and Juan Reutter. Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries. In Proceedings of the 12th International Conference on Database Theory (ICDT'09), Saint-Petersburg, Russia, pages 73-83, 2009.

Jorge Perez, Marcelo Arenas and Claudio Gutierrez. nSPARQL: A Navigational Language for RDF. In Proceedings of the 7th International Semantic Web Conference (ISWC'08), Karlsruhe, Germany, volume 5318 of Lecture Notes Computer Science, pages 66-81, 2008.

Marcelo Arenas, Jorge Perez and Cristian Riveros. The Recovery of a Schema Mapping: Bringing Exchanged Data Back. In Proceedings of the 27th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'08), Vancouver, Canada, pages 13-22, 2008.

Rajeev Alur, Marcelo Arenas, Pablo Barcelo, Kousha Etessami, Neil Immerman and Leonid Libkin. First-Order and Temporal Logics for Nested Words. In Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science (LICS'07), Wroclaw, Poland, pages 151-160, 2007.

Marcelo Arenas, Pablo Barcelo and Leonid Libkin. Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization. In Proceedings of the 34th International Colloquium on Automata, Languages and Programming (ICALP'07), Wroclaw, Poland, volume 4596 of Lecture Notes in Computer Science, pages 888-900, 2007. (Errata)

Marcelo Arenas, Pablo Barcelo and Leonid Libkin. Combining Temporal Logics for Querying XML Documents. In Proceedings of the 11th International Conference on Database Theory (ICDT'07), Barcelona, Spain, volume 4353 of Lecture Notes in Computer Science, pages 359-373, 2007.

Jorge Perez, Marcelo Arenas and Claudio Gutierrez. Semantics and Complexity of SPARQL. In Proceedings of the 5th International Semantic Web Conference (ISWC'06), Athens, GA, USA, volume 4273 of Lecture Notes in Computer Science, pages 30-43, Springer, 2006. (Errata)

Marcelo Arenas and Leonid Libkin. XML Data Exchange: Consistency and Query Answering. In Proceedings of the 24th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'05), Baltimore, USA, pages 13-24, 2005.

Marcelo Arenas, Pablo Barcelo and Leonid Libkin. Game-based Notions of Locality over Finite Models. In Proceedings of the 18th Annual Conference of the European Association for Computer Science Logic (CSL'04), Karpacz, Poland, volume 3210 of Lecture Notes in Computer Science, pages 175-189, Springer, 2004.

Marcelo Arenas, Pablo Barcelo, Ronald Fagin and Leonid Libkin. Locally Consistent Transformations and Query Answering in Data Exchange. In Proceedings of the 23rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'04), Paris, France, pages 229-240, 2004.

Anastasios Kementsietsidis and Marcelo Arenas. Data Sharing Through Query Translation in Autonomous Sources. In Proceedings of the 30th International Conference on Very Large Data Bases (VLDB'04), Toronto, Canada, pages 468-479, 2004.

Denilson Barbosa, Alberto Mendelzon, Leonid Libkin, Laurent Mignet and Marcelo Arenas. Efficient Incremental Validation of XML Documents. In Proceedings of the 20th International Conference on Data Engineering (ICDE'04), Boston, USA, pages 671-682, 2004.

Marcelo Arenas and Leonid Libkin. An Information-Theoretic Approach to Normal Forms for Relational and XML Data. In Proceedings of the 22nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'03), San Diego, USA, pages 15-26, 2003.

Anastasios Kementsietsidis, Marcelo Arenas and Renee J. Miller. Mapping Data in Peer-to-Peer Systems: Semantics and Algorithmic Issues. In Proceedings of the SIGMOD International Conference on Management of Data (SIGMOD'03), San Diego, USA, pages 325-336. 2003. (Also presented in the 2nd Hellenic Data Management Symposium (HDMS'03), Athens, Greece, 2003)

Marcelo Arenas, Wenfei Fan and Leonid Libkin. On Verifying Consistency of XML Specifications. In Proceedings of the 21st ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'02), Madison, USA, pages 259-270. 2002.

Marcelo Arenas and Leonid Libkin. A Normal Form for XML Documents. In Proceedings of the 21st ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'02), Madison, USA, pages 85-96. 2002.

Marcelo Arenas, Wenfei Fan and Leonid Libkin. What's Hard about XML Schema Constraints? Proceedings of the 13th International Conference on Database and Expert Systems Applications (DEXA'02), Aix en Provence, France, volume 2453 of Lecture Notes in Computer Science, pages 269-278, Springer, 2002.

Marcelo Arenas, Leopoldo Bertossi and Jan Chomicki. Scalar Aggregation in FD-Inconsistent Databases. In Proceedings of the 8th International Conference on Database Theory (ICDT'01), London, UK, volume 1973 of Lecture Notes in Computer Science, pages 39-53. Springer, 2001.

Marcelo Arenas, Leopoldo Bertossi and Jan Chomicki. Specifying and Querying Database Repairs using Logic Programs with Exceptions. In Proceedings of the 4th International Conference on Flexible Query Answering Systems (FQAS'00), Warsaw, Poland, pages 27-41. Springer, 2000.

Marcelo Arenas, Leopoldo Bertossi and Michael Kifer. Applications of Annotated Predicate Calculus to Querying Inconsistent Databases. In Proceedings of the 6th International Conference on Rules and Objects in Databases (DOOD'00), London, UK, volume 1861 of Lecture Notes in Artificial Intelligence, pages 926-941. Springer, 2000. (Errata)

Marcelo Arenas, Leopoldo Bertossi, Loreto Bravo, Laura Gallardo and Achim Sydow. Environmental Information System for Analysis and Forecast of Air Pollution (Application to Santiago de Chile). In Proceedings of the International Conference on Environmental Modeling and Simulation (ICEMS'00), San Diego, USA, pages 71-75, 2000.

Marcelo Arenas, Leopoldo Bertossi and Jan Chomicki. Consistent Query Answers in Inconsistent Databases. In Proceedings of the 18th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'99), Philadelphia, USA, pages 68-79. ACM Press, 1999.

Marcelo Arenas, Leopoldo Bertossi and Jan Chomicki. Query Evaluation in Almost Consistent Databases using Residues. In Proceedings of the 18th International Conference of the Chilean Computer Science Society (SCCC'98), Antofagasta, Chile, pages 8 -14. IEEE CS Press, 1998.

Book Chapters

Marcelo Arenas, Jorge Perez. Federation and Navigation in SPARQL 1.1. In Reasoning Web: Semantic Technologies for Advanced Query Answering - 8th International Summer School, T. Eiter and T. Krennwallner, editors, volume 7487 of Lecture Notes in Computer Science, pages 78-111, Springer, 2012.

Marcelo Arenas, Pablo Barcelo and Juan Reutter. Datalog as a Query Language for Data Exchange Systems. In Datalog 2010, O. de Moor, G. Gottlob, T. Furche and A. Jon Sellers, editors, pages 302-320, Springer, 2010.

Marcelo Arenas, Claudio Gutierrez and Jorge Perez. Foundations of RDF Databases. In Reasoning Web: Semantic technologies for information systems - 5th International Summer School, S. Tessaris and E. Franconi, editors, volume 5689 of Lecture Notes Computer Science, pages 158-204, Springer, 2009.

Marcelo Arenas, Wenfei Fan and Leonid Libkin. Consistency of XML Specifications. In Inconsistency Tolerance, L. Bertossi, A. Hunter, T. Schaub, editors, Springer "state of the art" subseries, pages 15-41, 2005.

Marcelo Arenas and Leopoldo Bertossi. The Dynamics of Database Views. In Transactions and Change in Logic Databases, H. Decker, B. Freitag, M. Kifer, and A. Voronkov, editors, volume 1472 of Lecture Notes in Computer Science, pages 197-226, Springer, 1998.

Ph.D. Thesis

Marcelo Arenas. Design Principles for XML Data. Ph.D thesis, University of Toronto.

Workshop Papers, Posters, Short Papers, ...

Marcelo Arenas, Elena Botoeva, Diego Calvanese and Vladislav Ryzhikov. Computing Solutions in OWL 2 QL Knowledge Exchange. In Proceedings of the 26th International Workshop on Description Logics (DL'13), Ulm, Germany, pages 4-16, 2013.

Marcelo Arenas, Jorge Perez and Emanuel Sallinger. Towards General Representability in Knowledge Exchange. In Proceedings of the 7th Alberto Mendelzon Workshop on Foundations of Data Management (AMW'13). Puebla, Mexico, 2013.

Juan F. Sequeda, Marcelo Arenas and Daniel P. Miranker. Ontology-Based Data Access Using Views. In Proceedings of the 6th International Conference on Web Reasoning and Rule Systems (RR'12). Vienna, Austria, pages 262-265, 2012.

Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov and Evgeny Sherkhonov. Exchanging Description Logic Knowledge Bases. In Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12). Rome, Italy, pages 563-567, 2012.

Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov and Evgeny Sherkhonov. Representability in DL-LiteR Knowledge Base Exchange. In Proceedings of the 25th International Workshop on Description Logics (DL'12), Rome, Italy, 2012.

Marcelo Arenas, Claudio Gutierrez and Jorge Perez. Some Remarks on the Paper semQA: SPARQL with Idempotent Disjunction. IEEE Transactions on Knowledge and Data Engineering 23(4):638-639, 2011.

Marcelo Arenas, Elena Botoeva and Diego Calvanese. Knowledge Base Exchange. In Proceedings of the 24th International Workshop on Description Logics (DL'11). Barcelona, Spain, 2011.

Marcelo Arenas, Mariano Consens and Alejandro Mallea. Revisiting Blank Nodes in RDF to Avoid the Semantic Mismatch with SPARQL. In W3C Workshop RDF Next Steps. Stanford, CA, USA, 2010.

Marcelo Arenas and Leopoldo Bertossi. On the Decidability of Consistent Query Answering. In Proceedings of the 4th Alberto Mendelzon Workshop on Foundations of Data Management (AMW'10). Buenos Aires, Argentina, 2010.

Marcelo Arenas, Claudio Gutierrez and Jorge Perez. An Extension of SPARQL for RDFS. In Proceedings of the Joint ODBIS & SWDB workshop on Semantic Web, Ontologies, Databases, Vienna, Austria, volume 5005 of Lecture Notes Computer Science, pages 1-20, 2007.

Vasiliki Kantere, Iluju Kiringa, John Mylopoulos, Anastasios Kementsietsidis and Marcelo Arenas. Coordinating Peer Databases Using ECA Rules. In Proceedings of the International Workshop on Databases, Information Systems and Peer-to-Peer Computing (DBISP2P'03). Berlin, Germany, volume 2944 of Lecture Notes in Computer Science, pages 108-122. Springer, 2003.

Marcelo Arenas, Pablo Barcelo and Leonid Libkin. Game-based Notions of Locality. Short presentation, Eighteenth Annual IEEE Symposium on Logic in Computer Science (LICS'03). Ottawa, Canada. 2003.

Anastasios Kementsietsidis, Marcelo Arenas and Renee J. Miller. Managing Data Mappings in the Hyperion Project. In Proceedings of the 19th International Conference on Data Engineering (ICDE'03). Bangalore, India, pages 732-734. 2003.

Marcelo Arenas and Leopoldo Bertossi. Hypothetical Temporal Reasoning with History Encoding (Extended Abstract). In Proceedings of Workshop on Reasoning about Actions: Foundations and Applications (part of ESSLLI'98), Saarbrueken, Germany, 1998.

Marcelo Arenas and Leopoldo Bertossi. Hypothetical Temporal Queries in Databases. In Proceedings of the 5th International Workshop on Knowledge Representation Meets Databases (KRDB'98): Innovative Application Programming and Query Interfaces, Seattle, USA, pages 4.1-4.8, 1998.