Custom-Made Ontology Based Data Access

Project Information

CODA

Grant agreement ID: 647289

DOI

10.3030/647289

Project closed

EC signature date 12 May 2015

Start date 1 August 2015

End date 31 July 2020

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost

€ 1 922 114,58

EU contribution

€ 1 922 114,58

Coordinated by

UNIVERSITAET BREMEN
Germany

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (38)

Querying the Unary Negation Fragment with Regular Path Expressions

Author(s): Jean Christoph Jung, Carsten Lutz, Mauricio Martel and Thomas Schneider
Published in: Proc of International Conference on Database Theory (ICDT) 2018, 2018, Page(s) 15:1--15:18, ISBN 978-3-95977-063-7
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.ICDT.2018.15

Computing FO-Rewritings in EL in Practice: From Atomic to Conjunctive Queries

Author(s): Peter Hansen, Carsten Lutz
Published in: Proc of the International Semantic Web Conference (ISWC) 2017, 2017, Page(s) 347-363, ISBN 978-3-319-68287-7
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-68288-4_21

Answering Regular Path Queries over SQ ontologies

Author(s): Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, and Jean Christoph Jung
Published in: Proc. of the AAAI Conference on Artificial Intelligence (AAAI) 2018, 2018
Publisher: AAAI Press

Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries

Author(s): Peter Hansen, Carsten Lutz
Published in: Proc of the International Workshop on Description Logics (DL) 2017, 2017
Publisher: CEUR Workshop Proceedings

Ontology-Mediated Querying with EL: Trichotomy and Linear Datalog Rewritability

Author(s): Carsten Lutz, Leif Sabellek
Published in: Proc of the International Workshop on Description Logics (DL) 2018, 2017
Publisher: CEUR Workshop Proceedings

Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability

Author(s): Carsten Lutz, Leif Sabellek
Published in: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017, Page(s) 1181-1187, ISBN 9780-999241103
Publisher: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2017/164

Emptiness Problems for Distributed Automata

Author(s): Antti Kuusisto, Fabian Reiter
Published in: Proc of International Symposium on Games, Automata, Logics and Formal Verification (GandALF) 2017, 2017, Page(s) 210-222
Publisher: Arxive

One-Dimensional Logic over Trees

Author(s): Emanuel Kieronski, Antti Kuusisto
Published in: Proc of International Symposium on Mathematical Foundations of Computer Science, 2017, Page(s) 1-13, ISBN 978-3-95977-046-0
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.MFCS.2017.64

First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics

Author(s): Meghyn Bienvenu, Peter Hansen, Carsten Lutz, and Frank Wolter
Published in: Proc. of the International Joint Conference on Artificial Intelligence (IJCAI), 2016, Page(s) 965-971, ISBN 978-1-57735-770-4
Publisher: IJCAI/AAAI Press

From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying

Author(s): Cristina Feier, Carsten Lutz, Frank Wolter
Published in: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018, Page(s) 1810-1816, ISBN 9780-999241127
Publisher: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2018/250

First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries

Author(s): Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris
Published in: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018, Page(s) 1707-1713, ISBN 9780-999241127
Publisher: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2018/236

Weighted model counting beyond two-variable logic

Author(s): Antti Kuusisto, Carsten Lutz
Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18, 2018, Page(s) 619-628, ISBN 9781-450355834
Publisher: ACM Press
DOI: 10.1145/3209108.3209168

Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies

Author(s): Víctor Gutiérrez-Basulto, Jean Christoph Jung, Leif Sabellek
Published in: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018, Page(s) 1847-1853, ISBN 9780-999241127
Publisher: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2018/255

First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries

Author(s): Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris
Published in: Proc of 12th Alberto Mendelzon International Workshop on Foundations of Data Management, 2018
Publisher: CEUR-WS

A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies

Author(s): David Carral,Cristina Feier, Pascal Hitzler
Published in: Proc. of the International Semantic Web Conference (ISWC) 2016, Issue 9981, 2016, Page(s) 70-85, ISBN 978-3-319-46522-7
Publisher: Springer
DOI: 10.1007/978-3-319-46523-4

Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics

Author(s): Pierre Bourhis, Carsten Lutz
Published in: Proc of the International Conference on Knowledge Representation and Reasoning (KR) 2016, 2016, Page(s) 207-216, ISBN 978-1-57735-755-1
Publisher: AAAI Press

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics

Author(s): Cristina Feier, Antti Kuusisto, Carsten Lutz
Published in: Proc of the International Conference on Database Theory (ICDT) 2017, 2017
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik

First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics

Author(s): Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter
Published in: Proc of the International Workshop on Description Logics (DL) 2016, Issue 1577, 2016
Publisher: CEUR-WS.org

Complexity and Expressive Power of Ontology-Mediated Queries

Author(s): Carsten Lutz
Published in: Proc of the Symposium on Theoretical Aspects in Computer Science (STACS) 2016, Issue 47(2), 2016, Page(s) 1-11, ISBN 978-3-95977-001-9
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.STACS.2016.2

FO-Rewritability of Expressive Ontology-Mediated Queries

Author(s): Cristina Feier, Antti Kuusisto, Carsten Lutz
Published in: Proc of the International Workshop on Description Logics (DL) 2016, Issue 1577, 2016
Publisher: CEUR-WS.org

Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey

Author(s): Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter , Michael Zakharyaschev
Published in: Reasoning Web 2016, Issue 9885, 2016, Page(s) 27-89, ISBN 978-3-319-49492-0
Publisher: Springer
DOI: 10.1007/978-3-319-49493-7

On the uniform one-dimensional fragment

Author(s): Antti Kuusisto
Published in: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, 2016., 2016
Publisher: ceur-ws.org

Decidability of Predicate Logics with Team Semantics

Author(s): Juha Kontinen, Antti Kuusisto, Jonni VIrtema
Published in: 41st International Symposium on Mathematical Foundations of Computer Science, 2016., 2016
Publisher: Lipics

Dichotomies in Ontology-Mediated Querying with the Guarded Fragment

Author(s): André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
Published in: Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - PODS '17, 2017, Page(s) 185-199, ISBN 9781450341981
Publisher: ACM Press
DOI: 10.1145/3034786.3056108

On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles

Author(s): Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak
Published in: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Page(s) 1719-1725, ISBN 978-0-9992411-4-1
Publisher: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2019/238

On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles

Author(s): Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmin Ibáñez-García, Jean Christoph Jung, Filip Murlak
Published in: Proc. of the International Workshop on Description Logics (DL) 2019, Issue 2373, 2019
Publisher: CEUR-WS.org

Decidability and Complexity of ALCOIF with Transitive Closure (and More)

Author(s): Jean Christoph Jung, Carsten Lutz, Thomas Zeume
Published in: Proc. of the International Workshop on Description Logics (DL) 2019, Issue 2373, 2019
Publisher: CEUR-WS.org

Model Comparison Games for Horn Description Logics

Author(s): Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev
Published in: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, Page(s) 1-14, ISBN 978-1-7281-3608-0
Publisher: IEEE
DOI: 10.1109/lics.2019.8785658

Quantified Markov Logic Networks

Author(s): Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ondrej Kuzelka
Published in: Proc. of the International Conference on Knowledge Representation and Reasoning (KR) 2018, 2018, Page(s) 602-612, ISBN 978-1-57735-803-9
Publisher: AAAI Press

Query Conservative Extensions in Horn Description Logics with Inverse Roles

Author(s): Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
Published in: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017, Page(s) 1116-1122, ISBN 9780-999241103
Publisher: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2017/155

From Conjunctive Queries to SPARQL Queries in Ontology-Mediated Querying

Author(s): Cristina Feier, Carsten Lutz, Frank Wolter
Published in: Proc of the International Workshop on Description Logics (DL) 2018, Issue 2211, 2018
Publisher: CEUR Workshop Proceedings

When is Ontology-Mediated Querying Efficient?

Author(s): Pablo Barcelo, Cristina Feier, Carsten Lutz, Andreas Pieris
Published in: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, Page(s) 1-13, ISBN 978-1-7281-3608-0
Publisher: IEEE
DOI: 10.1109/lics.2019.8785823

The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs

Author(s): Pablo Barceló, Victor Dalmau, Cristina Feier, Carsten Lutz, Andreas Pieris
Published in: Proc. of the 39th Symposium on Principles of Database Systems (PODS) 2020, 2020
Publisher: ACM Press

PTime Combined Complexity and FPT in Ontology-Mediated Querying

Author(s): Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris
Published in: Proc. of the International Workshop on Description Logics (DL) 2019, Issue 2373, 2019
Publisher: CEUR Workshop Proceedings

Query Expressibility and Verification in Ontology-Based Data Access

Author(s): Carsten Lutz, Johannes Marti, Leif Sabellek
Published in: Proc. of the International Conference on Knowledge Representation and Reasoning (KR) 2018, 2018, Page(s) 389-398, ISBN 978-1-57735-803-9
Publisher: AAAI Press

Classifying the Complexity of Ontology-Mediated Queries in EL: From Atomic Queries to Conjunctive Queries

Author(s): Carsten Lutz, Leif Sabellek
Published in: International Workshop on Description Logics, 2020
Publisher: CEUR Workshop Proceedings

The Complexity of Answer Counting for Ontology-Mediated Queries Based on Guarded TGDs

Author(s): Cristina Feier, Carsten Lutz, Marcin Prybylko
Published in: International Workshop on Description Logic, 2020
Publisher: CEUR Workshop Proceedings

On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions

Author(s): Jean Christoph Jung, Carsten Lutz, Thomas Zeume
Published in: International Conference on Principles of Knowledge Representation and Reasoning, 2020
Publisher: AAAI Press

Peer reviewed articles (6)

The Data Complexity of Description Logic Ontologies

Author(s): Carsten Lutz, Frank Wolter
Published in: Logical Methods in Computer Science, Issue 13(4), 2017, ISSN 1860-5974
Publisher: Technischen Universitat Braunschweig
DOI: 10.23638/LMCS-13(4:7)2017

Query Inseparability for ALC Ontologies

Author(s): Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, and Michael Zakharyaschev
Published in: Artificial Intelligence, 2018, ISSN 0004-3702
Publisher: Elsevier BV

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics

Author(s): Cristina Feier, Antti Kuusisto, Carsten Lutz
Published in: Logical Methods in Computer Science, Issue 15(2), 2019, ISSN 1860-5974
Publisher: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-15(2:15)2019

Conservative Extensions in Horn Description Logics with Inverse Roles

Author(s): Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
Published in: Journal of Artificial Intelligence Research (JAIR), 2020, ISSN 1076-9757
Publisher: Morgan Kaufmann Publishers, Inc.

The Data Complexity of Ontology-Mediated Queries with Closed Predicates

Author(s): Carsten Lutz, Inanc Seylan, Frank Wolter
Published in: Logical Methods in Computer Science, Issue 15(3), 2019, ISSN 1860-5974
Publisher: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-15(3:23)2019

Dichotomies in Ontology-Mediated Querying with the Guarded Fragment

Author(s): André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
Published in: ACM Transactions on Computational Logic, Issue 21/3, 2020, Page(s) 1-47, ISSN 1529-3785
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3375628