Custom-Made Ontology Based Data Access

Projektinformationen

CODA

ID Finanzhilfevereinbarung: 647289

DOI

10.3030/647289

Projekt abgeschlossen

EK-Unterschriftsdatum 12 Mai 2015

Startdatum 1 August 2015

Enddatum 31 Juli 2020

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten

€ 1 922 114,58

EU-Beitrag

€ 1 922 114,58

Koordiniert durch

UNIVERSITAET BREMEN
Germany

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Conference proceedings (38)

Querying the Unary Negation Fragment with Regular Path Expressions

Autoren: Jean Christoph Jung, Carsten Lutz, Mauricio Martel and Thomas Schneider
Veröffentlicht in: Proc of International Conference on Database Theory (ICDT) 2018, 2018, Seite(n) 15:1--15:18, ISBN 978-3-95977-063-7
Herausgeber: 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

Autoren: Peter Hansen, Carsten Lutz
Veröffentlicht in: Proc of the International Semantic Web Conference (ISWC) 2017, 2017, Seite(n) 347-363, ISBN 978-3-319-68287-7
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-68288-4_21

Answering Regular Path Queries over SQ ontologies

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

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

Autoren: Peter Hansen, Carsten Lutz
Veröffentlicht in: Proc of the International Workshop on Description Logics (DL) 2017, 2017
Herausgeber: CEUR Workshop Proceedings

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

Autoren: Carsten Lutz, Leif Sabellek
Veröffentlicht in: Proc of the International Workshop on Description Logics (DL) 2018, 2017
Herausgeber: CEUR Workshop Proceedings

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

Autoren: Carsten Lutz, Leif Sabellek
Veröffentlicht in: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017, Seite(n) 1181-1187, ISBN 9780-999241103
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2017/164

Emptiness Problems for Distributed Automata

Autoren: Antti Kuusisto, Fabian Reiter
Veröffentlicht in: Proc of International Symposium on Games, Automata, Logics and Formal Verification (GandALF) 2017, 2017, Seite(n) 210-222
Herausgeber: Arxive

One-Dimensional Logic over Trees

Autoren: Emanuel Kieronski, Antti Kuusisto
Veröffentlicht in: Proc of International Symposium on Mathematical Foundations of Computer Science, 2017, Seite(n) 1-13, ISBN 978-3-95977-046-0
Herausgeber: 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

Autoren: Meghyn Bienvenu, Peter Hansen, Carsten Lutz, and Frank Wolter
Veröffentlicht in: Proc. of the International Joint Conference on Artificial Intelligence (IJCAI), 2016, Seite(n) 965-971, ISBN 978-1-57735-770-4
Herausgeber: IJCAI/AAAI Press

From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying

Autoren: Cristina Feier, Carsten Lutz, Frank Wolter
Veröffentlicht in: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018, Seite(n) 1810-1816, ISBN 9780-999241127
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2018/250

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

Autoren: Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris
Veröffentlicht in: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018, Seite(n) 1707-1713, ISBN 9780-999241127
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2018/236

Weighted model counting beyond two-variable logic

Autoren: Antti Kuusisto, Carsten Lutz
Veröffentlicht in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18, 2018, Seite(n) 619-628, ISBN 9781-450355834
Herausgeber: ACM Press
DOI: 10.1145/3209108.3209168

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

Autoren: Víctor Gutiérrez-Basulto, Jean Christoph Jung, Leif Sabellek
Veröffentlicht in: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018, Seite(n) 1847-1853, ISBN 9780-999241127
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2018/255

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

Autoren: Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris
Veröffentlicht in: Proc of 12th Alberto Mendelzon International Workshop on Foundations of Data Management, 2018
Herausgeber: CEUR-WS

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

Autoren: David Carral,Cristina Feier, Pascal Hitzler
Veröffentlicht in: Proc. of the International Semantic Web Conference (ISWC) 2016, Ausgabe 9981, 2016, Seite(n) 70-85, ISBN 978-3-319-46522-7
Herausgeber: Springer
DOI: 10.1007/978-3-319-46523-4

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

Autoren: Pierre Bourhis, Carsten Lutz
Veröffentlicht in: Proc of the International Conference on Knowledge Representation and Reasoning (KR) 2016, 2016, Seite(n) 207-216, ISBN 978-1-57735-755-1
Herausgeber: AAAI Press

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

Autoren: Cristina Feier, Antti Kuusisto, Carsten Lutz
Veröffentlicht in: Proc of the International Conference on Database Theory (ICDT) 2017, 2017
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik

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

Autoren: Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter
Veröffentlicht in: Proc of the International Workshop on Description Logics (DL) 2016, Ausgabe 1577, 2016
Herausgeber: CEUR-WS.org

Complexity and Expressive Power of Ontology-Mediated Queries

Autoren: Carsten Lutz
Veröffentlicht in: Proc of the Symposium on Theoretical Aspects in Computer Science (STACS) 2016, Ausgabe 47(2), 2016, Seite(n) 1-11, ISBN 978-3-95977-001-9
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.STACS.2016.2

FO-Rewritability of Expressive Ontology-Mediated Queries

Autoren: Cristina Feier, Antti Kuusisto, Carsten Lutz
Veröffentlicht in: Proc of the International Workshop on Description Logics (DL) 2016, Ausgabe 1577, 2016
Herausgeber: CEUR-WS.org

Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey

Autoren: Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter , Michael Zakharyaschev
Veröffentlicht in: Reasoning Web 2016, Ausgabe 9885, 2016, Seite(n) 27-89, ISBN 978-3-319-49492-0
Herausgeber: Springer
DOI: 10.1007/978-3-319-49493-7

On the uniform one-dimensional fragment

Autoren: Antti Kuusisto
Veröffentlicht in: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, 2016., 2016
Herausgeber: ceur-ws.org

Decidability of Predicate Logics with Team Semantics

Autoren: Juha Kontinen, Antti Kuusisto, Jonni VIrtema
Veröffentlicht in: 41st International Symposium on Mathematical Foundations of Computer Science, 2016., 2016
Herausgeber: Lipics

Dichotomies in Ontology-Mediated Querying with the Guarded Fragment

Autoren: André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
Veröffentlicht in: Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - PODS '17, 2017, Seite(n) 185-199, ISBN 9781450341981
Herausgeber: ACM Press
DOI: 10.1145/3034786.3056108

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

Autoren: Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak
Veröffentlicht in: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Seite(n) 1719-1725, ISBN 978-0-9992411-4-1
Herausgeber: 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

Autoren: Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmin Ibáñez-García, Jean Christoph Jung, Filip Murlak
Veröffentlicht in: Proc. of the International Workshop on Description Logics (DL) 2019, Ausgabe 2373, 2019
Herausgeber: CEUR-WS.org

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

Autoren: Jean Christoph Jung, Carsten Lutz, Thomas Zeume
Veröffentlicht in: Proc. of the International Workshop on Description Logics (DL) 2019, Ausgabe 2373, 2019
Herausgeber: CEUR-WS.org

Model Comparison Games for Horn Description Logics

Autoren: Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev
Veröffentlicht in: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, Seite(n) 1-14, ISBN 978-1-7281-3608-0
Herausgeber: IEEE
DOI: 10.1109/lics.2019.8785658

Quantified Markov Logic Networks

Autoren: Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ondrej Kuzelka
Veröffentlicht in: Proc. of the International Conference on Knowledge Representation and Reasoning (KR) 2018, 2018, Seite(n) 602-612, ISBN 978-1-57735-803-9
Herausgeber: AAAI Press

Query Conservative Extensions in Horn Description Logics with Inverse Roles

Autoren: Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
Veröffentlicht in: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017, Seite(n) 1116-1122, ISBN 9780-999241103
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2017/155

From Conjunctive Queries to SPARQL Queries in Ontology-Mediated Querying

Autoren: Cristina Feier, Carsten Lutz, Frank Wolter
Veröffentlicht in: Proc of the International Workshop on Description Logics (DL) 2018, Ausgabe 2211, 2018
Herausgeber: CEUR Workshop Proceedings

When is Ontology-Mediated Querying Efficient?

Autoren: Pablo Barcelo, Cristina Feier, Carsten Lutz, Andreas Pieris
Veröffentlicht in: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, Seite(n) 1-13, ISBN 978-1-7281-3608-0
Herausgeber: IEEE
DOI: 10.1109/lics.2019.8785823

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

Autoren: Pablo Barceló, Victor Dalmau, Cristina Feier, Carsten Lutz, Andreas Pieris
Veröffentlicht in: Proc. of the 39th Symposium on Principles of Database Systems (PODS) 2020, 2020
Herausgeber: ACM Press

PTime Combined Complexity and FPT in Ontology-Mediated Querying

Autoren: Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris
Veröffentlicht in: Proc. of the International Workshop on Description Logics (DL) 2019, Ausgabe 2373, 2019
Herausgeber: CEUR Workshop Proceedings

Query Expressibility and Verification in Ontology-Based Data Access

Autoren: Carsten Lutz, Johannes Marti, Leif Sabellek
Veröffentlicht in: Proc. of the International Conference on Knowledge Representation and Reasoning (KR) 2018, 2018, Seite(n) 389-398, ISBN 978-1-57735-803-9
Herausgeber: AAAI Press

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

Autoren: Carsten Lutz, Leif Sabellek
Veröffentlicht in: International Workshop on Description Logics, 2020
Herausgeber: CEUR Workshop Proceedings

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

Autoren: Cristina Feier, Carsten Lutz, Marcin Prybylko
Veröffentlicht in: International Workshop on Description Logic, 2020
Herausgeber: CEUR Workshop Proceedings

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

Autoren: Jean Christoph Jung, Carsten Lutz, Thomas Zeume
Veröffentlicht in: International Conference on Principles of Knowledge Representation and Reasoning, 2020
Herausgeber: AAAI Press

Peer reviewed articles (6)

The Data Complexity of Description Logic Ontologies

Autoren: Carsten Lutz, Frank Wolter
Veröffentlicht in: Logical Methods in Computer Science, Ausgabe 13(4), 2017, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig
DOI: 10.23638/LMCS-13(4:7)2017

Query Inseparability for ALC Ontologies

Autoren: Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, and Michael Zakharyaschev
Veröffentlicht in: Artificial Intelligence, 2018, ISSN 0004-3702
Herausgeber: Elsevier BV

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

Autoren: Cristina Feier, Antti Kuusisto, Carsten Lutz
Veröffentlicht in: Logical Methods in Computer Science, Ausgabe 15(2), 2019, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-15(2:15)2019

Conservative Extensions in Horn Description Logics with Inverse Roles

Autoren: Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
Veröffentlicht in: Journal of Artificial Intelligence Research (JAIR), 2020, ISSN 1076-9757
Herausgeber: Morgan Kaufmann Publishers, Inc.

The Data Complexity of Ontology-Mediated Queries with Closed Predicates

Autoren: Carsten Lutz, Inanc Seylan, Frank Wolter
Veröffentlicht in: Logical Methods in Computer Science, Ausgabe 15(3), 2019, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-15(3:23)2019

Dichotomies in Ontology-Mediated Querying with the Guarded Fragment

Autoren: André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
Veröffentlicht in: ACM Transactions on Computational Logic, Ausgabe 21/3, 2020, Seite(n) 1-47, ISSN 1529-3785
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3375628