Marcelo Arenas

Carlos Buil Aranda, Marcelo Arenas, Óscar Corcho, Axel Polleres: Federating queries in SPARQL 1.1: Syntax, semantics and evaluation. J. Web Sem. 18(1): 1-17 (2013)

Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov: Exchanging OWL 2 QL Knowledge Bases. CoRR abs/1304.5810 (2013)

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

Marcelo Arenas, Jorge Pérez, Juan L. Reutter, Cristian Riveros: Query language-based inverses of schema mappings: semantics, computation, and closure properties. VLDB J. 21(6): 823-842 (2012)

Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov: Representability in DL-Lite_R Knowledge Base Exchange. Description Logics 2012

Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov: Exchanging Description Logic Knowledge Bases. KR 2012

Juan Sequeda, Marcelo Arenas, Daniel P. Miranker: Ontology-Based Data Access Using Views. RR 2012: 262-265

Marcelo Arenas, Jorge Pérez: Federation and Navigation in SPARQL 1.1. Reasoning Web 2012: 78-111

Marcelo Arenas, Sebastián Conca, Jorge Pérez: Counting beyond a Yottabyte, or how SPARQL 1.1 property paths will prevent adoption of the standard. WWW 2012: 629-638

Juan Sequeda, Marcelo Arenas, Daniel P. Miranker: On directly mapping relational databases to RDF and OWL. WWW 2012: 649-658

Juan Sequeda, Marcelo Arenas, Daniel P. Miranker: On Directly Mapping Relational Databases to RDF and OWL (Extended Version). CoRR abs/1202.3667 (2012)

Marcelo Arenas, Ronald Fagin, Alan Nash: Composition with Target Constraints. Logical Methods in Computer Science 7(3) (2011)

Marcelo Arenas: Guest editorial: Special issue on database theory. J. Comput. Syst. Sci. 77(3): 449 (2011)

Marcelo Arenas, Pablo Barceló, Juan L. Reutter: Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries. Theory Comput. Syst. 49(2): 489-564 (2011)

Marcelo Arenas, Pablo Barceló, Leonid Libkin: Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization. Theory Comput. Syst. 49(3): 639-670 (2011)

Marcelo Arenas, Claudio Gutierrez, Jorge Pérez: Some Remarks on the Paper "semQA: SPARQL with Idempotent Disjunction". IEEE Trans. Knowl. Data Eng. 23(4): 638-639 (2011)

Marcelo Arenas: Exchanging More than Complete Data. Description Logics 2011

Marcelo Arenas, Elena Botoeva, Diego Calvanese: Knowledge Base Exchange. Description Logics 2011

Carlos Buil Aranda, Marcelo Arenas, Óscar Corcho: Semantics and Optimization of the SPARQL 1.1 Federation Extension. ESWC (2) 2011: 1-15

Marcelo Arenas, Jorge Pérez, Juan L. Reutter: Data exchange beyond complete data. PODS 2011: 83-94

Marcelo Arenas, Jorge Pérez: Querying semantic web data with SPARQL. PODS 2011: 305-316

Marcelo Arenas: Exchanging More Than Complete Data. RR 2011: 1

Alejandro Mallea, Marcelo Arenas, Aidan Hogan, Axel Polleres: On Blank Nodes. International Semantic Web Conference (1) 2011: 421-437

Axel Polleres, Claudia d'Amato, Marcelo Arenas, Siegfried Handschuh, Paula Kroner, Sascha Ossowski, Peter F. Patel-Schneider (Eds.): Reasoning Web. Semantic Technologies for the Web of Data - 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures. Lecture Notes in Computer Science 6848, Springer 2011, isbn 978-3-642-23031-8

Marcelo Arenas, Pablo Barceló, Leonid Libkin, Filip Murlak: Relational and XML Data Exchange. Synthesis Lectures on Data Management, Morgan & Claypool Publishers 2010

Jorge Pérez, Marcelo Arenas, Claudio Gutierrez: nSPARQL: A navigational language for RDF. J. Web Sem. 8(4): 255-270 (2010)

Marcelo Arenas, Leopoldo E. Bertossi: On the Decidability of Consistent Query Answering. AMW 2010

Marcelo Arenas, Pablo Barceló, Juan L. Reutter: Datalog as a Query Language for Data Exchange Systems. Datalog 2010: 302-320

Marcelo Arenas, Ronald Fagin, Alan Nash: Composition with target constraints. ICDT 2010: 129-142

Marcelo Arenas, Jorge Pérez, Juan L. Reutter, Cristian Riveros: Foundations of schema mapping management. PODS 2010: 227-238

Marcelo Arenas, Michael I. Schwartzbach: Information systems preface. Inf. Syst. 34(7): 577 (2009)

Marcelo Arenas, Jorge Pérez, Juan L. Reutter, Cristian Riveros: Inverting Schema Mappings: Bridging the Gap between Theory and Practice. PVLDB 2(1): 1018-1029 (2009)

Marcelo Arenas, Jorge Pérez, Juan L. Reutter, Cristian Riveros: Composition and inversion of schema mappings. SIGMOD Record 38(3): 17-28 (2009)

Jorge Pérez, Marcelo Arenas, Claudio Gutierrez: Semantics and complexity of SPARQL. ACM Trans. Database Syst. 34(3) (2009)

Marcelo Arenas, Jorge Pérez, Cristian Riveros: The recovery of a schema mapping: Bringing exchanged data back. ACM Trans. Database Syst. 34(4) (2009)

Marcelo Arenas, Pablo Barceló, Juan L. Reutter: Query languages for data exchange: beyond unions of conjunctive queries. ICDT 2009: 73-83

Marcelo Arenas, Claudio Gutierrez, Jorge Pérez: Foundations of RDF Databases. Reasoning Web 2009: 158-204

Marcelo Arenas, Claudio Gutierrez, Jorge Pérez: On the Semantics of SPARQL. Semantic Web Information Management 2009: 281-307

Marcelo Arenas: Boyce-Codd Normal Form. Encyclopedia of Database Systems 2009: 264-265

Marcelo Arenas: Fourth Normal Form. Encyclopedia of Database Systems 2009: 1166-1167

Marcelo Arenas: Normal Forms and Normalization. Encyclopedia of Database Systems 2009: 1917-1920

Marcelo Arenas: Second Normal Form (2NF). Encyclopedia of Database Systems 2009: 2522

Marcelo Arenas: Third Normal Form. Encyclopedia of Database Systems 2009: 3087-3088

Marcelo Arenas: XML Integrity Constraints. Encyclopedia of Database Systems 2009: 3592-3597

Marcelo Arenas, Leopoldo E. Bertossi (Eds.): Proceedings of the 3rd Alberto Mendelzon International Workshop on Foundations of Data Management, Arequipa, Peru, May 12-15, 2009. CEUR Workshop Proceedings 450, CEUR-WS.org 2009

Marcelo Arenas, Benjamin Bustos (Eds.): 2009 International Conference of the Chilean Computer Science Society, SCCC 2009, Santiago, Chile, November 10-12, 2009. IEEE Computer Society 2009, isbn 978-0-7695-4137-2

Marcelo Arenas, Jorge Pérez, Juan L. Reutter, Cristian Riveros: Composition and Inversion of Schema Mappings. CoRR abs/0910.3372 (2009)

Marcelo Arenas, Pablo Barceló, Leonid Libkin: Game-based notions of locality over finite models. Ann. Pure Appl. Logic 152(1-3): 3-30 (2008)

Marcelo Arenas, Leonid Libkin: XML data exchange: Consistency and query answering. J. ACM 55(2) (2008)

Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin: First-Order and Temporal Logics for Nested Words. Logical Methods in Computer Science 4(4) (2008)

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

Marcelo Arenas, Jorge Pérez, Cristian Riveros: The recovery of a schema mapping: bringing exchanged data back. PODS 2008: 13-22

Jorge Pérez, Marcelo Arenas, Claudio Gutierrez: nSPARQL: A Navigational Language for RDF. International Semantic Web Conference 2008: 66-81

Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin: First-Order and Temporal Logics for Nested Words. CoRR abs/0811.0537 (2008)

Marcelo Arenas, Pablo Barceló, Leonid Libkin: Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization. ICALP 2007: 888-900

Marcelo Arenas, Pablo Barceló, Leonid Libkin: Combining Temporal Logics for Querying XML Documents. ICDT 2007: 359-373

Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin: First-Order and Temporal Logics for Nested Words. LICS 2007: 151-160

Marcelo Arenas, Claudio Gutierrez, Jorge Pérez: An Extension of SPARQL for RDFS. SWDB-ODBIS 2007: 1-20

Marcelo Arenas, Michael I. Schwartzbach (Eds.): Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4797, Springer 2007, isbn 978-3-540-75986-7

Marcelo Arenas, Jan Hidders (Eds.): Proceedings of the 1st Workshop on Emerging Research Opportunities for Web Data Management (EROW 2007) Collocated with the 11th International Conference on Database Theory (ICDT 2007), Barcelona, Spain, January 13, 2007. CEUR Workshop Proceedings 229, CEUR-WS.org 2007

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

Marcelo Arenas: Locality of Queries and Transformations. IFIP TCS 2006: 3

Jorge Pérez, Marcelo Arenas, Claudio Gutierrez: Semantics and Complexity of SPARQL. International Semantic Web Conference 2006: 30-43

Jorge Pérez, Marcelo Arenas, Claudio Gutierrez: Semantics and Complexity of SPARQL. CoRR abs/cs/0605124 (2006)

Marcelo Arenas, Leonid Libkin: An information-theoretic approach to normal forms for relational and XML data. J. ACM 52(2): 246-283 (2005)

Marcelo Arenas, Wenfei Fan, Leonid Libkin: Consistency of XML Specifications. Inconsistency Tolerance 2005: 15-41

Marcelo Arenas, Leonid Libkin: XML data exchange: consistency and query answering. PODS 2005: 13-24

Marcelo Arenas, Leonid Libkin: A normal form for XML documents. ACM Trans. Database Syst. 29: 195-232 (2004)

Marcelo Arenas, Pablo Barceló, Leonid Libkin: Game-Based Notions of Locality Over Finite Models. CSL 2004: 175-189

Denilson Barbosa, Alberto O. Mendelzon, Leonid Libkin, Laurent Mignet, Marcelo Arenas: Efficient Incremental Validation of XML Documents. ICDE 2004: 671-682

Marcelo Arenas, Pablo Barceló, Ronald Fagin, Leonid Libkin: Locally Consistent Transformations and Query Answering in Data Exchange. PODS 2004: 229-240

Anastasios Kementsietsidis, Marcelo Arenas: Data Sharing Through Query Translation in Autonomous Sources. VLDB 2004: 468-479

Marcelo Arenas, Vasiliki Kantere, Anastasios Kementsietsidis, Iluju Kiringa, Renée J. Miller, John Mylopoulos: The hyperion project: from data integration to data coordination. SIGMOD Record 32(3): 53-58 (2003)

Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki, Xin He, Vijay Raghavan, Jeremy Spinrad: Scalar aggregation in inconsistent databases. Theor. Comput. Sci. 296(3): 405-434 (2003)

Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki: Answer sets for consistent query answering in inconsistent databases. TPLP 3(4-5): 393-424 (2003)

Vasiliki Kantere, Iluju Kiringa, John Mylopoulos, Anastasios Kementsietsidis, Marcelo Arenas: Coordinating Peer Databases Using ECA Rules. DBISP2P 2003: 108-122

Anastasios Kementsietsidis, Marcelo Arenas, Renée J. Miller: Managing Data Mappings in the Hyperion Project. ICDE 2003: 732-734

Marcelo Arenas, Leonid Libkin: An information-theoretic approach to normal forms for relational and XML data. PODS 2003: 15-26

Anastasios Kementsietsidis, Marcelo Arenas, Renée J. Miller: Mapping Data in Peer-to-Peer Systems: Semantics and Algorithmic Issues. SIGMOD Conference 2003: 325-336

Marcelo Arenas, Leopoldo E. Bertossi: Hypothetical Temporal Reasoning in Databases. J. Intell. Inf. Syst. 19(2): 231-259 (2002)

Marcelo Arenas, Wenfei Fan, Leonid Libkin: What's Hard about XML Schema Constraints? DEXA 2002: 269-278

Marcelo Arenas, Leonid Libkin: A Normal Form for XML Documents. PODS 2002: 85-96

Marcelo Arenas, Wenfei Fan, Leonid Libkin: On Verifying Consistency of XML Specifications. PODS 2002: 259-270

Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki: Answer Sets for Consistent Query Answering in Inconsistent Databases. CoRR cs.DB/0207094 (2002)

Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki: Scalar Aggregation in FD-Inconsistent Databases. ICDT 2001: 39-53

Marcelo Arenas, Leopoldo E. Bertossi, Michael Kifer: Applications of Annotated Predicate Calculus to Querying Inconsistent Databases. Computational Logic 2000: 926-941

Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki: Specifying and Querying Database Repairs using Logic Programs with Exceptions. FQAS 2000: 27-41

Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki: Consistent Query Answers in Inconsistent Databases. PODS 1999: 68-79

Leopoldo E. Bertossi, Marcelo Arenas, Cristian Ferretti: SCDBR: An Automated Reasoner for Specifications of Database Updates. J. Intell. Inf. Syst. 10(3): 253-280 (1998)

Marcelo Arenas, Leopoldo E. Bertossi: The Dynamics of Database Views. Transactions and Change in Logic Databases 1998: 197-226

Marcelo Arenas, Leopoldo E. Bertossi: Hypothetical Temporal Queries in Databases. KRDB 1998: 4.1-4.8

Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki: Query Evaluation in Almost Consistent Databases using Residues. SCCC 1998: 8-14