Custom-Made Ontology Based Data Access

Informations projet

CODA

N° de convention de subvention: 647289

DOI

10.3030/647289

Projet clôturé

Date de signature de la CE 12 Mai 2015

Date de début 1 Août 2015

Date de fin 31 Juillet 2020

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 1 922 114,58

Contribution de l’UE

€ 1 922 114,58

Coordonné par

UNIVERSITAET BREMEN
Germany

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (38)

Querying the Unary Negation Fragment with Regular Path Expressions

Auteurs: Jean Christoph Jung, Carsten Lutz, Mauricio Martel and Thomas Schneider
Publié dans: Proc of International Conference on Database Theory (ICDT) 2018, 2018, Page(s) 15:1--15:18, ISBN 978-3-95977-063-7
Éditeur: 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

Auteurs: Peter Hansen, Carsten Lutz
Publié dans: Proc of the International Semantic Web Conference (ISWC) 2017, 2017, Page(s) 347-363, ISBN 978-3-319-68287-7
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-68288-4_21

Answering Regular Path Queries over SQ ontologies

Auteurs: Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, and Jean Christoph Jung
Publié dans: Proc. of the AAAI Conference on Artificial Intelligence (AAAI) 2018, 2018
Éditeur: AAAI Press

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

Auteurs: Peter Hansen, Carsten Lutz
Publié dans: Proc of the International Workshop on Description Logics (DL) 2017, 2017
Éditeur: CEUR Workshop Proceedings

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

Auteurs: Carsten Lutz, Leif Sabellek
Publié dans: Proc of the International Workshop on Description Logics (DL) 2018, 2017
Éditeur: CEUR Workshop Proceedings

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

Auteurs: Carsten Lutz, Leif Sabellek
Publié dans: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017, Page(s) 1181-1187, ISBN 9780-999241103
Éditeur: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2017/164

Emptiness Problems for Distributed Automata

Auteurs: Antti Kuusisto, Fabian Reiter
Publié dans: Proc of International Symposium on Games, Automata, Logics and Formal Verification (GandALF) 2017, 2017, Page(s) 210-222
Éditeur: Arxive

One-Dimensional Logic over Trees

Auteurs: Emanuel Kieronski, Antti Kuusisto
Publié dans: Proc of International Symposium on Mathematical Foundations of Computer Science, 2017, Page(s) 1-13, ISBN 978-3-95977-046-0
Éditeur: 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

Auteurs: Meghyn Bienvenu, Peter Hansen, Carsten Lutz, and Frank Wolter
Publié dans: Proc. of the International Joint Conference on Artificial Intelligence (IJCAI), 2016, Page(s) 965-971, ISBN 978-1-57735-770-4
Éditeur: IJCAI/AAAI Press

From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying

Auteurs: Cristina Feier, Carsten Lutz, Frank Wolter
Publié dans: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018, Page(s) 1810-1816, ISBN 9780-999241127
Éditeur: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2018/250

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

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

Weighted model counting beyond two-variable logic

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

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

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

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

Auteurs: Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris
Publié dans: Proc of 12th Alberto Mendelzon International Workshop on Foundations of Data Management, 2018
Éditeur: CEUR-WS

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

Auteurs: David Carral,Cristina Feier, Pascal Hitzler
Publié dans: Proc. of the International Semantic Web Conference (ISWC) 2016, Numéro 9981, 2016, Page(s) 70-85, ISBN 978-3-319-46522-7
Éditeur: Springer
DOI: 10.1007/978-3-319-46523-4

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

Auteurs: Pierre Bourhis, Carsten Lutz
Publié dans: Proc of the International Conference on Knowledge Representation and Reasoning (KR) 2016, 2016, Page(s) 207-216, ISBN 978-1-57735-755-1
Éditeur: AAAI Press

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

Auteurs: Cristina Feier, Antti Kuusisto, Carsten Lutz
Publié dans: Proc of the International Conference on Database Theory (ICDT) 2017, 2017
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik

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

Auteurs: Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter
Publié dans: Proc of the International Workshop on Description Logics (DL) 2016, Numéro 1577, 2016
Éditeur: CEUR-WS.org

Complexity and Expressive Power of Ontology-Mediated Queries

Auteurs: Carsten Lutz
Publié dans: Proc of the Symposium on Theoretical Aspects in Computer Science (STACS) 2016, Numéro 47(2), 2016, Page(s) 1-11, ISBN 978-3-95977-001-9
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.STACS.2016.2

FO-Rewritability of Expressive Ontology-Mediated Queries

Auteurs: Cristina Feier, Antti Kuusisto, Carsten Lutz
Publié dans: Proc of the International Workshop on Description Logics (DL) 2016, Numéro 1577, 2016
Éditeur: CEUR-WS.org

Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey

Auteurs: Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter , Michael Zakharyaschev
Publié dans: Reasoning Web 2016, Numéro 9885, 2016, Page(s) 27-89, ISBN 978-3-319-49492-0
Éditeur: Springer
DOI: 10.1007/978-3-319-49493-7

On the uniform one-dimensional fragment

Auteurs: Antti Kuusisto
Publié dans: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, 2016., 2016
Éditeur: ceur-ws.org

Decidability of Predicate Logics with Team Semantics

Auteurs: Juha Kontinen, Antti Kuusisto, Jonni VIrtema
Publié dans: 41st International Symposium on Mathematical Foundations of Computer Science, 2016., 2016
Éditeur: Lipics

Dichotomies in Ontology-Mediated Querying with the Guarded Fragment

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

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

Auteurs: Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak
Publié dans: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Page(s) 1719-1725, ISBN 978-0-9992411-4-1
Éditeur: 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

Auteurs: Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmin Ibáñez-García, Jean Christoph Jung, Filip Murlak
Publié dans: Proc. of the International Workshop on Description Logics (DL) 2019, Numéro 2373, 2019
Éditeur: CEUR-WS.org

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

Auteurs: Jean Christoph Jung, Carsten Lutz, Thomas Zeume
Publié dans: Proc. of the International Workshop on Description Logics (DL) 2019, Numéro 2373, 2019
Éditeur: CEUR-WS.org

Model Comparison Games for Horn Description Logics

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

Quantified Markov Logic Networks

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

Query Conservative Extensions in Horn Description Logics with Inverse Roles

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

From Conjunctive Queries to SPARQL Queries in Ontology-Mediated Querying

Auteurs: Cristina Feier, Carsten Lutz, Frank Wolter
Publié dans: Proc of the International Workshop on Description Logics (DL) 2018, Numéro 2211, 2018
Éditeur: CEUR Workshop Proceedings

When is Ontology-Mediated Querying Efficient?

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

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

Auteurs: Pablo Barceló, Victor Dalmau, Cristina Feier, Carsten Lutz, Andreas Pieris
Publié dans: Proc. of the 39th Symposium on Principles of Database Systems (PODS) 2020, 2020
Éditeur: ACM Press

PTime Combined Complexity and FPT in Ontology-Mediated Querying

Auteurs: Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris
Publié dans: Proc. of the International Workshop on Description Logics (DL) 2019, Numéro 2373, 2019
Éditeur: CEUR Workshop Proceedings

Query Expressibility and Verification in Ontology-Based Data Access

Auteurs: Carsten Lutz, Johannes Marti, Leif Sabellek
Publié dans: Proc. of the International Conference on Knowledge Representation and Reasoning (KR) 2018, 2018, Page(s) 389-398, ISBN 978-1-57735-803-9
Éditeur: AAAI Press

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

Auteurs: Carsten Lutz, Leif Sabellek
Publié dans: International Workshop on Description Logics, 2020
Éditeur: CEUR Workshop Proceedings

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

Auteurs: Cristina Feier, Carsten Lutz, Marcin Prybylko
Publié dans: International Workshop on Description Logic, 2020
Éditeur: CEUR Workshop Proceedings

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

Auteurs: Jean Christoph Jung, Carsten Lutz, Thomas Zeume
Publié dans: International Conference on Principles of Knowledge Representation and Reasoning, 2020
Éditeur: AAAI Press

Peer reviewed articles (6)

The Data Complexity of Description Logic Ontologies

Auteurs: Carsten Lutz, Frank Wolter
Publié dans: Logical Methods in Computer Science, Numéro 13(4), 2017, ISSN 1860-5974
Éditeur: Technischen Universitat Braunschweig
DOI: 10.23638/LMCS-13(4:7)2017

Query Inseparability for ALC Ontologies

Auteurs: Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, and Michael Zakharyaschev
Publié dans: Artificial Intelligence, 2018, ISSN 0004-3702
Éditeur: Elsevier BV

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

Auteurs: Cristina Feier, Antti Kuusisto, Carsten Lutz
Publié dans: Logical Methods in Computer Science, Numéro 15(2), 2019, ISSN 1860-5974
Éditeur: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-15(2:15)2019

Conservative Extensions in Horn Description Logics with Inverse Roles

Auteurs: Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
Publié dans: Journal of Artificial Intelligence Research (JAIR), 2020, ISSN 1076-9757
Éditeur: Morgan Kaufmann Publishers, Inc.

The Data Complexity of Ontology-Mediated Queries with Closed Predicates

Auteurs: Carsten Lutz, Inanc Seylan, Frank Wolter
Publié dans: Logical Methods in Computer Science, Numéro 15(3), 2019, ISSN 1860-5974
Éditeur: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-15(3:23)2019

Dichotomies in Ontology-Mediated Querying with the Guarded Fragment

Auteurs: André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
Publié dans: ACM Transactions on Computational Logic, Numéro 21/3, 2020, Page(s) 1-47, ISSN 1529-3785
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3375628