Custom-Made Ontology Based Data Access

Veröffentlichungen

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 9781-450341981
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

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

Suche nach OpenAIRE-Daten ...

Veröffentlichungen

Diese Seite teilen

Herunterladen