Publications of Group Wissensbasierte Systeme

Publications

Toggle side column

Publications of Group Wissensbasierte Systeme

• Wissensbasierte Systeme

Journal Articles

Philipp Hanisch, Markus Krötzsch
Chase Termination Beyond Polynomial Time
Proc. ACM Manag. Data, 2(2):93, May 2024
Details Download

Markus Krötzsch
Wissen als Code: Die Welt der Wissensgraphen und Ontologien
Linux-Magazin (12/2022):24-28, 2022
Details

Tomáš Masopust, Markus Krötzsch
Partially Ordered Automata and Piecewise Testability
Logical Methods in Computer Science, 17(2), 2021
Details Download

David Carral, Irina Dragoste, Markus Krötzsch
Reasoner = Logical Calculus + Rule Engine
KI, 2020
Details

Stefan Ellmauthaler, Claudia Schultz
Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms
Theory and Practice of Logic Programming, 19(2):109-104, 2019
Details

Stefan Ellmauthaler
Multi-Context Reasoning in Continuous Data-Flow Environments
KI - Künstliche Intelligenz, 33(1):101-104, March 2019
Details

Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
Reactive multi-context systems: Heterogeneous reasoning in dynamic environments
Artificial Intelligence, 256:68-104, 2018
Details

Gerhard Brewka, Stefan Ellmauthaler, Gabriele Kern-Isberner, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Steffen Schieweck
Advanced Solving Technology for Dynamic and Reactive Applications
KI - Künstliche Intelligenz, 32(2):199-200, August 2018
Details

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

Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter
Exact Learning of Lightweight Description Logic Ontologies
Journal of Machine Learning Research, 18:1-63, 2018
Details Download

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

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

Stephan Mennicke, Jan-Christoph Kalo, Wolf-Tilo Balke
Using Queries as Schema-Templates for Graph Databases
Datenbank-Spektrum, 18(2):89-98, May 2018
Details

Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes Peter Wallner, Stefan Woltran
Abstract Dialectical Frameworks. An Overview
IfCoLog Journal of Logics and their Applications, 4(8):2263-2317, October 2017
Details

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

Montserrat Hermo, Ana Ozaki
Exact Learning of Multivalued Dependency Formulas
Theoretical Computer Science, December 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

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

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

Veronika Thost
Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information (Extended Abstract)
KI, 31(4):377--380, 2017
Details Download

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

Jan Komenda, Tomáš Masopust
Distributed computation of supremal conditionally-controllable sublanguages
International Journal of Control, 89(2):424-436, 2016
Details

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

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
Coordination control of discrete-event systems revisited
Discrete Event Dynamic Systems, 25(1):65-94, 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

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

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

Despoina Magka, Markus Krötzsch, Ian Horrocks
A rule-based ontological framework for the classification of molecules
J. Biomedical Semantics, 5:17, 2014
Details Download

Tomáš Masopust
A Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown Automata
International Journal of Foundations of Computer Science, 24(3):319-328, 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

Denny Vrandečić, Markus Krötzsch
Wikidata: a free collaborative knowledgebase
Commun. ACM, 57(10):78-85, 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

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Complexities of Horn Description Logics
ACM Trans. Comput. Log., 14(1):2, 2013
Details Download

Emanuele Della Valle, Stefan Schlobach, Markus Krötzsch, Alessandro Bozzon, Stefano Ceri, Ian Horrocks
Order matters! Harnessing a world of orderings for reasoning over massive data
Semantic Web, 4(2):219-231, 2013
Details Download

Jürgen Dassow, Tomáš Masopust
On restricted context-free grammars
Journal of Computer and System Sciences, 78(1):293–304, 2012
Details Download

Galina Jirásková, Tomáš Masopust
On a structural property in the state complexity of projected regular languages
Theoretical Computer Science, 449:93–105, 2012
Details Download

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
Supervisory control synthesis of discrete-event systems using a coordination scheme
Automatica, 48(2):247-254, 2012
Details Download

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
On conditional decomposability
Systems & Control Letters, 61(12):1260–1268, 2012
Details Download

Tomáš Masopust
A note on controllability of deterministic context-free systems
Automatica, 48(8):1934-1937, 2012
Details Download

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Type-elimination-based Reasoning for the Description Logic SHIQbs using Decision Diagrams and Disjunctive Datalog
Logical Methods in Computer Science, 8(1), 2012
Details Download

Olivier Boutin, Jan Komenda, Tomáš Masopust, Nicola Pambakian, Jan H. van Schuppen, Pia L. Kempker, André C. M. Ran
Control of Distributed Systems: Tutorial and Overview
European Journal of Control, 17(5-6):579-602, 2011
Details Download

Erzsébet Csuhaj-Varjú, Tomáš Masopust, György Vaszil
Blackhole Pushdown Automata
Fundamenta Informaticae, 112(2-3):137-156, 2011
Details Download

Galina Jirásková, Tomáš Masopust
Complexity in Union-Free Regular Languages
International Journal of Foundations of Computer Science, 22(7):1639-1653, 2011
Details Download

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator
Systems & Control Letters, 60(7):492-502, 2011
Details Download

Zbyněk Křivka, Tomáš Masopust
Cooperating Distributed Grammar Systems with Random Context Grammars as Components
Acta Cybernetica, 20(2):269-283, 2011
Details Download

Denny Vrandečić, Varun Ratnakar, Markus Krötzsch, Yolanda Gil
Shortipedia: Aggregating and Curating Semantic Web Data
J. Web Sem., 9(3):334-338, 2011
Details

Filip Goldefus, Tomáš Masopust, Alexander Meduna
Left-forbidding cooperating distributed grammar systems
Theoretical Computer Science, 411(40-42):3661-3667, 2010
Details Download

Tomáš Masopust
Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals
Fundamenta Informaticae, 99(4):473-480, 2010
Details Download

Tomáš Masopust
Regulated Nondeterminism in Pushdown Automata: The Non-Regular Case
Fundamenta Informaticae, 104(1-2):111-124, 2010
Details Download

Tomáš Masopust
Simple restriction in context-free rewriting
Journal of Computer and System Sciences, 76(8):837-846, 2010
Details Download

Denny Vrandečić, Markus Krötzsch, Sebastian Rudolph, Uta Lösch
Leveraging Non-Lexical Knowledge for the Linked Open Data Web
The Fifth RAFT'2010 The yearly bilingual publication on nonchalant research, 5(1):18-27, April 2010
Details Download

Tomáš Masopust, Alexander Meduna
On context-free rewriting with a simple restriction and its computational completeness
RAIRO - Theoretical Informatics and Applications, 43(2):365-378, 2009
Details Download

Tomáš Masopust
On the descriptional complexity of scattered context grammars
Theoretical Computer Science, 410(1):108-112, 2009
Details Download

Tomáš Masopust, Alexander Meduna
On Pure Multi-Pushdown Automata that Perform Complete Pushdown Pops
Acta Cybernetica, 19(2):537-552, 2009
Details Download

Tomáš Masopust
On the Terminating Derivation Mode in Cooperating Distributed Grammar Systems with Forbidding Components
International Journal of Foundations of Computer Science, 20(2):331-340, 2009
Details Download

Anupriya Ankolekar, Markus Krötzsch, Duc Thanh Tran, Denny Vrandečić
The two cultures: mashing up Web 2.0 and the Semantic Web
Journal of Web Semantics, 6(1), February 2008
Details

Tomáš Masopust
Descriptional complexity of multi-parallel grammars
Information Processing Letters, 108(2):68-70, 2008
Details Download

Tomáš Masopust, Alexander Meduna, Jirí Simácek
Two Power-Decreasing Derivation Restrictions in Generalized Scattered Context Grammars
Acta Cybernetica, 18(4):783-793, 2008
Details Download

Tomáš Masopust, Jirí Techet
Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof
Discrete Mathematics & Theoretical Computer Science, 10(2):39-46, 2008
Details Download

Tomáš Masopust, Alexander Meduna
On Descriptional Complexity of Partially Parallel Grammars
Fundamenta Informaticae, 87(3-4):407-415, 2008
Details Download

Markus Krötzsch, Denny Vrandečić, Max Völkel, Heiko Haller, Rudi Studer
Semantic Wikipedia
Journal of Web Semantics, 5:251--261, September 2007
Details Download

Tomáš Masopust, Alexander Meduna
Descriptional complexity of semi-conditional grammars
Information Processing Letters, 104(1):29-31, 2007
Details Download

Alexander Meduna, Tomáš Masopust
Self-Regulating Finite Automata
Acta Cybernetica, 18(1):135-153, 2007
Details Download

Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang
A categorical view on algebraic lattices in formal concept analysis
Fundamenta Informaticae, 74(2-3):301-328, July 2006
Details Download

Markus Krötzsch
Generalized Ultrametric Spaces in Quantitative Domain Theory
Theoretical Computer Science, 368(1--2):30--49, December 2006
Details Download

Proceedings Articles

Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl
Winning Snake: Design Choices in Multi-Shot ASP
Proceedings of the 40th International Conference on Logic Programming (ICLP 2024), to appear
Details Download

Lukas Gerlach, David Carral, Markus Hecher
Finite Groundings for ASP with Functions: A Journey through Consistency (Technical Report)
In Kate Larson, eds., Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI-24, 3386-3394, August 2024. International Joint Conferences on Artificial Intelligence Organization
Details Download

Lukas Gerlach, David Carral, Markus Hecher
Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract)
In Nina Gierasimczuk, Jesse Heyninck, eds., Proceedings of the 22nd International Workshop on Non-Monotonic Reasoning, to appear
Details Download

Lukas Gerlach, Alex Ivliev, Julián Méndez, Simon Meusel, Raimund Dachselt, Markus Krötzsch
EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization
The Fifth Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2024), November 2024
Details Download

Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch
Nemo: A Scalable and Versatile Datalog Engine
In Mario Alviano, Matthias Lanzinger, eds., Proceedings of the 5th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2024), volume 3801 of CEUR Workshop Proceedings, 43-47, November 2024. CEUR-WS.org
Details Download

Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch
Nemo: Your Friendly and Versatile Rule Reasoning Toolkit
In Pierre Marquis,Magdalena Ortiz,Maurice Pagnucco, eds., Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, 743-754, November 2024. IJCAI Organization
Details Download

Daniil Kosakin, Sergei Obiedkov, Ekaterina Rakhilina, Ivan Smirnov, Anastasia Vyrenkova, Ekaterina Zalivina
Russian Learner Corpus: Towards Error-Cause Annotation for L2 Russian
In Nicoletta Calzolari, Min-Yen Kan, Veronique Hoste, Alessandro Lenci, Sakriani Sakti, Nianwen Xue, eds., Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING 2024), 14240-14258, May 2024. ELRA and ICCL
Details Download

Nils Küchenmeister, Alex Ivliev, Markus Krötzsch
Towards Mass Spectrum Analysis with ASP
In Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez, eds., Logic Programming and Nonmonotonic Reasoning, volume 15245 of Lecture Notes in Computer Science, 200-214, October 2024. Springer, Cham
Details Download

Dörthe Arndt, Stephan Mennicke
Notation3 as an Existential Rule Language
Rules and Reasoning - 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, Proceedings, October 2023. Springer
Details Download

Stefan Ellmauthaler, Lukas Gerlach
ADF-BDD.DEV: Debug Abstract Dialectical Frameworks with Binary Decision Diagrams
The Fourth Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2023), September 2023
Details Download

Stefan Ellmauthaler, Lukas Gerlach
ADF-BDD.DEV: Insights to undecided Statements in Abstract Dialectical Frameworks
In Gianvincenzo Alfano, Stefano Ferilli, eds., Proceedings of the 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 9, 2023, volume 3546 of CEUR Workshop Proceedings, December 2023. CEUR-WS.org
Details Download

Lukas Gerlach, David Carral
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report)
In Brian Williams, Yiling Chen, Jennifer Neville, eds., Proceedings of the 37th AAAI Conference on Artificial Intelligence, volume 37 of Proceedings of the AAAI Conference on Artificial Intelligence, 6372-6379, June 2023. AAAI Press
Details Download

Lukas Gerlach, David Carral
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination (Technical Report)
In Pierre Marquis,Tran Cao Son,Gabriele Kern-Isberner, eds., Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), volume 20 of Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, 301–310, September 2023. International Joint Conferences on Artificial Intelligence Organization
Details Download

Lukas Gerlach, David Carral
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract)
In Oliver Kutz, Carsten Lutz, Ana Ozaki, eds., Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023), volume 3515 of CEUR Workshop Proceedings, October 2023. CEUR-WS.org
Details Download

Larry González, Alex Ivliev, Stephan Mennicke, Markus Krötzsch
Efficient Dependency Analysis for Existential Rules
In Benny Kimelfeld, Maria Vanina Martinez, Renzo Angles, eds., Proceedings of the 15th Alberto Meldenzon International Workshop on Foundations of Data Management (AMW'23). Santiago, Chile, volume 3409 of CEUR Workshop Proceedings, 2023. CEUR-WS.org
Details Download

Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch
Nemo: First Glimpse of a New Rule Engine
In Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni, eds., Proceedings 39th International Conference on Logic Programming (ICLP 2023), volume 385 of EPTCS, 333--335, September 2023
Details Download

Sergei Obiedkov, Barış Sertkaya
Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis
In Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz, eds., Logics in Artificial Intelligence. JELIA 2023, volume 14281 of LNAI, 176-191, September 2023. Springer
Details Download

Tobias Schüler, Stephan Mennicke, Malte Lochau
Abstract Domains for Database Manipulating Processes
Rules and Reasoning - 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, Proceedings, October 2023. Springer
Details Download

Denny Vrandečić, Lydia Pintscher, Markus Krötzsch
Wikidata: The Making Of
In Ying Ding, Jie Tang, Juan F. Sequeda, Lora Aroyo,Carlos Castillo, Geert-Jan Houben, eds., Companion Proceedings of the ACM Web Conference 2023 (WWW'23), 615--624, 2023. ACM
Details Download

Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch
Deciding Hyperproperties Combined with Functional Specifications
In Christel Baier and Dana Fisman, eds., Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022), 56:1--56:13, 2022. ACM
Details Download

Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract)
In Ofer Arieli, Martin Homola,Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), volume 3263 of CEUR Workshop Proceedings, 2022. CEUR-WS.org
Details Download

Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), 5503--5511, 2022. AAAI Press
Details Download

Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K Murali, Christoph Weidenbach
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
In Dana Fisman, Grigore Rosu, eds., Proc. of the 28th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022), volume 13243 of LNCS, 480-501, 2022. Springer
Details Download

Raimund Dachselt, Sarah Alice Gaggl, Markus Krötzsch, Julián Méndez, Dominik Rusovac, Mei Yang
NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces
In Francesca Toni, eds., Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), volume 220146 of FAIA, 116-127, September 2022. IOS Press
Details Download

Ali Elhalawati, Markus Krötzsch, Stephan Mennicke
An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog
In Guido Governatori, Anni-Yasmin Turhan, eds., Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), volume 13752 of LNCS, 146--163, 2022. Springer
Details Download

Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams
In G. Gottlob, D Inclezan, M. Maratea, eds., Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), volume 13416 of Lecture Notes in Computer Science, 177-198, 2022. Springer
Details Download

Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke
Answering Queries with Negation over Existential Rules
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), 5626-5633, 2022. AAAI Press
Details Download

Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner
ADF - BDD : An ADF Solver Based on Binary Decision Diagrams
In Francesca Toni, eds., Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), volume 220146 of FAIA, 355-356, September 2022. IOS Press
Details Download

Sarah Alice Gaggl, Philipp Hanisch, Markus Krötzsch
Simulating Sets in Answer Set Programming
In Luc De Raedt, eds., Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI 2022), 2634--2640, 2022. ijcai.org
Details Download

Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke
Efficient Dependency Analysis for Rule-Based Ontologies
In Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d’Amato, eds., Proc. 21st International Semantic Web Conference (ISWC 2022), volume 13489 of LNCS, 267-283, October 2022. Springer
Details Download

Maximilian Marx, Markus Krötzsch
Tuple-Generating Dependencies Capture Complex Values
In Dan Olteanu, Nils Vortmeier, eds., Proceedings of the 25th International Conference on Database Theory (ICDT 2022), volume 220 of LIPIcs, 13:1--13:20, March 2022. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download

Maximilian Marx, Markus Krötzsch
Tuple-Generating Dependencies Capture Complex Values (extended abstract)
In Mario Alviano, Andreas Pieris, eds., Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry, volume 3203 of CEUR Workshop Proceedings, 97--103, September 2022. CEUR-WS.org
Details Download

Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph
A Journey to the Frontiers of Query Rewritability
In Leonid Libkin, Pablo Barceló, eds., Proceedings of the 41st Symposium on Principles of Database Systems (PODS'22), 359-367, June 2022. ACM
Details Download

Jacopo Urbani, Markus Krötzsch, Thomas Eiter
Chasing Streams with Existential Rules
In Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer, eds., Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), 2022
Details Download

Saurabh Bansal, Sriram Kailasam, Sergei Obiedkov
Approximate Computation of Exact Association Rules
In Agnès Braud, Aleksey Buzmakov, Tom Hanika, Florence Le Ber, eds., Formal Concept Analysis. ICFCA 2021, volume 12733 of Lecture Notes in Computer Science, 107-122, June 2021. Springer
Details Download

Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
Capturing Homomorphism-Closed Decidable Queries with Existential Rules
In Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem, eds., Proc. 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21), 141--150, 2021
Details Download

Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
In Boris Konev, Giles Reger, eds., Proc. of the 13th Int. Symp. on Frontiers of Combining Systems (FROCOS 2021), volume 12941 of LNCS, 3-24, 2021. Springer
Details Download

Efthymia Tsamoura, David Carral, Enrico Malizia, Jacopo Urbani
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

Till Affeldt, Stephan Mennicke, Wolf-Tilo Balke
Preference-driven Control over Incompleteness of Knowledge Graph Query Answers
Proceedings of the 12th ACM Conference on Web Science, WebSci 2020, Southampton, UK, July 7 - 10, 2020, July 2020
Details Download

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

David Carral, Jacopo Urbani
Checking Chase Termination over Ontologies of Existential Rules with Equality
Proceedings of the 34rd Conference on Artificial Intelligence (AAAI 2020), February 2020
Details Download

Jan-Christoph Kalo, Stephan Mennicke, Philipp Ehler, Wolf-Tilo Balke
Detecting Synonymous Properties by Shared Data-driven Definitions
The Semantic Web - 17th International Conference, ESWC 2020, Virtual, June 2-4, 2020, Proceedings., 360-375, June 2020. Springer
Details Download

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

David Carral, Larry González, Patrick Koopmann
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

David Carral, Larry González, Patrick Koopmann
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

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

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

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

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

Tom Hanika, Maximilian Marx, Gerd Stumme
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

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

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

Stephan Mennicke, Jan-Christoph Kalo, Denis Nagel, Hermann Kroll, Wolf-Tilo Balke
Fast Dual Simulation Processing of Graph Database Queries
35th IEEE International Conference on Data Engineering, ICDE 2019, Macao, China, April 8-11, 2019, ICDE, 244-255, April 2019. IEEE
Details

Stephan Mennicke
Modal Schema Graphs for Graph Databases
Conceptual Modeling - 38th International Conference, ER 2019, Salvador, Brazil, November 4-7, 2019, Proceedings, LNCS, 498-512, November 2019. Springer
Details

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

David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph
On the Ontological Modeling of Trees
In Oscar Corcho, Matthew Horridge, David Carral, Rinke Hoekstra, eds., Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 6th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 21, 2017., volume 2043, February 2018. CEUR Workshop Proceedings
Details Download

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

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

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

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

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

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), volume 11137 of LNCS, 376-394, 2018. 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. Springer
Details Download

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

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

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

Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
Metric Temporal Description Logics with Interval-Rigid Names
In Clare Dixon, Marcelo Finger, eds., Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS'17), volume 10483 of Lecture Notes in Computer Science, 60--76, September 2017. Springer
Details Download

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

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

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

Ullrich Hustadt, Ana Ozaki, Clare Dixon
Theorem Proving for Metric Temporal Logic over the Naturals
Conference on Automated Deduction, to appear. Springer
Details Download

Alexander Krause, Thomas Kissinger, Dirk Habich, Hannes Voigt, Wolfgang Lehner
Partitioning Strategy Selection for In-Memory Graph Pattern Matching on Multiprocessor Systems
23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, to appear
Details Download

Alexander Krause, Thomas Kissinger, Dirk Habich, Wolfgang Lehner
Asynchronous Graph Pattern Matching on Multiprocessor Systems
21st European Conference on Advances in Databases and Information Systems, Nicosia, Cyprus, to appear
Details

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), 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, 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, August 2017. International Joint Conferences on Artificial Intelligence
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

Md. Kamruzzaman Sarker, Adila Krisnadhi, David Carral, Pascal Hitzler
Rule-Based OWL Modeling with ROWLTab Protégé Plugin
In Eva Blomqvist, Diana Maynard, Aldo Gangemi, Rinke Hoekstra, Pascal Hitzler, Olaf Hartig, eds., The Semantic Web, 14th International Conference, ESWC 2017, Portorovz, Slovenia. Proceedings., volume 10249 of Lecture Notes in Computer Science, 419--433, 2017. Springer
Details Download

Veronika Thost
News on Temporal Conjunctive Queries
In Daniele Dell'Aglio, Darko Anicic, Payam M. Barnaghi, Emanuele Della Valle, Deborah L. McGuinness, Loris Bozzato, Thomas Eiter, Martin Homola, Daniele Porello, eds., Joint Proceedings of the Web Stream Processing workshop (WSP 2017) and the 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2017) co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 22nd, 2017, volume 1936 of CEUR Workshop Proceedings, 1--16, October 2017. CEUR-WS.org
Details Download

Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
Inconsistency management in reactive multi-context systems
In Loizos Michael, Antonis C. Kakas, eds., 15th European Conferenceon Logics in Artificial Intelligence (JELIA 2016), volume 10021 of Lecture Notes in Computer Science, 529-535, 2016. Springer
Details

Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
Towards Inconsistency Management in Reactive Multi-Context Systems
In Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan José Varzincza, eds., Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16) co-located with the 22th European Conference on Artificial Intelligence (ECAI 2016), The Hague, Holland, August 29, 2016, CEUR Workshop Proceedings, 2016. CEUR-WS.org
Details

David Carral, Cristina Feier, Pascal Hitzler
A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies
In Paul Groth, Elena Simperl, Alasdair Gray, Marta Sabou, Markus Krötzsch, Freddy Lecue, Fabian Flock, Yolanda Gil, eds., The Semantic Web - ISWC 2016 - 15th International Semantic Web Conference, Kobe, Japan. Proceedings, Part I, volume 9981 of LNCS, 70-85, October 2016. Springer
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

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

Stefan Ellmauthaler, Hannes Strass
DIAMOND 3.0 - A Native C++ Implementation of DIAMOND
In Pietro Baroni, Thomas F. Gordon, Tatjana Scheffler, Manfred Stede, eds., 6th International Conference on Computational Models of Argument (COMMA 2016), volume 287 of Frontiers in Artificial Intelligence and Applications, 471-472, 2016. IOS Press
Details

Stefan Ellmauthaler, Jörg Pührer
Stream Packing for Asynchronous Multi-Context Systems using ASP
In Thomas Eiter, Wolfgang Faber, Stefan Woltran, eds., Proceedings of the Workshop on Trends and Applications of Answer Set Programming (TAASP 2016), 2016
Details

Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ana Ozaki
On Metric Temporal Description Logics
22nd European Conference on Artificial Intelligence, September 2016. IOS Press
Details Download

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
Control of an Engineering-Structured Multilevel Discrete-Event System
Proceedings of the International Workshop on Discrete Event Systems (WODES), 103-108, June 2016
Details

Boris Konev, Ana Ozaki, Frank Wolter
A Model for Learning Description Logic Ontologies Based on Exact Learning
Thirtieth AAAI Conference on Artificial Intelligence, February 2016. AAAI Press
Details Download

Alexander Krause, Hannes Voigt, Wolfgang Lehner
HUGS - A Lightweight Graph Partitioning Approach
Proceedings of the 28th GI-Workshop Grundlagen von Datenbanken, May 2016
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

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

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

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

Stefan Borgwardt, Veronika Thost
Temporal Query Answering in the Description Logic EL (extended abstract)
Proceedings of the 28th International Workshop on Description Logics (DL 2015), volume 1350, 83--87, 2015. CEUR
Details Download

Stefan Borgwardt, Veronika Thost
Temporal Query Answering in DL-Lite with Negation
In Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov, eds., GCAI 2015. Global Conference on Artificial Intelligence, volume 36 of EasyChair Proceedings in Computing, 51-65, 2015. EasyChair
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

David Carral, Michelle Cheatham, Sunje Dallmeier-Tiessen, Patricia Herterich, Michael Hildreth, Pascal Hitzler, Adila Krisnadhi, Kati Lassila-Perini, Elizabeth Sexton-Kennedy, Charles Vardeman, Gordon Watts
An Ontology Design Pattern for Particle Physics Analysis
In Eva Blomqvist, Pascal Hitzler, Adila Krisnadhi, Tom Narock, Monika Solanki, eds., Proceedings of the 6th Workshop on Ontology and Semantic Web Patterns (WOP 2015) co-located with the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, Pensylvania, USA., volume 1461 of CEUR Workshop Proceedings, October 2015. CERU-WS.org
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

Stefan Ellmauthaler, Jörg Pührer
Asynchronous Multi-Context Systems
In Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran, eds., Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, volume 9060 of Lechture Notes in Computer Science, 2015. Springer
Details

Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca-Grau, Ian Horrocks
Extending the Combined Approach Beyond Lightweight Description Logics
In Diego Calvanese, Boris Konev, eds., Proceedings of the 28th International Workshop on Description Logics, Athens, Greece., volume 1350 of CEUR Workshop Proceedings, June 2015. CEUR-WS.org
Details Download

Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca-Grau, Ian Horrocks
The Combined Approach to Query Answering Beyond the OWL 2 Profiles
In Qiang Yang and Michael Wooldridge, eds., Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina., 2971--2977, July 2015. AAAI Press
Details Download

Montserrat Hermo, Ana Ozaki
Exact Learning of Multivalued Dependencies
Algorithmic Learning Theory - 26th International Conference, October 2015. Springer
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

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

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

Boris Konev, Ana Ozaki, Frank Wolter
Exact Learning Description Logic Ontologies from Data Retrieval Examples
28th International Workshop on Description Logics, June 2015. CEUR
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

Patrick O'Brien, David Carral, Jeff Mixter, Pascal Hitzler
An Ontology Design Pattern for Data Integration in the Library Domain
In Eva Blomqvist, Pascal Hitzler, Adila Krisnadhi, Tom Narock, Monika Solanki, eds., Proceedings of the 6th Workshop on Ontology and Semantic Web Patterns (WOP 2015) co-located with the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, Pensylvania, USA., volume 1461 of CEUR Workshop Proceedings, October 2015. CEUR-WS.org
Details Download

Kamruzzaman Sarker, David Carral, Adila Krisnadhi, Pascal Hitzler
Modeling OWL with Rules: The ROWL Protege Plugin
In Takahiro Kawamura, Heiko Paulheim, eds., Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), Kobe, Japan., volume 1690 of CEUR Workshop Proceedings, October 2015. CEUR-WS.org
Details Download

Veronika Thost, Erik Zenker
Temporal Query Answering in a Fuzzy World
In Agata Filipowska and Ruben Verborgh and Axel Polleres, eds., Posters&Demos@SEMANTiCS 2015 and DSci15 Workshop, volume 1481 of CEUR Workshop Proceedings, 84-87, September 2015. CEUR-WS.org
Details Download

Veronika Thost, Jan Holste, Özgür Özçep
On Implementing Temporal Query Answering in DL-Lite (extended abstract)
Proceedings of the 28th International Workshop on Description Logics (DL 2015), 2015. CEUR
Details Download

Amin Abdalla, Yingjie Hu, David Carral, Naicong Li, Krzysztof Janowicz
An Ontology Design Pattern for Activity Reasoning
In Victor de Boer, Aldo Gangemi, Krzysztof Janowicz, Agnieszka Lawrynowicz, eds., Proceedings of the 5th Workshop on Ontology and Semantic Web Patterns (WOP2014) co-located with the 13th International Semantic Web Conference (ISWC 2014), Riva del Garda, Italy., volume 1302 of CEUR Workshop Proceedings, 78--81, October 2014. CEUR-WS.org
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

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

Gerhard Brewka, Stefan Ellmauthaler, Jörg Pührer
Mulit-context systems for reactive reasoning in dynamic environments
In Stefan Ellmauthaler, Jörg Pührer, eds., International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), 23-30, 2014
Details

Gerhard Brewka, Stefan Ellmauthaler, Jörg Pührer
Multi-context systems for reactive reasoning in dynamic environments
In Torsten Schaub, Gerhard Friedrich, Barry O'Sullivan, eds., 21st European Conference on Artificial Intelligence (ECAI 2014), volume 263 of Frontiers in Artificial Intelligence and Applications, 159-164, 2014. IOS Press
Details

David Carral, Adila Krisnadhi, Sebastian Rudolph, Pascal Hitzler
All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles
In Maria Keet, Valentina Tamma, eds., Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) co-located with 13th International Semantic Web Conference on {(ISWC} 2014), Riva del Garda, Italy., volume 1265 of CEUR Workshop Proceedings, 97--108, October 2014. CEUR-WS.org
Details Download

David Carral, Cristina Feier, Ana Armas-Romero, Bernardo Cuenca-Grau, Pascal Hitzler, Ian Horrocks
Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs
In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, Mantas Simkus, eds., Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria., volume 1193 of CEUR Workshop Proceedings, 128--140, July 2014. CEUR-WS.org
Details Download

David Carral, Cristina Feier, Bernardo Cuenca-Grau, Pascal Hitzler, Ian Horrocks
EL-ifying Ontologies
In Stephane Demri, Deepak Kapur, Christoph Weidenbach, eds., Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria. Proceedings, volume 8562 of Lecture Notes in Computer Science, 464--479, July 2014. Springer
Details Download

David Carral, Cristina Feier, Bernardo Cuenca-Grau, Pascal Hitzler, Ian Horrocks
Pushing the Boundaries of Tractable Ontology Reasoning.
In Peter Mika, Tania Tudorache, Abraham Bernstein, Chris Welty, Craig A. Knoblock, Denny Vrandecic, Paul T. Groth, Natasha F. Noy, Krzysztof Janowicz, Carole A. Goble, eds., The Semantic Web - {ISWC} 2014 - 13th International Semantic Web Conference, Riva del Garda, Italy. Proceedings, Part {II}, volume 8797 of Lecture Notes in Computer Science, 148--163, October 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, 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

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

Long Cheng, Spyros Kotoulas, Tomas E. Ward, Georgios Theodoropoulos
Efficiently Handling Skew in Outer Joins on Distributed Systems
Proc. 14th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid'14), 295--304, May 2014. IEEE
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, 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

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

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

Stefan Ellmauthaler, Hannes Strass
The DIAMOND System for Computing with Abstract Dialectical Frameworks
In Simon Parsons, Nir Oren, Chris Reed, Federico Cerutti, eds., 5th International Conference on Computational Models of Argument (COMMA 2014), volume 266 of Frontiers in Artificial Intelligence and Applications, 233-240, September 2014. IOS Press
Details Download

Stefan Ellmauthaler, Jörg Pührer
Asynchronous Multi-Context Systems
In Stefan Ellmauthaler, Jörg Pührer, eds., International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), 31-38, 2014
Details

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

Adrian Groza, Irina Dragoste, Iulia Sincai, Ioana Jimborean, Vasile Moraru
An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process.
In Franz Winkler, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie, eds., 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, 293--300, September 2014. IEEE Computer Society
Details

Š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

Jan Komenda, Tomáš Masopust
Decentralized Supervisory Control with Communicating Supervisors Based on Top-Down Coordination Control
In F. Jabbari and A. R. Teel, eds., Proc. of 53rd IEEE Conference on Decision and Control (CDC), 5149-5155, 2014. IEEE
Details Download

Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter
Exact Learning of Lightweight Description Logic Ontologies
Principles of Knowledge Representation and Reasoning, July 2014. AAAI Press
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

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

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

Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes Peter Wallner, Stefan Woltran
Abstract Dialectical Frameworks Revisited
In Francesca Rossi, eds., Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), August 2013. IJCAI/AAAI
Details

David Carral, Simon Scheider, Krzysztof Janowicz, Charles Vardeman, Adila Krisnadhi, Pascal Hitzler
An Ontology Design Pattern for Cartographic Map Scaling
In Philipp Cimiano, Óscar Corcho, Valentina Presutti, Laura Hollink, Sebastian Rudolph, eds., The Semantic Web: Semantics and Big Data, 10th International Conference, {ESWC} 2013, Montpellier, France. Proceedings, volume 7882 of Lecture Notes in Computer Science, 76--93, May 2013. Springer
Details Download

David Carral, Cong Wang, Pascal Hitzler
Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas
In Wolfgang Faber, Domenico Lembo, eds., Web Reasoning and Rule Systems - 7th International Conference, {RR} 2013, Mannheim, Germany. Proceedings, volume 7994 of Lecture Notes in Computer Science, 65--79, July 2013. Springer
Details Download

Long Cheng, Spyros Kotoulas, Tomas E. Ward, Georgios Theodoropoulos
QbDJ: A Novel Framework for Handling Skew in Parallel Join Processing on Distributed Memory
Proc. 15th IEEE International Conference on High Performance Computing and Communications (HPCC'13), 1519-1527, November 2013. IEEE
Details Download

Wojciech Czerwiński, Wim Martens, Tomáš Masopust
Efficient Separability of Regular Languages by Subsequences and Suffixes
In F. V. Fomin, R. Freivalds, M. Kwiatkowska, D. Peleg, eds., Proc. of 40th International Colloquium on Automata, Languages, and Programming (ICALP), volume 7966 of LNCS, 150-161, 2013. Springer
Details Download

Stefan Ellmauthaler, Hannes Strass
The DIAMOND system for argumentation: Preliminary report
In Michael Fink, Yuliya Lierler, eds., Proceedings of the 6th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), September 2013. CoRR
Details Download

Stefan Ellmauthaler
Generalizing multi-context systems for reactive stream reasoning applications
In Andrew V. Jones, Nicholas Ng, eds., Proceedings of the 2013 Imperial College Computing Student Workshop (ICCSW 2013), OpenAccess Series in Informatics (OASIcs), 17-24, 2013. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download

Yingjie Hu, Krzysztof Janowicz, David Carral, Simon Scheider, Werner Kuhn, Gary Berg-Cross, Pascal Hitzler, Mike Dean, Dave Kolas
A Geo-ontology Design Pattern for Semantic Trajectories
In Thora Tenbrink, John G. Stell, Antony Galton, Zena Wood, eds., Spatial Information Theory - 11th International Conference, {COSIT} 2013, Scarborough, UK, . Proceedings, volume 8116 of Lecture Notes in Computer Science, 438-456, September 2013. Springer
Details Download

Galina Jirásková, Tomáš Masopust
On the State Complexity of the Reverse of R- and J-Trivial Regular Languages
In H. Jurgensen and R. Reis, eds., Proc. of 15th International Workshop on Descriptional Complexity of Formal Systems (DCFS), volume 8031 of LNCS, 136-147, 2013. Springer
Details Download

Jan Komenda, Tomáš Masopust
A bridge between decentralized and coordination control
Proc. of 51st Annual Allerton Conference on Communication, Control, and Computing (Allerton), 966-972, 2013. IEEE
Details Download

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
Multilevel coordination control of modular DES
Proc. of 52nd Annual Conference on Decision and Control (CDC), 6323-6328, 2013. IEEE
Details Download

Markus Krötzsch, Despoina Magka, Ian Horrocks
Concrete Results on Abstract Rules
Proc. 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13), 414-426, September 2013. Springer
Details Download

Despoina Magka, Markus Krötzsch, Ian Horrocks
Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling
Proc. 26th International Workshop on Description Logics (DL'13), 390-402, July 2013. CEUR Workshop Proceedings
Details Download

Despoina Magka, Markus Krötzsch, Ian Horrocks
Computing Stable Models for Nonmonotonic Existential Rules
Proc. 23rd International Joint Conference on Artificial Intelligence (IJCAI'13), 1031-1038, August 2013. AAAI Press
Details Download

Sebastian Rudolph, Markus Krötzsch
Flag & Check: Data Access with Monadically Defined Queries
Proc. 32nd Symposium on Principles of Database Systems (PODS'13), 151-162, June 2013. ACM
Details Download

Cong Wang, David Carral, Pascal Hitzler
SROIQ Syntax Approximation by Using Nominal Schemas
In Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch, eds., Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany., volume 1014 of {CEUR} Workshop Proceedings, 988--999, July 2013. CEUR-WS.org
Details Download

David Carral, Krzysztof Janowicz, Pascal Hitzler
A Logical Geo-Ontology Design Pattern for Quantifying over Types
In Isabel F. Cruz, Craig A. Knoblock, Peer Kröger, Egemen Tanin, Peter Widmayer, eds., SIGSPATIAL 2012 International Conference on Advances in Geographic Information Systems (formerly known as GIS), SIGSPATIAL 12, Redondo Beach, CA, USA. Proceedings., 239-248, November 2012. ACM
Details Download

David Carral, Adila Krisnadhi, Pascal Hitzler
Integrating OWL and Rules: A Syntax Proposal for Nominal Schemas
In Pavel Klinov, Matthew Horridge, eds., Experiences and Directions Workshop 2012, OWLED 2012, Heraklion, Crete, Greece. Proceedings, volume 849, May 2012. CEUR-WS.org
Details Download

David Carral, Pascal Hitzler
Extending Description Logic Rules
In Elena Simperl and Philipp Cimiano and Axel Polleres and Óscar Corcho and Valentina Presutti, eds., The Semantic Web: Research and Applications - 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Crete, Greece. Proceedings, volume 7295 of Lecture Notes in Computer Science, 345--359, May 2012. Springer
Details Download

Long Cheng, Spyros Kotoulas, Tomas E. Ward, Georgios Theodoropoulos
Runtime Characterisation of Triple Stores
Proc. 15th IEEE International Conference on Computational Science and Engineering (CSE'12), 66-73, December 2012. IEEE
Details Download

Stefan Ellmauthaler, Johannes Peter Wallner
Evaluating Abstract Dialectical Frameworks with ASP
In Bart Verheij, Stefan Szeider, Stefan Woltran, eds., 4th International Conference on Computational Models of Argument (COMMA 2012), volume 245 of Frontiers in Artificial Intelligence and Applications, 505-506, 2012. IOS Press
Details Download

Birte Glimm, Aidan Hogan, Markus Krötzsch, Axel Polleres
OWL: Yet to arrive on the Web of Data?
Proceedings of the WWW2012 Workshop on Linked Data on the Web (LDOW-12), volume 937 of CEUR Workshop Proceedings, 2012. CEUR-WS.org
Details Download

Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang
Acyclicity Conditions and their Application to Query Answering in Description Logics
Proc. 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12), 243–253, June 2012. AAAI Press
Details Download

Galina Jirásková, Tomáš Masopust
On Properties and State Complexity of Deterministic State-Partition Automata
In J. C. M. Baeten, T. Ball, F. S. de Boer, eds., Proc. of 7th International Conference on Theoretical Computer Science (IFIP TCS), volume 7604 of LNCS, 164-178, 2012. Springer
Details Download

Galina Jirásková, Tomáš Masopust
On the State and Computational Complexity of the Reverse of Acyclic Minimal DFAs
In N. Moreira, R. Reis, eds., Proc. of 17th International Conference on Implementation and Application of Automata (CIAA), volume 7381 of LNCS, 229-239, 2012. Springer
Details Download

Yevgeny Kazakov, Markus Krötzsch, František Simančík
Practical Reasoning with Nominals in the EL Family of Description Logics
Proc. 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12), 264–274, June 2012. AAAI Press
Details Download

Yevgeny Kazakov, Markus Krötzsch, František Simančík
ELK Reasoner: Architecture and Evaluation
Proc. of the OWL Reasoner Evaluation Workshop 2012, July 2012. CEUR Workshop Proceedings
Details Download

Matthias Knorr, David Carral, Pascal Hitzler, Adila Krisnadhi, Frederick Maier, Cong Wang
Recent Advances in Integrating OWL and Rules
In Markus Krötzsch and Umberto Straccia, eds., Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria. Proceedings, volume 7497 of Lecture Notes in Computer Science, 225--228, September 2012. Springer
Details Download

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
On Algorithms and Extensions of Coordination Control of Discrete-Event Systems
In A. Ramírez-Treviño, J.-J. Lesage, M. Silva, eds., Proc. of 11th International Workshop on Discrete Event Systems (WODES), 245-250, 2012. IFAC
Details Download

Markus Krötzsch
OWL 2 Profiles: An Introduction to Lightweight Ontology Languages
Reasoning Web Summer School 2012, 112-183, September 2012. Springer
Details Download

Markus Krötzsch
The Not-So-Easy Task of Computing Class Subsumptions in OWL RL
Proc. 11th International Semantic Web Conference (ISWC'11), 279-294, 2012. Springer
Details Download

Olivier Boutin, Jan Komenda, Tomáš Masopust, Klaus Schmidt, Jan H. van Schuppen
Hierarchical control with partial observations: Sufficient conditions
Proc. of 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC), 1817-1822, 2011. IEEE
Details Download

Galina Jirásková, Tomáš Masopust
State Complexity of Projected Languages
In M. Holzer, M. Kutrib, G. Pighizzini, eds., Proc. of 13th International Workshop on Descriptional Complexity of Formal Systems (DCFS), volume 6808 of LNCS, 198-211, 2011. Springer
Details Download

Yevgeny Kazakov, Markus Krötzsch, František Simančík
Concurrent Classification of EL Ontologies
In Lora Aroyo, Chris Welty, Harith Alani, Jamie Taylor, Abraham Bernstein, Lalana Kagal, Natasha Noy, Eva Blomqvist, eds., Proc. 10th International Semantic Web Conference (ISWC'11), volume 7032 of LNCS, 305-320, October 2011. Springer
Details Download

Yevgeny Kazakov, Markus Krötzsch, František Simančík
Unchain My EL Reasoner
Proc. 24th International Workshop on Description Logics (DL'11), July 2011. CEUR Workshop Proceedings
Details Download

Markus Krötzsch
Efficient Rule-Based Inferencing for OWL EL
Proc. 22nd International Joint Conference on Artificial Intelligence (IJCAI'11), 2668-2673, July 2011. AAAI Press
Details Download

Markus Krötzsch, Sebastian Speiser
ShareAlike Your Data: Self-referential Usage Policies for the Semantic Web
Proc. 10th International Semantic Web Conference (ISWC'11), 354-369, October 2011. Springer
Details Download

Markus Krötzsch, Sebastian Rudolph
Extending Decidable Existential Rules by Joining Acyclicity and Guardedness
In Toby Walsh, eds., Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), 963-968, July 2011. IJCAI/AAAI
Details Download

Markus Krötzsch, Frederick Maier, Adila Krisnadhi, Pascal Hitzler
A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies
Proc. 20th International Conference on World Wide Web (WWW'11), 645-654, March 2011. ACM
Details Download

Markus Krötzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler
Nominal Schemas for Integrating Rules and Description Logics
In Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev, eds., Proc. 24th International Workshop on Description Logics (DL'11), volume 745 of CEUR Workshop Proceedings, July 2011. CEUR-WS.org
Details Download

František Simančík, Boris Motik, Markus Krötzsch
Fixed Parameter Tractable Reasoning in DLs via Decomposition
In Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev, eds., Proc. 24th International Workshop on Description Logics (DL'11), volume 745 of CEUR Workshop Proceedings, 400-410, July 2011. CEUR-WS.org
Details Download

Erzsébet Csuhaj-Varjú, Tomáš Masopust, György Vaszil
Blackhole State-Controlled Regulated Pushdown Automata
In H. Bordihn, R. Freund, T. Hinze, M. Holzer, M. Kutrib, F. Otto, eds., Proc. of Second Workshop on Non-Classical Models for Automata and Applications (NCMA), volume band 263 of books@ocg.at, 45-56, 2010. Österreichische Computer Gesellschaft
Details Download

Birte Glimm, Markus Krötzsch
SPARQL Beyond Subgraph Matching
In Peter F. Patel-Schneider, Yue Pan, Birte Glimm, Pascal Hitzler, Peter Mika, Jeff Pan, Ian Horrocks, eds., Proceedings of the 9th International Semantic Web Conference (ISWC 2010), volume 6496 of LNCS, 241-256, 2010. Springer
Details Download

Galina Jirásková, Tomáš Masopust
Complexity in Union-Free Regular Languages
In Y. Gao, H. Lu, S. Seki, S. Yu, eds., Proc. of 14th International Conference on Developments in Language Theory, volume 6224 of LNCS, 255-266, 2010. Springer
Details Download

Markus Krötzsch, Anees ul Mehdi, Sebastian Rudolph
Orel: Database-Driven Reasoning for OWL 2 Profiles
Proceedings of the 23nd International Workshop on Description Logics (DL 2010), volume 573 of CEUR Workshop Proceedings, May 2010. CEUR-WS.org
Details Download

Markus Krötzsch
Efficient Inferencing for OWL EL
In Tomi Janhunen, Ilkka Niemelä, eds., Proceedings of the 12th European Conference on Logics in Artificial Intelligence (JELIA'10), volume 6341 of LNAI, 234-246, 2010. Springer
Details Download

Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt
On the Semantic Relationship between Datalog and Description Logics
In Pascal Hitzler, Thomas Lukasiewicz, eds., Proceedings of the 4th International Conference on Web Reasoning and Rule Systems (RR 2010), volume 6333 of LNCS, 88-102, September 2010. Springer
Details Download

Markus Krötzsch, Sebastian Rudolph
A Matter of Principles: Towards the Largest DLP Possible
Proceedings of the 22nd International Workshop on Description Logics (DL2009), volume 477 of CEUR Workshop Proceedings, July 2009. CEUR-WS.org
Details

Zbyněk Křivka, Tomáš Masopust
A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking
Proc. of 11th Italian Conference on Theoretical Computer Science (ICTCS), 129-135, 2009
Details Download

Tomáš Masopust
Regulated Nondeterminism in PDAs: The Non-Regular Case
Proc. of Workshop on Non-Classical Models of Automata and Applications (NCMA), 181-194, 2009
Details Download

Tomáš Masopust, Alexander Meduna
Descriptional Complexity of Three-Nonterminal Scattered Context Grammars: An Improvemen
Proc. of 11th International Workshop on Descriptional Complexity of Formal Systems (DCFS), 183-192, 2009
Details Download

Tomáš Masopust
A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions
In A. H. Dediu, A. M. Ionescu, C. Martín-Vide, eds., Proc. of 3rd International Conference Language and Automata Theory and Applications (LATA), volume 5457 of LNCS, 554-565, 2009. Springer
Details Download

Sebastian Blohm, Markus Krötzsch, Philipp Cimiano
The Fast and the Numerous - Combining Machine and Community Intelligence
In Razvan Bunescu, Evgeniy Gabrilovich, Rada Mihalcea, eds., Proceedings of the AAAI 2008 Workshop on Wikipedia and Artifical Intelligence (WIKIAI 2008), volume Technical Report WS-08-15, July 2008. AAAI Press
Details Download

Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, Tuvshintur Tserendorj
Approximate OWL Instance Retrieval with Screech
In A.G. Cohn, D.C. Hogg, R. Möller, B. Neumann, eds., Logic and Probability for Scene Interpretation, volume 08091 of Dagstuhl Seminar Proceedings, February 2008. Dagstuhl
Details

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
ELP: Tractable Rules for OWL 2
In Amit Sheth and Steffen Staab and Mike Dean and Massimo Paolucci and Diana Maynard and Timothy Finin and Krishnaprasad Thirunarayan, eds., Proceedings of the 7th International Semantic Web Conference (ISWC 2008), volume 5318 of LNCS, 649-664, October 2008. Springer
Details Download

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Description Logic Rules
In Malik Ghallab and Constantine D. Spyropoulos and Nikos Fakotakis and Nikos Avouris, eds., Proceedings of the 18th European Conference on Artificial Intelligence (ECAI-08), volume 178 of Frontiers in Artificial Intelligence and Applications (FAIA), 80--84, July 2008. IOS Press
Details Download

Tomáš Masopust, Alexander Meduna
On Pure Multi-Pushdown Automata that Perform Complete-Pushdown Pops
Proc. of 12th International Conference on Automata and Formal Languages (AFL), 325-336, 2008
Details Download

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Cheap Boolean Role Constructors for Description Logics
In Steffen Hölldobler, Carsten Lutz, Heinrich Wansing, eds., Proceedings of 11th European Conference on Logics in Artificial Intelligence (JELIA), volume 5293 of LNAI, 362-374, 2008. Springer
Details Download

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog
In Amit Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin, Krishnaprasad Thirunarayan, eds., Proceedings of the International Semantic Web Conference (ISWC 2008), volume 5318 of LNCS, 435-450, 2008. Springer
Details Download

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
In Dieter Fox, Carla P. Gomes, eds., Proceedings of the 23rd AAAI Conference on Artficial Intelligence (AAAI-08), 529-534, 2008. AAAI Press
Details Download

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
All Elephants are Bigger than All Mice
In Franz Baader, Carsten Lutz, Boris Motik, eds., Proceedings of the 21st International Workshop on Description Logics (DL2008), volume 353 of CEUR Workshop Proceedings, May 2008. CEUR-WS.org
Details Download

Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Approximate OWL-Reasoning with Screech
In Diego Calvanese and Georg Lausen, eds., Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings, volume 5341 of LNCS, 165-180, October 2008. Springer
Details

Anupriya Ankolekar, Markus Krötzsch, Duc Thanh Tran, Denny Vrandečić
The Two Cultures: Mashing up Web 2.0 and the Semantic Web
Proceedings of the 16th International Conference on the World Wide Web (WWW'07), May 2007
Details Download

Markus Krötzsch, Sebastian Schaffert, Denny Vrandečić
Reasoning in Semantic Wikis
In Grigoris Antoniou and Uwe Aßmann and Cristina Baroglio and Stefan Decker and Nicola Henze and Paula-Lavinia Patranjan and Robert Tolksdorf, eds., Proceedings of the 3rd Reasoning Web Summer School, Dresden, Germany, volume 4636 of LNCS, 310--329, September 2007. Springer
Details

Markus Krötzsch, Sebastian Rudolph
Conjunctive Queries for EL with Role Composition
In D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, A.-Y. Turhan and S. Tessaris, eds., Proceedings of the 20th International Workshop on Description Logics (DL2007), volume 250 of CEUR Workshop Proceedings, June 2007. CEUR-WS.org
Details Download

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Complexity Boundaries for Horn Description Logics
Proceedings of the 22nd AAAI Conference on Artficial Intelligence, 452--457, 2007. AAAI Press
Details Download

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Conjunctive Queries for a Tractable Fragment of OWL 1.1
In Karl Aberer and Key-Sun Choi and Natasha Noy and Dean Allemang and Kyung-Il Lee and Lyndon Nixon and Jennifer Golbeck and Peter Mika and Diana Maynard and Riichiro Mizoguchi and Guus Schreiber and Philippe Cudré-Mauroux, eds., Proceedings of the 6th International Semantic Web Conference (ISWC 2007), volume 4825 of LNCS, 310--323, November 2007. Springer
Details Download

Tomáš Masopust, Alexander Meduna
Descriptional Complexity of Generalized Forbidding Grammars
Proc. of 9th International Workshop on Descriptional Complexity of Formal Systems (DCFS), 170-177, 2007
Details Download

Tomáš Masopust, Alexander Meduna
Descriptional Complexity of Grammars Regulated by Context Conditions
Proc. of Language and Automata Theory and Applications (LATA), 403-412, 2007
Details Download

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Michael Sintek, Denny Vrandečić
Efficient OWL Reasoning with Logic Programs - Evaluations
In Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie, eds., Proceedings of The First International Conference on Web Reasoning and Rule Systems 2007 (RR2007), volume 4524 of Springer Lecture Notes in Computer Science, 370-373, June 2007. Springer
Details

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Quo Vadis, CS? - On the (non)-impact of Conceptual Structures on the Semantic Web
In Uta Priss, Simon Polovina, Richard Hill, eds., Conceptual Structures: Knowledge Architectures for Smart Applications, Proc. ICCS 2007, volume 4604 of LNAI, 464-467, July 2007. Springer
Details

Denny Vrandečić, Markus Krötzsch, Max Völkel
Wikipedia and the Semantic Web, Part II
In Phoebe Ayers and Nicholas Boalch, eds., Proceedings of Wikimania 2006 - The Second International Wikimedia Conference, August 2007. Wikimedia Foundation
Details

Anupriya Ankolekar, Paul Buitelaar, Philipp Cimiano, Pascal Hitzler, Malte Kiesel, Markus Krötzsch, Holger Lewen, G. Neumann, Michael Sintek, Tuvshintur Tserendorj, Rudi Studer
SmartWeb: Mobile Access to the Semantic Web
Proceedings of the ISWC 2006 Poster and Demo Session, November 2006
Details

Anupriya Ankolekar, Philipp Cimiano, Pascal Hitzler, Markus Krötzsch, Günter Ladwig, Holger Lewen, Daniel Oberle, Rudi Studer, Malte Kiesel, Michael Sintek
SmartWeb: Mobile Access to the Semantic Web
In Holger Wache, eds., Proceedings of the ESWC2006 poster and demo session, 3-4, June 2006
Details

Heiko Haller, Markus Krötzsch, Max Völkel, Denny Vrandečić
Semantic Wikipedia (software demo)
Proceedings of the 2006 International Symposium on Wikis, 137--138, August 2006. ACM Press
Details

Pascal Hitzler, Markus Krötzsch
Querying formal contexts with answer set programs
In Henrik Schärfe, Pascal Hitzler, Peter Ohrstrom, eds., Conceptual Structures: Inspiration and Application, Proceedings of the 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 2006, volume 4068 of Lecture Notes in Artificial Intelligence, 413-426, July 2006. Springer
Details

Markus Krötzsch, Grit Malik
The Tensor Product as a Lattice of Regular Galois Connections
In Rokia Missaoui and Jürg Schmid, eds., Proceedings of the 4th International Conference on Formal Concept Analysis (ICFCA2006), Dresden, Germany, volume 3874 of Lecture Notes in Computer Science, February 2006. Springer
Details Download

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
On the complexity of Horn description logics
In Bernardo Cuenca Grau, Pascal Hitzler, Conor Shankey, Evan Wallace, eds., Proceedings of the 2nd Workshop on OWL: Experiences and Directions, volume 216 of CEUR Workshop Proceedings, November 2006. CEUR
Details Download

Markus Krötzsch, Denny Vrandečić, Max Völkel
Semantic MediaWiki
In Isabel Cruz and Stefan Decker and Dean Allemang and Chris Preist and Daniel Schwabe and Peter Mika and Mike Uschold and Lora Aroyo, eds., Proceedings of the 5th International Semantic Web Conference (ISWC06), volume 4273 of Lecture Notes in Computer Science, 935-942, November 2006. Springer
Details Download

Markus Krötzsch, Pascal Hitzler, Denny Vrandečić, Michael Sintek
How to reason with OWL in a logic programming system
In Thomas Eiter, Enrico Franconi, Ralph Hodgson, Susie Stephens, eds., Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web, RuleML2006, 17--26, November 2006. IEEE Computer Society
Details Download

Denny Vrandečić, Markus Krötzsch
Reusing Ontological Background Knowledge in Semantic Wikis
In Max Völkel and Sebastian Schaffert and Stefan Decker, eds., Proceedings of the First Workshop on Semantic Wikis -- From Wikis to Semantics, June 2006
Details Download

Max Völkel, Markus Krötzsch, Denny Vrandečić, Heiko Haller, Rudi Studer
Semantic Wikipedia
Proceedings of the 15th international conference on World Wide Web (WWW 2006), May 2006
Details Download

Antoine Zimmermann, Markus Krötzsch, Jérôme Euzenat, Pascal Hitzler
Formalizing Ontology Alignment and its Operations with Category Theory
In Brandon Bennett and Christiane Fellbaum, eds., Proceedings of the Fourth International Conference on Formal Ontology in Information Systems (FOIS 2006), volume 150 of Frontiers in Artificial Intelligence and Applications, 277--288, November 2006. IOS Press
Details

Pascal Hitzler, Peter Haase, Markus Krötzsch, York Sure, Rudi Studer
DLP isn't so bad after all
In Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter Patel-Schneider, eds., Proceedings of the Workshop OWL - Experiences and Directions, Galway, Ireland, volume 188 of CEUR Workshop Proceedings, November 2005
Details

Pascal Hitzler, Markus Krötzsch, Marc Ehrig, York Sure
What Is Ontology Merging? – A Category-Theoretical Perspective Using Pushouts
In Pavel Shvaiko, Jerome Euzenat, Alain Leger, Deborah L. McGuinness, Holger Wache, eds., Proceedings of the First International Workshop on Contexts and Ontologies: Theory, Practice and Applications (C&0). Workshop at the 20th National Conference on Artificial Intelligence, AAAI-05, Pittsburgh, Pennsylvania, July 2005, Technical Report WS-05-01, 104-107, July 2005. AAAI Press, Menlo Park, California
Details

Markus Krötzsch, Pascal Hitzler, Guo-Qiang Zhang
Morphisms in Context
In Frithjof Dau, Marie-Laure Mugnier and Gerd Stumme, eds., Conceptual Structures: Common Semantics for Sharing Knowledge. Proceedings of the 13th International Conference on Conceptual Structures, ICCS '05, Kassel, Germany, July 2005, volume 3596 of Lecture Notes in Computer Science, 223-237, July 2005. Springer, Berlin
Details Download

Markus Krötzsch, Denny Vrandečić, Max Völkel
Wikipedia and the Semantic Web - The Missing Links
Proceedings of Wikimania 2005 - The First International Wikimedia Conference, July 2005. Wikimedia Foundation
Details Download

Books

Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph
语义Web技术基础
世界著名计算机教材精选. Tsinghua University Press, 2012
Details

Steffen Hölldobler, Sebastian Bader, Bertram Fronhöfer, Ursula Hans, Pascal Hitzler, Markus Krötzsch, Tobias Pietzsch
Logik und Logikprogrammierung, Band 2: Aufgaben und Lösungen
Synchron Publishers Heidelberg, 2011
Details

Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph
Foundations of Semantic Web Technologies
Chapman & Hall/CRC, August 2009
Details

Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, York Sure
Semantic Web - Grundlagen
eXamen.press. Springer-Verlag Berlin Heidelberg, January 2008
Details

Book Chapters

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

Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes Peter Wallner, Stefan Woltran
Abstract Dialectical Frameworks
In Pietro Baroni, Dov Gabbay, Massimiliano Giacomin, Geentert von der Torre, eds., Handbook of Formal Argumentation, chapter Part B: Argumentation Formalisms, 237-285. College Publications, February 2018
Details

Jan Komenda, Tomáš Masopust
Coordination Control of Distributed Discrete-Event Systems
In J.H. van Schuppen and T. Villa, eds., Coordination Control of Distributed Systems, volume 456 of Lecture Notes in Control and Information Sciences, 137-144. Springer, 2015
Details

Jan Komenda, Tomáš Masopust
Supervisory Control of Discrete-Event Systems
In J.H. van Schuppen and T. Villa, eds., Coordination Control of Distributed Systems, volume 456 of Lecture Notes in Control and Information Sciences, 129-136. Springer, 2015
Details

Markus Krötzsch, František Simančík, Ian Horrocks
A Description Logic Primer
In Jens Lehmann, Johanna Völker, eds., Perspectives on Ontology Learning, chapter 1. IOS Press, 2014
Details

Stefan Haar, Tomáš Masopust
Languages, Decidability, and Complexity
In C. Seatzu and M. Silva and J.H. van Schuppen, eds., Control of Discrete-event Systems, volume 433 of Lecture Notes in Control and Information Sciences, 23-43. Springer, 2013
Details

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
Coordination Control of Distributed Discrete-Event Systems
In C. Seatzu and M. Silva and J.H. van Schuppen, eds., Control of Discrete-event Systems, volume 433 of Lecture Notes in Control and Information Sciences, 147-167. Springer, 2013
Details

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
Supervisory Control of Distributed Discrete-Event Systems
In C. Seatzu and M. Silva and J.H. van Schuppen, eds., Control of Discrete-event Systems, volume 433 of Lecture Notes in Control and Information Sciences, 107-126. Springer, 2013
Details

Tomáš Masopust, Jan H. van Schuppen
Supervisory Control with Complete Observations
In C. Seatzu and M. Silva and J.H. van Schuppen, eds., Control of Discrete-event Systems, volume 433 of Lecture Notes in Control and Information Sciences, 45-64. Springer, 2013
Details

Markus Krötzsch
Out of the Lab, Into the Wild: Growing Open Source Communities Around Academic Projects
In Lydia Pintscher, eds., Open Advice, chapter 3, 11-17. open-advice.org, 2012
Details Download

Markus Krötzsch, Denny Vrandečić
Semantic MediaWiki
In Foundations for the Web of Information and Services, 311-326. Springer, 2011
Details

Markus Krötzsch, Bernhard Ganter
A Brief Introduction to Formal Concept Analysis
In Pascal Hitzler and Hendrik Schärfe, eds., Conceptual Structures in Practice, CRC Studies in Informatics, 3--16. Chapman & Hall, May 2009
Details

Anupriya Ankolekar, Markus Krötzsch, Duc Thanh Tran, Denny Vrandečić
Die zwei Kulturen
In Andreas Blumauer and Tassilo Pellegrini, eds., Social Semantic Web, X.media.press, 99-123. Springer, October 2008
Details

Markus Krötzsch, Denny Vrandečić
Semantic Wikipedia
In Andreas Blumauer and Tassilo Pellegrini, eds., Social Semantic Web, X.media.press, 393-422. Springer, October 2008
Details

Denny Vrandečić, Markus Krötzsch, Max Völkel
Die Zukunft der Wikis: Semantic Web
In Christoph Lange, eds., Wikis und Blogs: Planen, Einrichten, Verwalten, 789-810. C&L Computer und Literaturverlag, January 2007
Details

Edited Proceedings

Markus Krötzsch, Daria Stepanova
Explainable Artificial Intelligence. Proceedings of the 15th Reasoning Web Summer School
Volume 11810 of LNCS, 2019. Springer
Details

Eva Blomqvist, Oscar Corcho, Matthew Horridge, David Carral, Rinke Hoekstra
Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 16th International Semantic Web Conference (ISWC 2017)
Volume 2043 of CEUR Workshop Proceedings, October 2017. CEUR-WS.org
Details

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

Irene Celino, Emanuele Della Valle, Markus Krötzsch, Stefan Schlobach
Proceedings of the 2nd International Workshop on Ordering and Reasoning, OrdRing 2013
Volume 1059 of CEUR Workshop Proceedings, 2013. CEUR-WS.org
Details

Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch
Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 201
Volume 1014 of CEUR Workshop Proceedings, 2013. CEUR-WS.org
Details

Michael Benedikt, Markus Krötzsch, Maurizio Lenzerini
Proceedings of the 31st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2012)
, 2012. ACM
Details

Markus Krötzsch, Umberto Straccia
Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceeding
Volume 7497 of Lecture Notes in Computer Science, 2012. Springer
Details

Doctoral Theses

Stephan Mennicke
Non-Standard Semantics for Graph Query Languages
Phd thesis, TU Braunschweig, 2020/03/11
Details Download

Stefan Ellmauthaler
Multi-Context Reasoning in Continuous Data-Flow Environments
Phd thesis, Universität Leipzig, 2018/06/07
Details Download

Veronika Thost
Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information
Phd thesis, TU Dresden, 2017/06/19
Details Download

Markus Krötzsch
Description Logic Rules
Phd thesis, KIT, 2010/09/11
Details Download

Technical Reports

Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl
Winning Snake: Design Choices in Multi-Shot ASP
Technical Report, arXiv.org, volume arXiv:2408.08150, August 2024. to appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2024
Details

Tom Hanika, Maximilian Marx, Gerd Stumme
Discovering Implicational Knowledge in Wikidata
Technical Report, arXiv.org, volume CoRR abs/1902.00916, February 2019
Details Download

Stephan Mennicke, Jan-Christoph Kalo, Denis Nagel, Hermann Kroll, Wolf-Tilo Balke
Fast Dual Simulation Processing of Graph Database Queries (Supplement)
Technical Report, arXiv.org, volume CoRR abs/1810.09355, October 2018
Details

Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments
Technical Report, arXiv.org, 2016. CoRR
Details

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

Štěpán Holub, Tomáš Masopust, Michaël Thomazo
Alternating Towers and Piecewise Testable Separators
Technical Report, arXiv.org, volume CoRR abs/1409.3943, September 2014
Details Download

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
Maximally Permissive Coordination Supervisory Control - Towards Necessary and Sufficient Conditions
Technical Report, arXiv.org, volume CoRR abs/1403.4762, March 2014
Details Download

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
A Note on Relative Observability in Coordination Control
Technical Report, arXiv.org, volume CoRR abs/1404.2195, April 2014
Details Download

Tomáš Masopust, Michaël Thomazo
On k-piecewise testability (preliminary report)
Technical Report, arXiv.org, volume CoRR abs/1412.1641, December 2014
Details Download

Markus Krötzsch, Sebastian Rudolph
Conjunctive Query Answering for Directional Rules
Technical Report, Institut AIFB, KIT, May 2012. Technical Report
Details

Markus Krötzsch, Frantisek Simancik, Ian Horrocks
A Description Logic Primer
Technical Report, arXiv.org, volume CoRR abs/1201.4089, January 2012
Details Download

Tomáš Masopust
A Note on Undecidability of Observation Consistency for Non-Regular Languages
Technical Report, arXiv.org, volume CoRR abs/1201.1754, January 2012
Details Download

Markus Krötzsch, Sebastian Rudolph
Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules
Technical Report, Institut AIFB, KIT, volume 3011, January 2011
Details Download

Markus Krötzsch, Sebastian Speiser
Expressing Self-Referential Usage Policies for the Semantic Web
Technical Report, Institut AIFB, KIT, June 2011
Details

Markus Krötzsch
Efficient Inferencing for the Description Logic Underlying OWL EL
Technical Report, Institut AIFB, KIT, May 2010
Details

Tomáš Masopust
Comparison of Two Context-Free Rewriting Systems with Simple Context-Checking Mechanisms
Technical Report, arXiv.org, volume CoRR abs/1004.3635, April 2010
Details Download

Markus Krötzsch, Sebastian Rudolph
Finding the Largest Datalog Fragment of Description Logic
Technical Report 3002, Institute AIFB, KIT, November 2009
Details

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Expressive Tractable Description Logics based on SROIQ Rules
Technical Report, Universität Karlsruhe (TH), volume 1724, February 2008
Details

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
ELP: Tractable Rules for OWL 2
Technical Report, Institut AIFB, Universität Karlsruhe (TH), volume 1752, April 2008
Details

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Cheap Boolean Role Constructors for Description Logics
Technical Report, Institut AIFB, Universität Karlsruhe, volume 1753, April 2008
Details

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog
Technical Report, Universität Karlsruhe (TH), volume 1767, May 2008
Details

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
OBDD-based Tbox Reasoning in SHIQ
Technical Report, Universität Karlsruhe, volume 1751, January 2008
Details

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
All Elephants are Bigger than All Mice
Technical Report, Institut AIFB, KIT, February 2008
Details

Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Approximate OWL-Reasoning with SCREECH
Technical Report, Institute AIFB, University of Karlsruhe, volume 1729, March 2008
Details

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Complexity of Horn Description Logics
Technical Report, Instistute AIFB, Universität Karlsruhe, volume 1432, February 2007
Details

Markus Krötzsch, Pascal Hitzler, Marc Ehrig, York Sure
Category Theory in Ontology Research: Concrete Gain from an Abstract Approach
Technical Report, AIFB, Universität Karlsruhe, volume 893, March 2005
Details

Project Deliverables

Basil Ell, Frank Dengler, Divna Djordjevic, Fabio Garzotto, Markus Krötzsch, Elena Simperl, Katharina Siorpaes, Denny Vrandečić, Stephan Wölger
D1.1.2: Conceptual Models for Enterprise Knowledge (Final Models and Evaluation)
Institut AIFB, KIT, (D1.1.2), ACTIVE Deliverable, February 2010
Details

Markus Krötzsch, Tobias Bürger, Michael Luger, Denny Vrandečić, Stephan Wölger
D1.3.2: Collaborative Articulation of Enterprise Knowledge (Demonstrator)
Institut AIFB, KIT, (D1.3.2), ACTIVE Deliverable, March 2010
Details

Denny Vrandečić, Basil Ell, Frank Dengler, Markus Krötzsch, Michael Erdmann
D1.4.2: Knowledge leveraging and repair Demonstrator
Institut AIFB, KIT, (D1.4.2), ACTIVE Deliverable, March 2010
Details

Frank Dengler, Markus Krötzsch, Denny Vrandečić, Elena Simperl, Katharina Siorpaes
D1.1.1 Conceptual models for enterprise knowledge (Initial Models)
Institut AIFB, KIT, (D1.1.1), ACTIVE Deliverable, March 2009
Details

Markus Krötzsch, Frank Dengler, Katharina Siorpaes, Denny Vrandečić
D1.3.1: Collaborative Articulation of Enterprise Knowledge (Early prototypes)
Institut AIFB, KIT, (D1.3.1), ACTIVE Deliverable, March 2009
Details

Paolo Bouquet, Marc Ehrig, Jerome Euzenat, Enrico Franconi, Pascal Hitzler, Markus Krötzsch, Luciano Serafini, Giorgos Stamou, York Sure, Sergio Tessaris
Specification of a common framework for characterizing alignment
University of Karlsruhe, (2.2.1v2), Knowledge Web Deliverable, December 2004
Details

Talks and Miscellaneous

Markus Krötzsch
Data, Ontologies, Rules, and the Return of the Blank Node
Keynote at the 21st International Semantic Web Conference, 2022
Details Download

Lukas Gerlach
Chase-Based Computation of Cores for Existential Rules
Diploma Thesis, TU Dresden, September 2021
Details Download

Lukas Gerlach
Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies
Project Thesis, TU Dresden, March 2021
Details Download

Philipp Hanisch
Indexing for Datalog Materialisation with Leapfrog Triejoin
Diploma Thesis, October 2021
Details Download

Alex Ivliev
Reliance-Based Optimization of Existential Rule Reasoning
Diploma Thesis, TU Dresden, December 2021
Details Download

David Carral, Markus Krötzsch, Jacopo Urbani
Practical Uses of Existential Rules in Knowledge Representation
Tutorial at the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020)
Details

David Carral, Markus Krötzsch, Jacopo Urbani
Practical Uses of Existential Rules in Knowledge Representation
Tutorial at the 24th European Conference on Artificial Intelligence (ECAI 2020)
Details

Stefan Ellmauthaler, Konstantin Schekotihin
Tutorial on Multi-Context Stream Reasoning
43rd German Conference on Artificial Intelligence Tutorial, September 2020
Details

Lukas Gerlach
Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules
Project Thesis, TU Dresden, September 2020
Details Download

Alex Ivliev
Parsing of Lexicalised Linear Context-Free Rewriting Systems via Supertagging
Project Thesis, TU Dresden, May 2020
Details Download

Tom Hanika, Maximilian Marx, Gerd Stumme
The Exploration Game
Poster at Wikimania 2019, August 2019
Details Download

Tom Hanika, Maximilian Marx, Gerd Stumme
Discovering Implicational Knowledge in Wikidata
Presentation at Wikimania 2019, August 2019
Details Download

Tom Hanika, Maximilian Marx, Gerd Stumme
Interactively Discovering Implicational Knowledge in Wikidata
Presentation at 36th Chaos Communication Congress 2019, December 2019
Details Download

Markus Krötzsch
Working with Knowledge Graphs
Course at EDBT Summer School 2019, Lyon, France, 2019
Details Download

Maximilian Marx
SQID 2.0 — A Data Browser for Wikidata
Poster at Wikimania 2019, August 2019
Details Download

David Carral
Reasoning with Horn DL Ontologies and Knowledge Graphs
Invited Talk at VU University Amsterdam, October 2018
Details

David Carral
Reasoning over Existential Rules with Acyclicity Notions and the Datalog-first Restricted Chase
Invited Talk at the University of Oxford, PSL University, the University of Bordeaux, the University of Montpellier, and the QuantLA seminar at TU Dresden, December 2018
Details Download

David Carral
Reasoning with Description Logics Ontologies and Knowledge Graphs
Invited Talk at Télécom ParisTech, December 2018
Details

Markus Krötzsch
Ontological Modelling in Wikidata
Invited keynote at the 9th Workshop on Ontology Design and Patterns (WOP'18), 2018
Details Download

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

Stefan Ellmauthaler, Hannes Strass
goDIAMOND 0.6.6 - ICCMA 2017 System Description
ICCMA System Description, 2017
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

Maximilian Marx
Universality Results for Spiking Neural P Systems with Cooperating Rules
Diploma thesis, Technische Universität Dresden, March 2016
Details Download

Stefan Ellmauthaler
Abstract Dialectical Frameworks: Properties, Complexity, and Implementation
Master's Thesis, Technische Universität Wien, Institut für Informationssysteme, 2012
Details Download

Markus Krötzsch, Denny Vrandečić
Wikipedia 3.0: MediaWiki meets the Semantic Web
Presentation at the 3rd International Wikimedia Conference (Wikimania 2007), Taipei, Taiwan, July 2007
Details

Markus Krötzsch
Practical Reasoning with OWL and Rules
Invited talk at the Semantic Web Technology Showcase 2007, Vienna, Austria, May 2007
Details

Max Völkel, Markus Krötzsch, Denny Vrandečić, Heiko Haller, Rudi Studer
Semantic Wikipedia (ESWC2006 demo)
Poster and Demo at the ESWC2006, June 2006
Details

Max Völkel, Heiko Haller, Markus Krötzsch, Denny Vrandečić
Die neuen Tools: Web 2.0, Semantic Wiki, Social Tagging & Co.
Slides available online, March 2006
Details

Markus Krötzsch
Morphisms in Logic, Topology, and Formal Concept Analysis
Master's thesis, Technische Universität Dresden, February 2005
Details Download