DIAMOND
DIAMOND
Datenintegration und -abfrage durch die Zusammenführung von Ontologien und Datenbanken
- Kontaktperson Markus Krötzsch
- 2013 – 2021
- finanziert durch DFG
In modernen Informationssystemen treffen Nutzer zunehmend Entscheidungen über Art und Organisation von Daten, die bislang Systementwicklern vorbehalten waren. Gleichzeitig öffnen sich Anwendungen immer breiteren Nutzergruppen und betonen Zusammenarbeit und Informationsaustausch. Diese Trends verdeutlicht Wikidata, ein Schwesterprojekt von Wikipedia, welches eine zentrale, vielsprachige Web-Datenbank für faktische Informationen aus Wikipedia anbieten soll. Wikidata ist Vorläufer einer neuen Art von Informationssystemen, welche die Flexibilität und Dynamik Wikipedias mit strukturierter Datenverwaltung verbinden.
Wikidata unterscheidet sich stark von klassischen Datenbankanwendungen und steht völlig neuen Problemen gegenüber. Gespeicherte Daten und deren Schema sind hoch dynamischureichend dokumentiert. Dies erschwert die Suche nach Informationen, sowie das Aufspüren von Fehlern und Redundanzen. Qualität und Nutzen der Daten leiden darunter. Diese Probleme sollen im Projekt DIAMOND durch den aktuellen Ansatz des Ontology-Based Data Access (OBDA) gelöst werden. OBDA verwendet konzeptionelle Modelle, sogenannte Ontologien, um die Beziehungen zwischen heterogenen Informationsmodellen so zu beschreiben, dass Computer diese automatisch zusammenführen und integrieren können. Bisher funktioniert OBDA allerdings nur bei relativ kleinen, statischen, sorgfältig erstellten Ontologien, während Anwendungen wie Wikidata große, dynamische, nutzergenerierte Ontologien benötigen.
Die Hauptziele von DIAMOND sind (1) die grundlegende Erforschung von Ontologiesprachen für diese neue Art von Informationssystem, (2) die Entwicklung eines integrierten Prototypsystems, das die Realisierbarkeit dieser Lösung belegt, und (3) die Verbesserung von Evaluationsmethoden für OBDA-Formalismen und -Systeme. Dazu werden im Projekt theoretische und praktische Forschung eng miteinander verbunden. Grundlegende Fragen der mathematischen Logik, Datenbanktheorie und Wissensrepräsentation werden in engem Zusammenhang mit Algorithmendesign, automatischem Schließen und Systemarchitektur betrachtet. Dementsprechend werden sowohl mathematische Beweise als auch empirische Studien zum wissenschaftlichen Erkenntnisgewinn eingesetzt. Wikidata dient dabei als Quelle realistischer Anforderungen und als Gewähr für die praktische Relevanz dieser Forschung.
Die in DIAMOND angestrebten Forschungsziele leisten einen wichtigen Beitrag zur theoretischen und praktischen Weiterentwicklung wissenbasierter Systeme im Information Management. Wikidata ist ein erstes wichtiges Beispiel für Entwicklungen, die sich noch auf viele Organisationen, Communities und Firmen auswirken werden – das Potential des Projekts geht weit über diesen prominenten Anwendungsfall hinaus.
Artikel in Fachzeitschriften
Partially Ordered Automata and Piecewise Testability
Logical Methods in Computer Science, 17(2), 2021
Details Download
Complexity of Infimal Observable Superlanguages
IEEE Transactions on Automatic Control, 63(1):249-254, 2018
Details Download
Complexity of Verifying Nonblockingness in Modular Supervisory Control
IEEE Transactions on Automatic Control, 63(2):602-607, 2018
Details Download
Efficient Skew Handling for Outer Joins in a Cloud Computing Environment
IEEE Transactions on Cloud Computing, 6(2):558 - 571, 2018
Details Download
On boolean combinations forming piecewise testable languages
Theoretical Computer Science, 682:165-179, June 2017
Details Download
Complexity of Universality and Related Problems for Partially Ordered NFAs
Information and Computation, 255(1):177-192, August 2017
Details Download
Next directions in experimental data for seismic hazard mitigation
Engineering Structures, 136:535-546, 2017
Details
Design and Evaluation of Small-Large Outer Joins in Cloud Computing Environments
Journal of Parallel and Distributed Computing, 110:2-15, 2017
Details
Computation of Controllable and Coobservable Sublanguages in Decentralized Supervisory Control via Communication
Discrete Event Dynamic Systems, 27(4):585-608, December 2017
Details Download
Is Your Database System a Semantic Web Reasoner?
KI, 30(2):169-176, 2016
Details Download
Fast Compression of Large Semantic Web Data using X10
IEEE Transactions on Parallel and Distributed Systems, 27(9):2603-2617, September 2016
Details Download
Scale-Out Processing of Large RDF Datasets
IEEE Transactions on Big Data, 1(4):138-150, December 2015
Details Download
Wikidata: a free collaborative knowledgebase
Commun. ACM, 57(10):78-85, 2014
Details Download
Description Logics
IEEE Intelligent Systems, 29(1):12-19, 2014
Details
The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases
Journal of Artificial Intelligence Research, 51:645-705, December 2014
Details Download
Artikel in Tagungsbänden
Materializing Knowledge Bases via Trigger Graphs
Proceedings of the 47th International Conference on Very Large Databases, VLDB 2021, volume 14, 943-956, 2021
Details Download
Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules
In Christian Bessiere, eds., Proceedings of the 29th International Joint Conference on Artificial Intelligence, IJCAI 2020, 1777-1783, 2020. ijcai.org
Details Download
Computing Cores for Existential Rules with the Standard Chase and ASP
In Diego Calvanese, Esra Erdem, Michael Thielscher, eds., Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 603-613, 2020. IJCAI
Details Download
The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract)
In Mantas Simkus, Grant E. Weddell, eds., Proceedings of the 32nd International Workshop on Description Logics, volume 2373 of CEUR Workshop Proceedings, 2019. CEUR-WS.org
Details Download
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
In Mantas Simkus, Grant E. Weddell, eds., Proceedings of the 32st International Workshop on Description Logics (DL 2019), volume 2373 of CEUR Workshop Proceedings, June 2019. CEUR-WS.org
Details Download
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
Proceedings of the 33rd Conference on Artificial Intelligence (AAAI 2019), January 2019
Details Download
Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract)
In Mantas Simkus, Grant E. Weddell, eds., Proceedings of the 32nd International Workshop on Description Logics, volume 2373 of CEUR Workshop Proceedings, June 2019. CEUR-WS.org
Details Download
Discovering Implicational Knowledge in Wikidata
In Diana Cristea, Florence Le Ber, Baris Sertkaya, eds., Proceedings of the 15th International Conference on Formal Concept Analysis (ICFCA'19), volume 11511 of LNCS, 315--323, June 2019. Springer
Details Download
Too Much Information: Can AI Cope With Modern Knowledge Graphs?
In Diana Cristea, Florence Le Ber, Baris Sertkaya, eds., Proceedings of the 15th International Conference on Formal Concept Analysis (ICFCA 2019), volume 11511 of LNCS, 17--31, 2019. Springer
Details Download
The Power of the Terminating Chase
In Pablo Barceló, Marco Calautti, eds., Proceedings of the 22nd International Conference on Database Theory (ICDT 2019), volume 127 of LIPIcs, 3:1--3:17, 2019. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
VLog: A Rule Engine for Knowledge Graphs
In Chiara Ghidini, Olaf Hartig, Maria Maleshkova, Vojtěch Svátek, Isabel F. Cruz, Aidan Hogan, Jie Song, Maxime Lefrançois, Fabien Gandon, eds., Proceedings of the 18th International Semantic Web Conference (ISWC'19) Part II, volume 11779 of LNCS, 2019. Springer
Details Download
Chasing Sets: How to Use Existential Rules for Expressive Reasoning
Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI'19), August 2019. International Joint Conferences on Artificial Intelligence
Details Download
Happy Ever After: Temporally Attributed Description Logics
In Magdalena Ortiz, Thomas Schneider, eds., Proceedings of the 31st International Workshop on Description Logics (DL 2018), volume 2211 of CEUR Workshop Proceedings, 2018. CEUR-WS.org
Details Download
Tractable Query Answering for Expressive Ontologies and Existential Rules: Extended Abstract
Proceedings of the 31st International Workshop on Description Logics (DL 2018), October 2018
Details Download
Deciding Universality of ptNFAs is PSpace-Complete
In A Min Tjoa, Ladjel Bellatreche, Stefan Biffl, Jan van Leeuwen, Jiri Wiedermann, eds., Proceedings of the 44th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2018), volume 10706 of LNCS, 413-427, 2018. Springer
Details Download
A Data-Driven Graph Schema
Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, Cali, Colombia, May 21-25, 2018, May 2018
Details Download
Efficient Model Construction for Horn Logic with VLog: Extended Abstract
In Magdalena Ortiz, Thomas Schneider, eds., Proceedings of the 31st International Workshop on Description Logics (DL 2018), volume 2211 of CEUR Workshop Proceedings, October 2018. CEUR-WS.org
Details Download
Preserving Constraints with the Stable Chase
In Benny Kimelfeld and Yael Amsterdamer, eds., Proceedings of the 21st International Conference on Database Theory (ICDT 2018), volume 98 of Leibniz International Proceedings in Informatics (LIPIcs), 12:1--12:19, March 2018. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Details Download
Modelling Dynamics in Semantic Web Knowledge Graphs with Formal Concept Analysis
Proceedings of the 2018 World Wide Web Conference on World Wide Web, WWW 2018, Lyon, France, April 23-27, 2018. ACM 2018, April 2018
Details Download
Practical Linked Data Access via SPARQL: The Case of Wikidata
In Tim Berners-Lee, Sarven Capadisli, Stefan Dietze, Aidan Hogan, Krzysztof Janowicz, Jens Lehmann, eds., Proceedings of the WWW2018 Workshop on Linked Data on the Web (LDOW-18), volume 2073 of CEUR Workshop Proceedings, 2018. CEUR-WS.org
Details Download
Getting the Most out of Wikidata: Semantic Technology Usage in Wikipedia’s Knowledge Graph
In Denny Vrandečić, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aimée Kaffee, Elena Simperl, eds., Proceedings of the 17th International Semantic Web Conference (ISWC'18), volume 11137 of LNCS, 376-394, 2018. Springer
Details Download
The Combined Approach to Query Answering in Horn-ALCHOIQ
In Michael Thielscher, Francesca Toni, Frank Wolter, eds., Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), 339-348, October 2018. AAAI Press
Details Download
Efficient Model Construction for Horn Logic with VLog
In Didier Galmiche, Stephan Schulz, Roberto Sebastiani, eds., Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2018), volume 10900 of LNCS, 680--688, 2018. Springer
Details Download
Attributed Description Logics: Reasoning on Knowledge Graphs
In Jérôme Lang, eds., Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI'18), 5309--5313, July 2018. International Joint Conferences on Artificial Intelligence
Details Download
Reasoning with Attributed Description Logics
In Alessandro Artale, Birte Glimm, Roman Kontchakov, eds., Proceedings of the 30th International Workshop on Description Logics (DL 2017), volume 1879 of CEUR Workshop Proceedings, July 2017. CEUR-WS.org
Details Download
Answering Conjunctive Queries for Expressive DLs with the Restricted Chase: Extended Abstract
In Alessandro Artale, Birte Glimm, Roman Kontchakov, eds., Proceedings of the 30st International Workshop on Description Logics (DL 2017), volume 1879 of CEUR Workshop Proceedings, July 2017. CEUR-WS.org
Details Download
Attributed Description Logics: Ontologies for Knowledge Graphs
In Claudia d'Amato, Miriam Fernández, Valentina A. M. Tamma, Freddy Lécué, Philippe Cudré-Mauroux, Juan F. Sequeda, Christoph Lange, Jeff Heflin, eds., Proceedings of the 16th International Semantic Web Conference (ISWC'17), volume 10587 of LNCS, 418--435, October 2017. Springer
Details Download
Ontologies for Knowledge Graphs?
In Alessandro Artale, Birte Glimm, Roman Kontchakov, eds., Proceedings of the 30th International Workshop on Description Logics (DL 2017), volume 1879 of CEUR Workshop Proceedings, July 2017. CEUR-WS.org
Details Download
Tractable Query Answering for Expressive Ontologies and Existential Rules
In Claudia d'Amato, Miriam Fernández, Valentina A. M. Tamma, Freddy Lécué, Philippe Cudré-Mauroux, Juan F. Sequeda, Christoph Lange, Jeff Heflin, eds., Proceedings of the 16th International Semantic Web Conference (ISWC'17), volume 10587 of LNCS, 2017. Springer
Details Download
Restricted chase (non)termination for existential rules with disjunctions
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), 922-928, 2017. International Joint Conferences on Artificial Intelligence
Details Download
SQID: Towards Ontological Reasoning for Wikidata
In Nadeschda Nikitina, Dezhao Song, eds., Proceedings of the ISWC 2017 Posters & Demonstrations Track, CEUR Workshop Proceedings, October 2017. CEUR-WS.org
Details Download
Logic on MARS: Ontologies for generalised property graphs
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), 1188-1194, August 2017. International Joint Conferences on Artificial Intelligence
Details Download
Efficient Large Outer Joins over MapReduce
Proc. 22nd International European Conference on Parallel Processing (Euro-Par'16), 334-346, August 2016. Springer
Details Download
On the Complexity of Universality for Partially Ordered NFAs
In Piotr Faliszewski, Anca Muscholl, Rolf Niedermeier, eds., Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016), volume 58 of Leibniz International Proceedings in Informatics, 61:1--61:14, 2016. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Details Download
VLog: A Column-Oriented Datalog System for Large Knowledge Graphs
In Takahiro Kawamura, Heiko Paulheim, eds., Proceedings of the 15th International Semantic Web Conf. (ISWC'16), Posters and Demos, volume 1690 of CEUR Workshop Proceedings, 2016. CEUR-WS.org
Details Download
Piecewise Testable Languages and Nondeterministic Automata
In Piotr Faliszewski, Anca Muscholl, Rolf Niedermeier, eds., Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016), volume 58 of Leibniz International Proceedings in Informatics, 67:1--67:14, 2016. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Details Download
Efficient Data Redistribution to Speedup Big Data Analytics in Large Systems
Proc. 23rd IEEE International Conference on High Performance Computing (HiPC'16), 91-100, December 2016. IEEE
Details Download
Ontologies for Knowledge Graphs: Breaking the Rules
In Yolanda Gil, Elena Simperl, Paul Groth, Freddy Lecue, Markus Krötzsch, Alasdair Gray, Marta Sabou, Fabian Flöck, Hideaki Takeda, eds., Proceedings of the 15th International Semantic Web Conference (ISWC 2016), volume 9981 of LNCS, 376-392, 2016. Springer
Details Download
Column-Oriented Datalog Materialization for Large Knowledge Graphs
In Dale Schuurmans, Michael P. Wellman, eds., Proceedings of the 30th AAAI Conference on Artificial Intelligence, 258-264, 2016. AAAI Press
Details Download
On the Complexity of k-Piecewise Testability and the Depth of Automata
In I. Potapov, eds., Proc. 19th International Conference on Developments in Language Theory (DLT'15), volume 9168 of LNCS, 364-376, 2015. Springer
Details Download
Multilevel Coordination Control of Partially Observed Modular DES
In A. Astolfi, eds., American Control Conference (ACC 2015), 384-389, 2015
Details Download
Relative Observability in Coordination Control
In B. Lennartson, eds., 2015 IEEE International Conference on Automation Science and Engineering (CASE), 75-80, 2015. IEEE
Details Download
Schema-Agnostic Query Rewriting for OWL QL
In Diego Calvanese, Boris Konev, eds., Proceedings of the 28th International Workshop on Description Logics, volume 1350 of CEUR Workshop Proceedings, 2015. CEUR-WS.org
Details Download
High Throughput Indexing for Large-scale Semantic Web Data
Proc. 30th ACM/SIGAPP Symposium On Applied Computing (SAC'15), 416-422, April 2015. ACM
Details Download
Reifying RDF: What Works Well With Wikidata?
In Thorsten Liebig and Achille Fokoue, eds., Proceedings of the 11th International Workshop on Scalable Semantic Web Knowledge Base Systems, volume 1457 of CEUR Workshop Proceedings, 32-47, 2015. CEUR-WS.org
Details Download
Reasonable Highly Expressive Query Languages
In Qiang Yang, Michael Wooldridge, eds., Proc. 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 2826-2832, 2015. AAAI Press
Details Download
On a Distributed Computation of Supervisors in Modular Supervisory Control
Proc. of International Conference on Complex Systems Engineering (ICCSE), 2015. IEEE
Details Download
Introducing Wikidata to the Linked Data Web
In Peter Mika, Tania Tudorache, Abraham Bernstein, Chris Welty, Craig A. Knoblock, Denny Vrandečić, Paul T. Groth, Natasha F. Noy, Krzysztof Janowicz, Carole A. Goble, eds., Proceedings of the 13th International Semantic Web Conference (ISWC 2014), volume 8796 of LNCS, 50-65, October 2014. Springer
Details Download
On Upper and Lower Bounds on the Length of Alternating Towers
In E. Csuhaj-Varju, M. Dietzfelbinger, Z. Esik, eds., Mathematical Foundations of Computer Science (MFCS), volume 8634 of LNCS, 315-326, 2014. Springer
Details Download
Schema-Agnostic Query Rewriting in SPARQL 1.1
In Peter Mika, Tania Tudorache, Abraham Bernstein, Chris Welty, Craig A. Knoblock, Denny Vrandečić, Paul T. Groth, Natasha F. Noy, Krzysztof Janowicz, Carole A. Goble, eds., Proc. 13th International Semantic Web Conference (ISWC'14), volume 8796 of LNCS, 584-600, October 2014. Springer
Details Download
Complexities of Nominal Schemas
Proc. 27th International Workshop on Description Logics (DL'14), 270-273, July 2014. CEUR Workshop Proceedings
Details Download
A Fully Parallel Framework for Fast Analyzing RDF Data
P&D Track of the 13th International Semantic Web Conference (ISWC'14), October 2014. CEUR Workshop Proceedings
Details Download
How to Best Nest Regular Path Queries
Proc. 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 404-415, July 2014. CEUR-WS.org
Details Download
Investigating Distributed Approaches to Efficiently Extract Textual Evidences for Biomedical Ontologies
Proc. 14th IEEE International Conference on BioInformatics and BioEngineering (BIBE'14), 220-225, November 2014. IEEE
Details Download
Nominal Schemas in Description Logics: Complexities Clarified
In Chitta Baral, Giuseppe De Giacomo, Thomas Eiter, eds., Proc. 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14), 308-317, July 2014. AAAI Press
Details Download
P ≠ P: Why Some Reasoning Problems Are More Tractable Than Others
Proc. 8th International Conference on Web Reasoning and Rule Systems (RR'14), volume 8741 of LNCS, 1-22, September 2014. Springer
Details Download
Buchkapitel
Temporally Attributed Description Logics
In Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter, eds., Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, volume 11560 of LNCS, 441-474. Springer, 2019
Details Download
Herausgegebene Tagungsbände
Joint Proceedings of the 3rd Stream Reasoning (SR 2016) and the 1st Semantic Web Technologies for the Internet of Things (SWIT 2016) workshops
Volume 1783 of CEUR Workshop Proceedings, 2017. CEUR-WS.org
Details
Proceedings of the 15th International Semantic Web Conference (ISWC 2016), Part I
Volume 9981 of LNCS, 2016. Springer
Details
Proceedings of the 15th International Semantic Web Conference (ISWC 2016), Part II
Volume 9982 of LNCS, 2016. Springer
Details
KI 2015: Advances in Artificial Intelligence - Proceedings of the 38th Annual German Conference on AI
Volume 9324 of LNAI, 2015. Springer
Details
Joint Proceedings of the 1st Joint International Workshop on Semantic Sensor Networks and Terra Cognita (SSN-TC 2015) and the 4th International Workshop on Ordering and Reasoning (OrdRing 2015)
Volume 1488 of CEUR Workshop Proceedings, 2015. CEUR-WS.org
Details
Technische Berichte
Reasonable Highly Expressive Query Languages: Extended Technical Report
Technical Report, TU Dresden, May 2015
Details Download
Query Containment for Highly Expressive Datalog Fragments
Technical Report, arXiv.org, volume CoRR abs/1406.7801, January 2014
Details Download
Vorträge und Sonstiges
Practical Uses of Existential Rules in Knowledge Representation
Tutorial at the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020)
Details
Practical Uses of Existential Rules in Knowledge Representation
Tutorial at the 24th European Conference on Artificial Intelligence (ECAI 2020)
Details
Discovering Implicational Knowledge in Wikidata
Presentation at Wikimania 2019, August 2019
Details Download
SQID 2.0 — A Data Browser for Wikidata
Poster at Wikimania 2019, August 2019
Details Download
The Exploration Game
Poster at Wikimania 2019, August 2019
Details Download
Working with Knowledge Graphs
Course at EDBT Summer School 2019, Lyon, France, 2019
Details Download
Reasoning with Horn DL Ontologies and Knowledge Graphs
Invited Talk at VU University Amsterdam, October 2018
Details
Recent Advances in Reasoning with Existential Rules
Presentation at the 2018 Workshop of the European Master in Computational Logic (EMCL), 2018
Details Download
Getting the most out of Wikidata
Invited presentation at Wiki Workshop 2018, 2018
Details Download
Ontological Modelling in Wikidata
Invited keynote at the 9th Workshop on Ontology Design and Patterns (WOP'18), 2018
Details Download
The New SQID: Improving Wikidata Made Easy
Presentation at WikidataCon 2017, 2017
Details Download
Wikidata as a Cultural Heritage Information Hub
Invited talk at the Europeana Network Association AGM 2016, November 2016
Details Download