Marenas.png_thumb90

Marcelo Arenas

Full Professor

Pontificia Universidad Catolica de Chile

Santiago, Chile

Líneas de Investigación


Database systems: relational databases, semistructured data, XML, graph databases; Semantic Web; Finite model theory; Formal verification; Knowledge representation

Educación

  •  Mathematics, PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE. Chile, 1997
  •  Engineering Sciences, PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE. Chile, 1998
  •  Industrial Civil Engineer, PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE. Chile, 1998
  •  Engineering Sciences, PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE. Chile, 1998
  •  Computer Sciences, UNIVERSITY OF TORONTO. Chile, 2005

Experiencia Académica

  •   Assistant Professor Full Time

    PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE

    Engineering

    Chile

    2005 - 2009

  •   Associate Professor Full Time

    PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE

    Engineering

    Chile

    2009 - 2017

  •   Visiting researcher Full Time

    UNIVERSITY OF OXFORD

    Reino Unido

    2012 - 2013

  •   Summer intern Other

    IBM ALMADEN RESEARCH CENTER

    Estados Unidos

    2004 - 2004

  •   Full Professor Full Time

    PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE

    Engineering

    Chile

    2017 - A la fecha

Experiencia Profesional

  •   Invited Expert Other

    RDB2RDF Working Group. The World Wide Web Consortium (W3C)

    Estados Unidos

    2009 - 2012

  •   Member of the evaluation committee for FONDECYT Other

    National Research Council for Science and Technology

    Chile

    2007 - 2010

  •   Member of the Chilean government committee for the development of a National Artificial Intelligence Policy Part Time

    Gobierno de Chile

    Chile

    2019 - A la fecha

  •   Member of the  OECD Global Science Forum Expert Group on Digital Skills for Data-Intensive Science Part Time

    Organisation for Economic Co-operation and Development (OECD)

    Chile

    2018 - 2020

  •   Leader of the Graph Query Languages task force (GraphQL) Part Time

    Linked Data Benchmark Council (LDBC)

    Chile

    2015 - 2018

Formación de Capital Humano


Graduated PhD Students
- Martín Ugarte. “Building a Query Language for the Web of Data: Efficiency in an Open World”. Pontificia Universidad Católica de Chile, September 2015.
- Jorge Pérez. “Schema Mapping Management in Data Exchange Systems”. Pontificia Universidad Católica de Chile, May 2011. Note: This thesis was awarded the Best PhD Thesis Award at the Pontificia Universidad Católica de Chile.
- Sebástian Castillo. “Blocking Logics: A Class of Paraconsistent Logics, with Applications to the Theory of Computing and Discussion Groups”. Universidad de Chile, November 2007 (co-supervised with Renato Lewin).

Graduated Masters Students
- Pedro Bahamondes. “Temporal Regular Path Queries: Syntax, Semantics, and Complexity”. Pontificia Universidad Católica de Chile, July 2021.
- Thomas Reisenegger. “Semantics and Complexity of Bitcoin Script”. Pontificia Universidad Católica de Chile, May 2021 (co-supervised with Juan Reutter).
- Luis Alberto Croquevielle. “Efficient Logspace Classes For Enumeration, Counting, And Uniform Generation”. Pontificia Universidad Católica de Chile, April 2019.
- Martín Muñoz. “Descriptive Complexity for Counting Complexity Classes”. Pontificia Universidad Católica de Chile, December 2017 (co-supervised with Cristian Riveros). Note: This thesis was awarded the Outstanding Master Thesis Award at the Vienna Center for Logic and Algorithms International Student Awards 2019, Vienna, Austria.
- Gabriel Diéguez. “On the complexity of Bidirectional Constraints for Data Exchange”. Pontificia Universidad Católica de Chile, December 2014.
- Gonzalo Díaz. “A Principled Approach to Bridging the Gap between Graph Data and their Schemas”. Pontificia Universidad Católica de Chile, September 2013.
- Andrés Letelier. “Optimization of Semantic Web Queries using SPARQL Pettern Trees”. Pontificia Universidad Católica de Chile. August 2013.
- Sebastián Conca.“Semantics and Complexity of SPARQL 1.1 Property Paths”. Pontificia Universidad Católica de Chile. March 2012.
- Juan Reutter. “Extending Query Languages for Data Exchange”. Pontificia Universidad Católica de Chile. March 2009.
- Cristian Riveros. “Recovering Information in Data Exchange”. Pontificia Universidad Católica de Chile. July 2008.

Postdoctoral Scholars Mentored
• Martín Ugarte. Pontificia Universidad Católica de Chile, November 2018 - August 2019.
• Francisco Vial. Pontificia Universidad Católica de Chile, August 2017 - May 2019.
• Domagoj Vrgoc. Pontificia Universidad Católica de Chile, July 2014 - July 2016.
• Carlos Buil-Aranda. Pontificia Universidad Católica de Chile, October 2012 - September 2015.


Difusión y Transferencia


The problem of managing large volumes of information is of fundamental importance to modern society. In the last few years, we have developed and studied different technologies for storing, publishing, exchanging and querying large volumes of data. In particular, we have developed, studied and implemented general purpose query languages for the Web of data, which allow users to express queries in a simple and declarative way.


Premios y Distinciones

  •   Distinguished Member of the Association for Computing Machinery (ACM)

    Association for Computing Machinery (ACM)

    Estados Unidos, 2021

    Distinguished Member of the Association for Computing Machinery (ACM), elected in 2021 for outstanding scientific contributions to computing.

  •   ACM SIGMOD Research Highlight Award

    Association for Computing Machinery (ACM)

    Estados Unidos, 2020

    2020 ACM SIGMOD Research Highlight Award for the article “Efficient Logspace Classes for Enumeration, Counting, and Uniform Generation”.

  •   Award for being the most inspiring professor

    PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE

    Chile, 2020

    Award for being the most inspiring professor in the Department of Computer Science, Pontificia Universidad Católica de Chile.

  •   Award for being the most inspiring professor

    PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE

    Chile, 2017

    Award for being the most inspiring professor in the Department of Computer Science, Pontificia Universidad Católica de Chile.

  •   2016 Semantic Web Science Association (SWSA) Ten-Year Award

    Semantic Web Science Association (SWSA)

    Estados Unidos, 2016

    2016 Semantic Web Science Association (SWSA) Ten-Year Award for the article “Semantics and Complexity of SPARQL”, which was published in the International Semantic Web Conference 2006.

  •   Award Scopus Chile 2013 in Computer Science

    Elsevier

    Chile, 2013

    Award Scopus Chile 2013 in Computer Science, awarded by Elsevier to researchers with high scientific productivity, with the support of the National Research Council for Science and Technology of Chile (CONICYT).

  •   Ramón Salas Edwards Award 2012

    INSTITUTO DE INGENIEROS DE CHILE

    Chile, 2012

    “Ramón Salas Edwards” Award 2012 of the Institute of Engineers of Chile to the best research on engineering in the period 2009 - 2011.

  •   Best Paper Award

    ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems

    Holanda, 2019

    Best paper award at the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2019), Amsterdam, The Netherlands, 2019.

  •   Google Best Paper Award

    21st International Conference on World Wide Web (WWW 2012)

    Francia, 2012

    Google Best Paper Award at the 21st International Conference on World Wide Web (WWW 2012), Lyon, France, 2012.

  •   Best Paper Award

    ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2011)

    Grecia, 2011

    Best paper award at the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2011), Athens, Greece, 2011.

  •   Best Paper Award

    Extended Semantic Web Conference (ESWC 2011)

    Grecia, 2011

    Best paper award at the 8th Extended Semantic Web Conference (ESWC 2011), Heraklion, Greece, 2011.

  •   Best Paper Award

    International Conference on Database Theory (ICDT 2010)

    Suiza, 2010

    Best paper award at the 13th International Conference on Database Theory (ICDT 2010), Lausanne, Switzerland, 2010.

  •   Best Paper Award

    International Semantic Web Conference (ISWC 2006)

    Estados Unidos, 2006

    Best paper award at the 5th International Semantic Web Conference (ISWC 2006), Athens, GA, USA, 2006.

  •   Best Paper Award

    ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2005)

    Estados Unidos, 2005

    Best paper award at the 24th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2005), Baltimore, MD, USA, 2005.

  •   Best Paper Award

    ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS 2003)

    Estados Unidos, 2003

    Best paper award at the 22nd ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS 2003), San Diego, CA, USA, 2003.

  •   SIGMOD Jim Gray Doctoral Dissertation Award Honorable Mention

    Association for Computing Machinery (ACM)

    Estados Unidos, 2006

    SIGMOD Jim Gray Doctoral Dissertation Award Honorable Mention for Ph.D dissertation “Design Principles for XML Data”, Chicago, IL, USA, 2006.

  •   Outstanding Teaching Award

    PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE

    Chile, 2008

    2008 Outstanding Teaching Award, Pontificia Universidad Católica de Chile.

  •   College of Engineering Research Award

    PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE

    Chile, 2014

    College of Engineering Research Award, Pontificia Universidad Católica de Chile. Received in the years 2014, 2013, 2010 and 2007.


 

Article (53)

Temporal Regular Path Queries
#NFA Admits an FPRAS: Efficient Enumeration, Counting, and Uniform Generation for Logspace Classes
A Polynomial-Time Approximation Algorithm for Counting Words Accepted by an NFA (Invited Paper)
Is it Possible to Verify if a Transaction is Spendable?
Querying in the Age of Graph Databases and Knowledge Graphs
Screening of COVID-19 cases through a Bayesian network symptoms model and psychophysical olfactory test
The Complexity of Counting Problems Over Incomplete Databases
The Future Is Big Graphs: A Community View on Graph Processing Systems
When Is Approximate Counting for Conjunctive Queries Tractable?
Building digital workforce capacity and skills for data-intensive science
Chile's New Interdisciplinary Institute for Foundational Research on Data
Counting Problems over Incomplete Databases
Cryptocurrency Mining Games with Economic Discount and Decreasing Rewards
DESCRIPTIVE COMPLEXITY FOR COUNTING COMPLEXITY CLASSES
Efficient Logspace Classes for Enumeration, Counting, and Uniform Generation
Database Theory Column Report on PODS 2018
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151)
Designing a Query Language for RDF: Marrying Open and Closed Worlds
Foundations of Modern Graph Query Languages
Foundations of Modern Query Languages for Graph Databases
A framework for annotating CSV-like data
Faceted search over RDF-based knowledge graphs
Knowledge base exchange: The case of OWL 2 QL
Research Directions for Principles of Data Management (Abridged)
The Exact Complexity of the First-Order Logic Definability Problem
A principled approach to bridging the gap between graph data and their schemas
Discovering XSD Keys from XML Data
Everything you always wanted to know about blank nodes
Data Exchange Beyond Complete Data
Federating queries in SPARQL 1.1: Syntax, semantics and evaluation
Solutions and query rewriting in data exchange
The language of plain SO-tgds: Composition, inversion and structural properties
Query language-based inverses of schema mappings: semantics, computation, and closure properties
Querying Semantic Data on the Web
COMPOSITION WITH TARGET CONSTRAINTS
Guest editorial: Special issue on database theory
ON SPECIALITY OF BINARY-LIE ALGEBRAS
Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization
Composition and Inversion of Schema Mappings
Semantics and Complexity of SPARQL
The Recovery of a Schema Mapping: Bringing Exchanged Data Back
A NAVIGATIONAL LANGUAGE FOR RDF
FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS
Game-based notions of locality over finite models
On the complexity of verifying consistency of XML specifications
XML data exchange: Consistency and query answering
Normalization theory for XML
Answer sets for consistent query answering in inconsistent databases
Hypothetical temporal reasoning in databases
Scalar aggregation in FD-inconsistent databases
Applications of annotated predicate calculus to querying inconsistent databases
The Future is Big Graphs! A Community View on Graph Processing Systems

BookWhole (3)

Foundations of data exchange
On the semantics of SPARQL
Relational and XML Data Exchange

ConferencePaper (32)

The Tractability of SHAP-Score-Based Explanations for Classification over Deterministic and Decomposable Boolean Circuits
A note on computing certain answers to queries over incomplete databases
A Datalog-Based Language for Querying RDF Graphs
A preliminary investigation into SPARQL query complexity and federation in Bio2RDF
Bidirectional constraints for exchanging data: Beyond monotone queries
The semantic Web -ISWC 2015: 14th international semantic web conference bethlehem, PA, USA, October 11-15, 2015 proceedings, part II
Enabling faceted search over OWL 2 with SemFacet
Expressive languages for querying the Semantic Web
Expressiveness and complexity of bidirectional constraints for data exchange
Faceted search over ontology-enhanced RDF data
OBDA: Query rewriting or materialization? In practice, both!
Computing solutions in OWL2QL knowledge base exchange
Exchanging OWL 2 QL knowledge bases
Towards general representability in knowledge exchange
Counting beyond a Yottabyte, or how SPARQL 1.1 property paths will prevent adoption of the standard
Exchanging description logic knowledge bases
Federation and navigation in SPARQL 1.1
On directly mapping relational databases to RDF and OWL
Ontology-based data access using views
Representability in DL-LiteR knowledge base exchange
Datalog as a Query Language for Data Exchange Systems
On Blank Nodes
Querying semantic web data with SPARQL
Semantics and optimization of the SPARQL 1.1 federation extension
Foundations of Schema Mapping Management
On the decidability of consistent query answering
Foundations of RDF Databases
An extension of SPARQL for RDFS
nSPARQL: A Navigational Language for RDF
Combining temporal logics for querying XML documents
Locality of queries and transformations: Invited talk
Specifying and querying database repairs using logic programs with exceptions

Editorial (1)

Preface

EditorialMaterial (3)

Some Remarks on the Paper "semQA: SPARQL with Idempotent Disjunction"
Special issue on database theory
Information systems preface

Patent (1)

Determining the schema of a graph dataset

Proyecto (17)

Scaling and massification of KOR (Rapid Olfactory Kit) to allow early detection of COVID-19 cases
Understanding the Implications of Cryptomining over the Fundamental Properties of the Bitcoin Protocol
Millennium Institute for Foundational Research on Data
DESCRIPTIVE COMPLEXITY FOR FUNCTION COMPLEXITY CLASSES
Millennium Nucleus Center for Semantic Web Research
BUILDING THE RIGHT QUERY LANGUAGE FOR THE WEB OF DATA
EASING THE ACCESS TO THE WEB OF DATA
National Research Center for Integrated Natural Disasters Management
WEB DATA MODELS FOR LINKED DATA
Net2 - Network for Enabling Networked Knowledge
SPARQL FOR RDF DATA WITH RDFS VOCABULARY AND BLANK NODES=> SEMANTICS, COMPLEXITY AND IMPLEMENTATION
METADATA MANAGEMENT FOR RELATIONAL AND XML DATA EXCHANGE SYSTEMS
DATA EXCHANGE IN RELATIONAL AND XML DATA.
DATA EXCHANGE IN RELATIONAL AND XML DATA.
HANDLING INCONSISTENCY IN DATA BASES
DATA MODELLING FOR DATA WAREHOUSES FROM THE PERSPECTIVE OF KNOWLEDGE REPRESENTATION
Easing the Access to the Web of Data
98
Marcelo Arenas

Full Professor

Computer Sciences

Pontificia Universidad Catolica de Chile

Santiago, Chile

20
Jorge Pérez

Associate Professor

Departamento de Ciencias de la Computación

Universidad de Chile

Santiago, Chile

9
Pablo Barceló

Full Professor

Pontificia Universidad Católica de Chile

Santiago, Chile

3
Cristian Riveros

Profesor Asistente

Ciencia de la Computación

PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE

Santiago, Chile

3
Aidan Hogan

Assitant Professor

Departamento de Ciencia de la Computación

Universidad de Chile

Santiago, Chile

3
Martín Ugarte

Director de Transferencia Tecnológica

Instituto Milenio Fundamentos de los Datos

Santiago, Chile

2
Domagoj Vrgoc

Postdoctoral Researcher

PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE

Santiago, Chile

1
Juan Herrera

Associate Professor

Department of Transport Engineering and Logistics

Pontificia Universidad Católica de Chile

Santiago, Chile

1
Paula Repetto

Associate Professor

ESCUELA DE PSICOLOGIA, P. UNIVERSIDAD CATOLICA DE CHILE

Santiago, Chile

1
Aldo Cipriano

Full Professor

Electrical Engineering, Mechanical Engineering

PONTIFICIA UNIVERSIDAD CATÓLICA DE CHILE - DEPTO. ING. ELÉCTRICA

Santiago, Chile

1
Renzo Angles

ACADÉMICO JORNADA COMPLETA

CIENCIAS DE LA COMPUTACIÓN

UNIVERSIDAD DE TALCA, DEPARTAMENTO DE CIENCIAS DE LA COMPUTACIÓN

Curicó, Chile

1
Miguel Rios

ASSOCIATE PROFESSOR

ELECTRICAL ENGINEERING

PONTIFICIA UNIVERSIDAD CATÓLICA DE CHILE

Santiago, Chile

1
Manuel Arenas

Profesor Asociado

Matemáticas

Facultad de ciencias naturales matemáticas y del medio ambiente, Universidad Tecnológica Metropolitana

Santiago, Chile

1
Susana Eyheramendy

Full Professor

Universidad Adolfo Ibánez

Santiago, Chile

1
Pedro Saa

Profesor Asistente

Departmento de Ingenieria Quimica y Bioprocesos

Pontificia Universidad Catolica de Chile

Santiago, Chile