Explore the words cloud of the CODA project. It provides you a very rough idea of what is the project "CODA" about.
The following table provides information about the project.
Coordinator |
UNIVERSITAET BREMEN
Organization address contact info |
Coordinator Country | Germany [DE] |
Total cost | 1˙922˙114 € |
EC max contribution | 1˙922˙114 € (100%) |
Programme |
1. H2020-EU.1.1. (EXCELLENT SCIENCE - European Research Council (ERC)) |
Code Call | ERC-2014-CoG |
Funding Scheme | ERC-COG |
Starting year | 2015 |
Duration (year-month-day) | from 2015-08-01 to 2020-07-31 |
Take a look of project's partnership.
# | ||||
---|---|---|---|---|
1 | UNIVERSITAET BREMEN | DE (BREMEN) | coordinator | 1˙922˙114.00 |
The emerging and vibrant area of ontology-based data access (OBDA) is currently establishing itself as an important paradigm for processing incomplete and heterogeneous data. The goal of the CODA project is to make OBDA radically more useful for real-world applications by taking a ground-breaking new perspective on its foundations, algorithms, and tools. The project will rest on an ultimately fine-grained complexity analysis that allows to identify islands of tractability inside practically important ontology and query languages that are otherwise intractable. Based on these islands, novel OBDA querying tools will be developed that are custom-made for ontologies from applications in the sense that high computational cost is incurred only when unavoidable for the concrete ontology used (`pay as you go' behaviour). The key deliverables of the project are a set of tailor-made OBDA querying tools that form a precision tool belt for real-world OBDA applications, theoretical results regarding the structure and computational complexity of important islands of tractability, efficient algorithms that allow to put these to work in practice, and optimization techniques and heuristics that support the algorithms in the tools developed. We will also collect and make available a library of case studies for evaluating OBDA tools. The project is both timely and essential. It is timely because our economy and society are currently experiencing a revolution in data processing and availability, and dealing with incompleteness and heterogeneity is one of the major arising challenges. The project is essential because it has become apparent now that current OBDA tools cannot satisfy industry requirements. In particular, they do not adequately support the limited use of expressive features (`a little bit of disjunction') which intuitively should not result in high computational cost, but with current technology often does.
year | authors and title | journal | last update |
---|---|---|---|
2019 |
Carsten Lutz, Inanc Seylan, Frank Wolter The Data Complexity of Ontology-Mediated Queries with Closed Predicates published pages: , ISSN: 1860-5974, DOI: 10.23638/lmcs-15(3:23)2019 |
Logical Methods in Computer Science 15(3) | 2020-03-24 |
2020 |
Pablo Barceló, Victor Dalmau, Cristina Feier, Carsten Lutz, Andreas Pieris The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs published pages: , ISSN: , DOI: |
Proc. of the 39th Symposium on Principles of Database Systems (PODS) 2020 | 2020-03-24 |
2020 |
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider Conservative Extensions in Horn Description Logics with Inverse Roles published pages: , ISSN: 1076-9757, DOI: |
Journal of Artificial Intelligence Research (JAIR) | 2020-03-24 |
2019 |
Jean Christoph Jung, Carsten Lutz, Thomas Zeume Decidability and Complexity of ALCOIF with Transitive Closure (and More) published pages: , ISSN: , DOI: |
Proc. of the International Workshop on Description Logics (DL) 2019 2373 | 2020-03-24 |
2019 |
Cristina Feier, Antti Kuusisto, Carsten Lutz Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics published pages: , ISSN: 1860-5974, DOI: 10.23638/lmcs-15(2:15)2019 |
Logical Methods in Computer Science 15(2) | 2020-03-24 |
2018 |
Cristina Feier, Carsten Lutz, Frank Wolter From Conjunctive Queries to SPARQL Queries in Ontology-Mediated Querying published pages: , ISSN: , DOI: |
Proc of the International Workshop on Description Logics (DL) 2018 2211 | 2020-03-24 |
2019 |
Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris PTime Combined Complexity and FPT in Ontology-Mediated Querying published pages: , ISSN: , DOI: |
Proc. of the International Workshop on Description Logics (DL) 2019 2373 | 2020-03-24 |
2019 |
Tomasz Gogacz, VÃctor Gutiérrez-Basulto, Yazmin Ibáñez-GarcÃa, Jean Christoph Jung, Filip Murlak On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles published pages: , ISSN: , DOI: |
Proc. of the International Workshop on Description Logics (DL) 2019 2373 | 2020-03-24 |
2017 |
Antti Kuusisto, Fabian Reiter Emptiness Problems for Distributed Automata published pages: 210-222, ISSN: , DOI: |
Proc of International Symposium on Games, Automata, Logics and Formal Verification (GandALF) 2017 | 2019-05-31 |
2016 |
Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics published pages: , ISSN: , DOI: |
Proc of the International Workshop on Description Logics (DL) 2016 1577 | 2019-05-31 |
2018 |
VÃctor Gutiérrez-Basulto, YazmÃn Ibáñez-GarcÃa, and Jean Christoph Jung Answering Regular Path Queries over SQ ontologies published pages: , ISSN: , DOI: |
Proc. of the AAAI Conference on Artificial Intelligence (AAAI) 2018 | 2019-05-31 |
2017 |
Carsten Lutz, Frank Wolter The Data Complexity of Description Logic Ontologies published pages: , ISSN: 1860-5974, DOI: 10.23638/LMCS-13(4:7)2017 |
Logical Methods in Computer Science 13(4) | 2019-05-31 |
2017 |
Peter Hansen, Carsten Lutz Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries published pages: , ISSN: , DOI: |
Proc of the International Workshop on Description Logics (DL) 2017 | 2019-05-31 |
2016 |
Juha Kontinen, Antti Kuusisto, Jonni VIrtema Decidability of Predicate Logics with Team Semantics published pages: , ISSN: , DOI: |
41st International Symposium on Mathematical Foundations of Computer Science, 2016. | 2019-05-31 |
2017 |
Cristina Feier, Antti Kuusisto, Carsten Lutz Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics published pages: , ISSN: , DOI: |
Proc of the International Conference on Database Theory (ICDT) 2017 | 2019-05-31 |
2016 |
Antti Kuusisto On the uniform one-dimensional fragment published pages: , ISSN: , DOI: |
Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, 2016. | 2019-05-31 |
2016 |
Cristina Feier, Antti Kuusisto, Carsten Lutz FO-Rewritability of Expressive Ontology-Mediated Queries published pages: , ISSN: , DOI: |
Proc of the International Workshop on Description Logics (DL) 2016 1577 | 2019-05-31 |
2018 |
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, and Michael Zakharyaschev Query Inseparability for ALC Ontologies published pages: , ISSN: 0004-3702, DOI: |
Artificial Intelligence | 2019-05-31 |
2018 |
Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries published pages: , ISSN: , DOI: |
Proc of 12th Alberto Mendelzon International Workshop on Foundations of Data Management | 2019-05-31 |
2017 |
Carsten Lutz, Leif Sabellek Ontology-Mediated Querying with EL: Trichotomy and Linear Datalog Rewritability published pages: , ISSN: , DOI: |
Proc of the International Workshop on Description Logics (DL) 2018 | 2019-05-31 |
Are you the coordinator (or a participant) of this project? Plaese send me more information about the "CODA" project.
For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.
Send me an email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.
Thanks. And then put a link of this page into your project's website.
The information about "CODA" are provided by the European Opendata Portal: CORDIS opendata.