Marenas.png_thumb90

Marcelo Arenas

Associate 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
- Luis Alberto Croquevielle. “Efficient Logspace Classes For Enumeration, Counting, And Uniform Generation”. Pontificia Universidad Cato ?lica de Chile, April 2019.
- Martín Muñooz. “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 PropertyPaths”. 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.


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

  •   Award Scopus Chile 2013 in Computer Sciences

    ELSEVIER

    Chile, 2013

    Awarded by Elsevier to researchers with high scientific productivity, with the support of the National Research Council for Science and Technology of Chile (CONICYT)

  •   Google Best Paper Award

    Google

    Francia, 2012

    Awarded in 21st International Conference on World Wide Web (WWW 2012), Lyon, France, 2012

  •   Best Paper Award

    Association for Computing Machinery

    Grecia, 2011

    Awarded in 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2011), Athens, Greece, 2011

  •   Ramon Salas Edwards Award 2012

    COLEGIO DE INGENIEROS DE CHILE A.G.

    Chile, 2012

    Awarded of the Institute of Engineers of Chile to the best research on engineering in the period 2009 - 2011

  •   Best Paper Award

    European Semantic Web Conference

    Grecia, 2010

    Awarded in 8th Extended Semantic Web Conference (ESWC 2011), Heraklion, Greece, 2011

  •   Best Paper Award

    International Conference on Database Theory

    Suiza, 2010

    Awarded in 13th International Conference on Database Theory (ICDT 2010), Lausanne, Switzerland, 2010

  •   Research Highlight Award

    ACM SIGMOD

    Estados Unidos, 2020

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

  •   Most Inspiring Professor in the Department of Computer Science

    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. Received in the years 2020 and 2017.

  •   Most Inspiring Professor in the Department of Computer Science

    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. Received in the years 2020 and 2017.

  •   Ten-Year Award

    Semantic Web Science Association (SWSA)

    Alemania, 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

  •   Scopus Chile

    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).


 

Article (43)

Building digital workforce capacity and skills for data-intensive science
Chile's New Interdisciplinary Institute for Foundational Research on Data
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 (31)

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

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
86
Marcelo Arenas

Associate 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
Martín Ugarte

Director de Transferencia Tecnológica

Instituto Milenio Fundamentos de los Datos

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

2
Domagoj Vrgoc

Postdoctoral Researcher

PONTIFICIA UNIVERSIDAD CATOLICA 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
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
Juan Herrera

Assistant Professor

Department of Transport Engineering and Logistics

Pontificia Universidad Católica de Chile

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