DIAMOND

From International Center for Computational Logic
Toggle side column

DIAMOND

Data Integration and Access by Merging Ontologies and Databases

Modern information systems increasingly empower users to decide about the nature and organisation of data, traditionally the domain of application developers. At the same time, applications open up to broader user groups, emphasising collaboration and information exchange. These trends are exemplified by Wikidata, a new sister project of Wikipedia that will provide a central, multilingual database site where users manage all of Wikipedia’s factual information. Wikidata is the mainstream breakthrough for a new type of information system that brings the flexibility and dynamicity of Wikipedia to structured data management.

Wikidata is very different from classical database applications and is facing completely new problems. Without a fixed format for storing data, information is more difficult to find, errors are harder to detect, and overlapping information grows. The quality and utility of the data suffer. At the same time, the data and its format are highly dynamic, and not formally documented. To tackle this problem, the DIAMOND project aims to extend the recent approach of Ontology-Based Data Access (OBDA) to dynamic, large-scale data management platforms. OBDA uses a conceptual model, called an ontology, which describes relationships between heterogeneous information models in a way that allows computers to align and integrate data automatically. However, OBDA so far only works well for relatively small, static, and well-designed ontologies, whereas applications like Wikidata require large, dynamic, user-created ontologies.

The main goals of DIAMOND are (1) to develop the foundations of ontology languages for this new type of information system, (2) to design an integrated prototype system to show that this solution can work, and (3) to advance the methodologies for evaluating OBDA formalisms and systems. To achieve this, the project closely combines theoretical and practical research. Foundational questions from mathematical logic, database theory, and knowledge representation will be studied in close connexion to practical questions of algorithm design, automated deduction, and system architecture. Accordingly, the methods of scientific investigation involve mathematical proof as well as experimental evaluations. The motivating use case of Wikidata serves as a source of realistic requirements and as a guide to ensure the relevance of the research.

If successful, the project will push the theoretical and practical boundaries of knowledge-based systems, which might otherwise soon become major obstacles in modern information management. Wikidata provides a first major example for general trends that will affect many communities, organisations, and businesses, but the potential of this project goes far beyond this prominent use case.


Journal Articles

Tomáš Masopust
Complexity of Verifying Nonblockingness in Modular Supervisory Control
IEEE Transactions on Automatic Control, 63(2):602-607, 2018
Details Download

Long Cheng, Spyros Kotoulas
Efficient Skew Handling for Outer Joins in a Cloud Computing Environment
IEEE Transactions on Cloud Computing, 6(2):558 - 571, 2018
Details Download

Tomáš Masopust
Complexity of Infimal Observable Superlanguages
IEEE Transactions on Automatic Control, 63(1):249-254, 2018
Details Download

Long Cheng, Ilias Tachmazidis, Spyros Kotoulas, Grigoris Antoniou
Design and Evaluation of Small-Large Outer Joins in Cloud Computing Environments
Journal of Parallel and Distributed Computing, 110:2-15, 2017
Details

Jan Komenda, Tomáš Masopust
Computation of Controllable and Coobservable Sublanguages in Decentralized Supervisory Control via Communication
Discrete Event Dynamic Systems, 27(4):585-608, December 2017
Details Download

Tomáš Masopust, Michaël Thomazo
On boolean combinations forming piecewise testable languages
Theoretical Computer Science, 682:165-179, June 2017
Details Download

Markus Krötzsch, Tomáš Masopust, Michaël Thomazo
Complexity of Universality and Related Problems for Partially Ordered NFAs
Information and Computation, 255(1):177-192, August 2017
Details Download

Ignacio Lamata Martínez, Martin S Williams, Shirley Dyke, Markus Krötzsch, Pierre Pegon
Next directions in experimental data for seismic hazard mitigation
Engineering Structures, 136:535-546, 2017
Details

Long Cheng, Avinash Malik, Spyros Kotoulas, Tomas E. Ward, Georgios Theodoropoulos
Fast Compression of Large Semantic Web Data using X10
IEEE Transactions on Parallel and Distributed Systems, 27(9):2603-2617, September 2016
Details Download

Markus Krötzsch, Sebastian Rudolph
Is Your Database System a Semantic Web Reasoner?
KI, 30(2):169-176, 2016
Details Download

Long Cheng, Spyros Kotoulas
Scale-Out Processing of Large RDF Datasets
IEEE Transactions on Big Data, 1(4):138-150, December 2015
Details Download

Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt
A Closer Look at the Semantic Relationship between Datalog and Description Logics
Semantic Web Journal, 6(1):63-79, 2015
Details Download

Denny Vrandečić, Markus Krötzsch
Wikidata: a free collaborative knowledgebase
Commun. ACM, 57(10):78-85, 2014
Details Download

Markus Krötzsch, František Simančík, Ian Horrocks
Description Logics
IEEE Intelligent Systems, 29(1):12-19, 2014
Details

Yevgeny Kazakov, Markus Krötzsch, František Simančík
The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies
J. Autom. Reasoning, 53(1):1-61, 2014
Details Download

Giorgo Stefanoni, Boris Motik, Markus Krötzsch, Sebastian Rudolph
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

Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies
J. Artif. Intell. Res. (JAIR), 47:741-808, 2013
Details Download


Proceedings Articles

Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Attributed Description Logics: Reasoning on Knowledge Graphs
Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI'18), 5309--5313, July 2018. International Joint Conference on Artificial Intelligence
Details Download

David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph
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

Larry González, Aidan Hogan
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

Larry González, Aidan Hogan
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

Adrian Bielefeldt, Julius Gonsior, Markus Krötzsch
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

Jacopo Urbani, Markus Krötzsch, Ceriel Jacobs, Irina Dragoste, David Carral
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

Stanislav Malyshev, Markus Krötzsch, Larry González, Julius Gonsior, Adrian Bielefeldt
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), LNCS, to appear. Springer
Details Download

Tomáš Masopust, Markus Krötzsch
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. Spinger
Details Download

Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Reasoning with Attributed Description Logics
In Alessandro Artale, Birte Glimm, Roman Kontchakov, eds., Proceedings of the 30th International Workshop on Description Logics (DL 2017), Montpellier, France, July 18-21, 2017, volume 1879 of CEUR Workshop Proceedings, July 2017. CEUR-WS.org
Details Download

Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
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

Markus Krötzsch
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

Maximilian Marx, Markus Krötzsch
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

Maximilian Marx, Markus Krötzsch, Veronika Thost
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, 2017. International Joint Conferences on Artificial Intelligence
Details Download

David Carral, Irina Dragoste, Markus Krötzsch
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

David Carral, Irina Dragoste, Markus Krötzsch
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

Markus Krötzsch, Veronika Thost
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

Jacopo Urbani, Ceriel Jacobs, Markus Krötzsch
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

Jacopo Urbani, Ceriel Jacobs, Markus Krötzsch
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

Long Cheng, Tao Li
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

Long Cheng, Spyros Kotoulas
Efficient Large Outer Joins over MapReduce
Proc. 22nd International European Conference on Parallel Processing (Euro-Par'16), 334-346, August 2016. Springer
Details Download

Markus Krötzsch, Tomáš Masopust, Michaël Thomazo
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

Tomáš Masopust
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

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
Multilevel Coordination Control of Partially Observed Modular DES
In A. Astolfi, eds., American Control Conference (ACC 2015), 384-389, 2015
Details Download

Stefan Bischof, Markus Krötzsch, Axel Polleres, Sebastian Rudolph
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

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
On a Distributed Computation of Supervisors in Modular Supervisory Control
Proc. of International Conference on Complex Systems Engineering (ICCSE), 2015. IEEE
Details Download

Daniel Hernández, Aidan Hogan, Markus Krötzsch
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

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
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

Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
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

Tomáš Masopust, Michaël Thomazo
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

Long Cheng, Spyros Kotoulas, Tomas E Ward, Georgios Theodoropoulos
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

Štěpán Holub, Galina Jirásková, Tomáš Masopust
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

Long Cheng, Spyros Kotoulas, Tomas E. Ward, Georgios Theodoropoulos
Robust and Skew-resistant Parallel Joins in Shared-nothing Systems
Proc. 23rd ACM International Conference on Information and Knowledge Management (CIKM'14), 1399-1408, November 2014. ACM
Details Download

Long Cheng, Spyros Kotoulas, Tomas E. Ward, Georgios Theodoropoulos
Robust and Efficient Large-large Table Outer Joins on Distributed Infrastructures
Proc. 20th International European Conference on Parallel Processing (Euro-Par'14), 258-269, August 2014. Springer
Details Download

Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
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

Long Cheng, Yue Ma
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

Stefan Bischof, Markus Krötzsch, Axel Polleres, Sebastian Rudolph
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

Fredo Erxleben, Michael Günther, Markus Krötzsch, Julian Mendez, Denny Vrandečić
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

Long Cheng, Spyros Kotoulas, Tomas E. Ward, Georgios Theodoropoulos
Design and Evaluation of Parallel Hashing over Large-scale Data
Proc. 21st IEEE International Conference on High Performance Computing (HiPC'14), 1-10, December 2014. IEEE
Details Download

Long Cheng, Avinash Malik, Spyros Kotoulas, Tomas E. Ward, Georgios Theodoropoulos
Efficient Parallel Dictionary Encoding for RDF Data
Proc. 17th International Workshop on the Web and Databases (WebDB'14), June 2014
Details Download

Markus Krötzsch
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

Long Cheng, Spyros Kotoulas, Tomas E. Ward, Georgios Theodoropoulos
A Two-tier Index Architecture for Fast Processing Large RDF Data over Distributed Memory
Proc. 25th ACM International Conference on Hypertext and Social Media (HT'14), 300-302, September 2014. ACM
Details Download

Markus Krötzsch, Sebastian Rudolph
Complexities of Nominal Schemas
Proc. 27th International Workshop on Description Logics (DL'14), 270-273, July 2014. CEUR Workshop Proceedings
Details Download

Ilias Tachmazidis, Long Cheng, Spyros Kotoulas, Grigoris Antoniou, Tomas E Ward
Massively Parallel Reasoning under the Well-Founded Semantics using X10
Proc. 26th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'14), 162-169, November 2014. IEEE
Details Download

Long Cheng, Spyros Kotoulas, Tomas E. Ward, Georgios Theodoropoulos
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

Markus Krötzsch, Sebastian Rudolph
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


Edited Proceedings

Daniele Dell'Aglio, Emanuele Della Valle, Thomas Eiter, Markus Krötzsch, Maria Maleshkova, Ruben Verborgh, Federico M. Facca, Michael Mrissa
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

Paul T. Groth, Elena Simperl, Alasdair J. G. Gray, Marta Sabou, Markus Krötzsch, Freddy Lécué, Fabian Flöck, Yolanda Gil
Proceedings of the 15th International Semantic Web Conference (ISWC 2016), Part I
Volume 9981 of LNCS, 2016. Springer
Details

Paul T. Groth, Elena Simperl, Alasdair J. G. Gray, Marta Sabou, Markus Krötzsch, Freddy Lécué, Fabian Flöck, Yolanda Gil
Proceedings of the 15th International Semantic Web Conference (ISWC 2016), Part II
Volume 9982 of LNCS, 2016. Springer
Details

Steffen Hölldobler, Markus Krötzsch, Rafael Peñaloza Nyssen, Sebastian Rudolph
KI 2015: Advances in Artificial Intelligence - Proceedings of the 38th Annual German Conference on AI
Volume 9324 of LNAI, 2015. Springer
Details

Kostis Kyzirakos, Cory A. Henson, Matthew Perry, Dalia Varanka, Rolf Grütter, Jean-Paul Calbimonte, Irene Celino, Emanuele Della Valle, Daniele Dell'Aglio, Markus Krötzsch, Stefan Schlobach
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


Technical Reports

Markus Krötzsch, Veronika Thost
Ontologies for Knowledge Graphs: Breaking the Rules
Technical Report, TU Dresden, April 2016
Details Download

Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
Reasonable Highly Expressive Query Languages: Extended Technical Report
Technical Report, TU Dresden, May 2015
Details Download

Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
Query Containment for Highly Expressive Datalog Fragments
Technical Report, arXiv.org, volume CoRR abs/1406.7801, January 2014
Details Download


Talks and Miscellaneous

Markus Krötzsch
Recent Advances in Reasoning with Existential Rules
Presentation at the 2018 Workshop of the European Master in Computational Logic (EMCL), 2018
Details Download

Markus Krötzsch
Getting the most out of Wikidata
Invited presentation at Wiki Workshop 2018, 2018
Details Download

Maximilian Marx, Markus Krötzsch
The New SQID: Improving Wikidata Made Easy
Presentation at WikidataCon 2017, 2017
Details Download

Markus Krötzsch
Wikidata as a Cultural Heritage Information Hub
Invited talk at the Europeana Network Association AGM 2016, November 2016
Details Download