Morphisms in Context. - Markus Krötzsch; Pascal Hitzler; Guo-Qiang Zhang 001 (ICCS, 2005)

DLP Is Not So Bad After All. - Pascal Hitzler; Peter Haase 001; Markus Krötzsch; York Sure; Rudi Studer (OWLED, 2005)

Formalizing Ontology Alignment and its Operations with Category Theory. - Antoine Zimmermann; Markus Krötzsch; Jérôme Euzenat; Pascal Hitzler (FOIS, 2006)

Querying Formal Contexts with Answer Set Programs. - Pascal Hitzler; Markus Krötzsch (ICCS, 2006)

The Tensor Product as a Lattice of Regular Galois Connections. - Markus Krötzsch; Grit Malik (ICFCA, 2006)

On the Complexity of Horn Description Logics. - Markus Krötzsch; Sebastian Rudolph; Pascal Hitzler (OWLED, 2006)

How to reason with OWL in a logic programming system. - Markus Krötzsch; Pascal Hitzler; Denny Vrandecic; Michael Sintek (RuleML, 2006)

Semantic MediaWiki. - Markus Krötzsch; Denny Vrandecic; Max Völkel (ISWC, 2006)

Reusing Ontological Background Knowledge in Semantic Wikis. - Denny Vrandecic; Markus Krötzsch (SemWiki, 2006)

Semantic Wikipedia. - Heiko Haller; Markus Krötzsch; Max Völkel; Denny Vrandecic (Int. Sym. Wikis, 2006)

A Categorical View on Algebraic Lattices in Formal Concept Analysis. - Pascal Hitzler; Markus Krötzsch; Guo-Qiang Zhang 001 (Fundam. Informaticae, 2006)

Generalized ultrametric spaces in quantitative domain theory. - Markus Krötzsch (Theor. Comput. Sci., 2006)

Complexity Boundaries for Horn Description Logics. - Markus Krötzsch; Sebastian Rudolph; Pascal Hitzler (AAAI, 2007)

Conjunctive Queries for EL with Composition of Roles. - Markus Krötzsch; Sebastian Rudolph (Description Logics, 2007)

Quo Vadis, CS? - On the (non)-Impact of Conceptual Structures on the Semantic Web. - Sebastian Rudolph; Markus Krötzsch; Pascal Hitzler (ICCS, 2007)

Efficient OWL Reasoning with Logic Programs - Evaluations. - Sebastian Rudolph; Markus Krötzsch; Pascal Hitzler; Michael Sintek; Denny Vrandecic (RR, 2007)

Reasoning in Semantic Wikis. - Markus Krötzsch; Sebastian Schaffert; Denny Vrandecic (Reasoning Web, 2007)

Conjunctive Queries for a Tractable Fragment of OWL 1.1. - Markus Krötzsch; Sebastian Rudolph; Pascal Hitzler (ISWC/ASWC, 2007)

Semantic Wikipedia. - Markus Krötzsch; Denny Vrandecic; Max Völkel; Heiko Haller; Rudi Studer (J. Web Semant., 2007)

Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams. - Sebastian Rudolph; Markus Krötzsch; Pascal Hitzler (AAAI, 2008)

Approximate OWL Instance Retrieval with SCREECH. - Pascal Hitzler; Markus Krötzsch; Sebastian Rudolph; Tuvshintur Tserendorj (Logic and Probability for Scene Interpretation, 2008)

All Elephants are Bigger than All Mice. - Sebastian Rudolph; Markus Krötzsch; Pascal Hitzler (Description Logics, 2008)

Description Logic Rules. - Markus Krötzsch; Sebastian Rudolph; Pascal Hitzler (ECAI, 2008)

Cheap Boolean Role Constructors for Description Logics. - Sebastian Rudolph; Markus Krötzsch; Pascal Hitzler (JELIA, 2008)

Approximate OWL-Reasoning with Screech. - Tuvshintur Tserendorj; Sebastian Rudolph; Markus Krötzsch; Pascal Hitzler (RR, 2008)

ELP: Tractable Rules for OWL 2. - Markus Krötzsch; Sebastian Rudolph; Pascal Hitzler (ISWC, 2008)

Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog. - Sebastian Rudolph; Markus Krötzsch; Pascal Hitzler (ISWC, 2008)

Workshop on social web and knowledge management (SWKM2008). - Peter Dolog; Markus Krötzsch; Sebastian Schaffert; Denny Vrandecic (WWW, 2008)

Social Web and Knowledge Management. - Peter Dolog; Markus Krötzsch; Sebastian Schaffert; Denny Vrandecic (Weaving Services and People on the World Wide Web, 2008)

The two cultures: Mashing up Web 2.0 and the Semantic Web. - Anupriya Ankolekar; Markus Krötzsch; Thanh Tran 001; Denny Vrandecic (J. Web Semant., 2008)

Semantic MediaWiki. - Denny Vrandecic; Markus Krötzsch (Semantic Knowledge Management, 2009)

A Matter of Principles: Towards the Largest DLP Possible. - Markus Krötzsch; Sebastian Rudolph (Description Logics, 2009)

Die zwei Kulturen. - Anupriya Ankolekar; Markus Krötzsch; Thanh Tran 001; Denny Vrandecic (Social Semantic Web, 2009)

Semantic Wikipedia. - Markus Krötzsch; Denny Vrandecic (Social Semantic Web, 2009)

Foundations of Semantic Web Technologies - Pascal Hitzler; Markus Krötzsch; Sebastian Rudolph (Chapman and Hall/CRC Press, 2010)

Orel: Database-Driven Reasoning for OWL 2 Profiles. - Markus Krötzsch; Anees Mehdi; Sebastian Rudolph (Description Logics, 2010)

Efficient Inferencing for OWL EL. - Markus Krötzsch (JELIA, 2010)

On the Semantic Relationship between Datalog and Description Logics. - Markus Krötzsch; Sebastian Rudolph; Peter H. Schmitt (RR, 2010)

SPARQL beyond Subgraph Matching. - Birte Glimm; Markus Krötzsch (ISWC (1), 2010)

Description logic rules. - Markus Krötzsch (2010)

Description Logic Rules - Markus Krötzsch (IOS Press, 2010)

Semantic MediaWiki. - Markus Krötzsch; Denny Vrandecic (Foundations for the Web of Information and Services, 2011)

Unchain My EL Reasoner. - Yevgeny Kazakov; Markus Krötzsch; Frantisek Simancik (Description Logics, 2011)

Nominal Schemas for Integrating Rules and Description Logics. - Markus Krötzsch; Frederick Maier; Adila Alfa Krisnadhi; Pascal Hitzler (Description Logics, 2011)

Fixed Parameter Tractable Reasoning in DLs via Decomposition. - Frantisek Simancik; Boris Motik; Markus Krötzsch (Description Logics, 2011)

Efficient Rule-Based Inferencing for OWL EL. - Markus Krötzsch (IJCAI, 2011)

Extending Decidable Existential Rules by Joining Acyclicity and Guardedness. - Markus Krötzsch; Sebastian Rudolph (IJCAI, 2011)

Concurrent Classification of EL Ontologies. - Yevgeny Kazakov; Markus Krötzsch; Frantisek Simancik (ISWC (1), 2011)

ShareAlike Your Data: Self-referential Usage Policies for the Semantic Web. - Markus Krötzsch; Sebastian Speiser (ISWC (1), 2011)

A better uncle for OWL: nominal schemas for integrating rules and ontologies. - Markus Krötzsch; Frederick Maier; Adila Krisnadhi; Pascal Hitzler (WWW, 2011)

Shortipedia aggregating and curating Semantic Web data. - Denny Vrandecic; Varun Ratnakar; Markus Krötzsch; Yolanda Gil (J. Web Semant., 2011)

Acyclicity Conditions and their Application to Query Answering in Description Logics. - Bernardo Cuenca Grau; Ian Horrocks 001; Markus Krötzsch; Clemens Kupke; Despoina Magka; Boris Motik; Zhe Wang 001 (KR, 2012)

Practical Reasoning with Nominals in the EL Family of Description Logics. - Yevgeny Kazakov; Markus Kroetzsch; Frantisek Simancik (KR, 2012)

ELK Reasoner: Architecture and Evaluation. - Yevgeny Kazakov; Markus Krötzsch; Frantisek Simancik (ORE, 2012)

OWL 2 Profiles: An Introduction to Lightweight Ontology Languages. - Markus Krötzsch (Reasoning Web, 2012)

The Not-So-Easy Task of Computing Class Subsumptions in OWL RL. - Markus Krötzsch (ISWC (1), 2012)

OWL: Yet to arrive on the Web of Data? - Birte Glimm; Aidan Hogan; Markus Krötzsch; Axel Polleres (LDOW, 2012)

A Description Logic Primer - Markus Krötzsch; Frantisek Simancik; Ian Horrocks 001 (CoRR, 2012)

Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog - Sebastian Rudolph; Markus Krötzsch; Pascal Hitzler (Log. Methods Comput. Sci., 2012)

Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling. - Despoina Magka; Markus Krötzsch; Ian Horrocks 001 (Description Logics, 2013)

Computing Stable Models for Nonmonotonic Existential Rules. - Despoina Magka; Markus Krötzsch; Ian Horrocks 001 (IJCAI, 2013)

Concrete Results on Abstract Rules. - Markus Krötzsch; Despoina Magka; Ian Horrocks 001 (LPNMR, 2013)

Flag & check: data access with monadically defined queries. - Sebastian Rudolph; Markus Krötzsch (PODS, 2013)

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

Order matters! Harnessing a world of orderings for reasoning over massive data. - Emanuele Della Valle; Stefan Schlobach; Markus Krötzsch; Alessandro Bozzon; Stefano Ceri; Ian Horrocks 001 (Semantic Web, 2013)

Complexities of Horn Description Logics. - Markus Krötzsch; Sebastian Rudolph; Pascal Hitzler (ACM Trans. Comput. Log., 2013)

How to Best Nest Regular Path Queries. - Pierre Bourhis; Markus Krötzsch; Sebastian Rudolph (Description Logics, 2014)

Complexities of Nominal Schemas. - Markus Krötzsch; Sebastian Rudolph (Description Logics, 2014)

Nominal Schemas in Description Logics: Complexities Clarified. - Markus Krötzsch; Sebastian Rudolph (KR, 2014)

P ≠ P - Why Some Reasoning Problems Are More Tractable Than Others. - Markus Krötzsch (RR, 2014)

Schema-Agnostic Query Rewriting in SPARQL 1.1. - Stefan Bischof 002; Markus Krötzsch; Axel Polleres; Sebastian Rudolph (ISWC (1), 2014)

Introducing Wikidata to the Linked Data Web. - Fredo Erxleben; Michael Günther 002; Markus Krötzsch; Julian Mendez 002; Denny Vrandecic (ISWC (1), 2014)

A rule-based ontological framework for the classification of molecules. - Despoina Magka; Markus Krötzsch; Ian Horrocks 001 (J. Biomed. Semant., 2014)

Wikidata: a free collaborative knowledgebase. - Denny Vrandecic; Markus Krötzsch (Commun. ACM, 2014)

Query Containment for Highly Expressive Datalog Fragments. - Pierre Bourhis; Markus Krötzsch; Sebastian Rudolph (CoRR, 2014)

Description Logics. - Markus Krötzsch; Frantisek Simancik; Ian Horrocks 001 (IEEE Intell. Syst., 2014)

The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases. - Giorgio Stefanoni; Boris Motik; Markus Krötzsch; Sebastian Rudolph (J. Artif. Intell. Res., 2014)

The Incredible ELK - From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies. - Yevgeny Kazakov; Markus Krötzsch; Frantisek Simancik (J. Autom. Reason., 2014)

Schema-Agnostic Query Rewriting for OWL QL. - Stefan Bischof 002; Markus Krötzsch; Axel Polleres; Sebastian Rudolph (Description Logics, 2015)

Reasonable Highly Expressive Query Languages - IJCAI-15 Distinguished Paper (Honorary Mention). - Pierre Bourhis; Markus Krötzsch; Sebastian Rudolph (IJCAI, 2015)

Reifying RDF: What Works Well With Wikidata? - Daniel Hernández 002; Aidan Hogan; Markus Krötzsch (SSWS@ISWC, 2015)

Column-Oriented Datalog Materialization for Large Knowledge Graphs (Extended Technical Report). - Jacopo Urbani; Ceriel J. H. Jacobs; Markus Krötzsch (CoRR, 2015)

A closer look at the semantic relationship between Datalog and description logics. - Markus Krötzsch; Sebastian Rudolph; Peter H. Schmitt (Semantic Web, 2015)

Column-Oriented Datalog Materialization for Large Knowledge Graphs. - Jacopo Urbani; Ceriel J. H. Jacobs; Markus Krötzsch (AAAI, 2016)

On the Complexity of Universality for Partially Ordered NFAs. - Markus Krötzsch; Tomás Masopust; Michaël Thomazo (MFCS, 2016)

Ontologies for Knowledge Graphs: Breaking the Rules. - Markus Krötzsch; Veronika Thost (ISWC (1), 2016)

VLog: A Column-Oriented Datalog System for Large Knowledge Graphs. - Jacopo Urbani; Ceriel J. H. Jacobs; Markus Krötzsch (ISWC (Posters & Demos), 2016)

Is Your Database System a Semantic Web Reasoner? - Markus Krötzsch; Sebastian Rudolph (Künstliche Intell., 2016)

Editorial. - Markus Krötzsch; Gerhard Weikum (J. Web Semant., 2016)

Ontologies for Knowledge Graphs? - Markus Krötzsch (Description Logics, 2017)

Reasoning with Attributed Description Logics. - Markus Krötzsch; Maximilian Marx 001; Ana Ozaki; Veronika Thost (Description Logics, 2017)

Logic on MARS: Ontologies for Generalised Property Graphs. - Maximilian Marx 001; Markus Krötzsch; Veronika Thost (IJCAI, 2017)

Restricted Chase (Non)Termination for Existential Rules with Disjunctions. - David Carral; Irina Dragoste; Markus Krötzsch (IJCAI, 2017)

SQID: Towards Ontological Reasoning for Wikidata. - Maximilian Marx 001; Markus Krötzsch (ISWC (Posters, Demos & Industry Tracks), 2017)

Tractable Query Answering for Expressive Ontologies and Existential Rules. - David Carral; Irina Dragoste; Markus Krötzsch (ISWC (1), 2017)

Attributed Description Logics: Ontologies for Knowledge Graphs. - Markus Krötzsch; Maximilian Marx 001; Ana Ozaki; Veronika Thost (ISWC (1), 2017)

Universality of Confluent, Self-Loop Deterministic Partially Ordered NFAs is Hard. - Tomás Masopust; Markus Krötzsch (CoRR, 2017)

Complexity of universality and related problems for partially ordered NFAs. - Markus Krötzsch; Tomás Masopust; Michaël Thomazo (Inf. Comput., 2017)

Efficient Model Construction for Horn Logic with VLog - System Description. - Jacopo Urbani; Markus Krötzsch; Ceriel J. H. Jacobs; Irina Dragoste; David Carral (IJCAR, 2018)

Tractable Query Answering for DL Ontologies and Existential Rules: Extended Abstract. - David Carral; Irina Dragoste; Markus Krötzsch (Description Logics, 2018)

Happy Ever After: Temporally Attributed Description Logics. - Ana Ozaki; Markus Krötzsch; Sebastian Rudolph (Description Logics, 2018)

Efficient Model Construction for Horn Logic with VLog: Extended Abstract. - Jacopo Urbani; Markus Krötzsch; Ceriel J. H. Jacobs; Irina Dragoste; David Carral (Description Logics, 2018)

Preserving Constraints with the Stable Chase. - David Carral; Markus Krötzsch; Maximilian Marx 001; Ana Ozaki; Sebastian Rudolph (ICDT, 2018)

Attributed Description Logics: Reasoning on Knowledge Graphs. - Markus Krötzsch; Maximilian Marx 001; Ana Ozaki; Veronika Thost (IJCAI, 2018)

The Combined Approach to Query Answering in Horn-ALCHOIQ. - David Carral; Irina Dragoste; Markus Krötzsch (KR, 2018)

Getting the Most Out of Wikidata: Semantic Technology Usage in Wikipedia's Knowledge Graph. - Stanislav Malyshev; Markus Krötzsch; Larry González; Julius Gonsior; Adrian Bielefeldt (ISWC (2), 2018)

Deciding Universality of ptNFAs is PSpace-Complete. - Tomás Masopust; Markus Krötzsch (SOFSEM, 2018)

Practical Linked Data Access via SPARQL: The Case of Wikidata. - Adrian Bielefeldt; Julius Gonsior; Markus Krötzsch (LDOW@WWW, 2018)

Temporally Attributed Description Logics. - Ana Ozaki; Markus Krötzsch; Sebastian Rudolph (Description Logic, Theory Combination, and All That, 2019)

The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract). - David Carral; Irina Dragoste; Markus Krötzsch (Description Logics, 2019)

Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract). - David Carral; Irina Dragoste; Markus Krötzsch; Christian Lewe (Description Logics, 2019)

The Power of the Terminating Chase (Invited Talk). - Markus Krötzsch; Maximilian Marx 001; Sebastian Rudolph (ICDT, 2019)

Too Much Information: Can AI Cope with Modern Knowledge Graphs? - Markus Krötzsch (ICFCA, 2019)

Chasing Sets: How to Use Existential Rules for Expressive Reasoning. - David Carral; Irina Dragoste; Markus Krötzsch; Christian Lewe (IJCAI, 2019)

VLog: A Rule Engine for Knowledge Graphs. - David Carral; Irina Dragoste; Larry González; Ceriel J. H. Jacobs; Markus Krötzsch; Jacopo Urbani (ISWC (2), 2019)

Rewriting ALCHIQ to Disjunctive Existential Rules (Extended Abstract). - David Carral; Markus Krötzsch (Description Logics, 2020)

Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules. - David Carral; Markus Krötzsch (IJCAI, 2020)

Computing Cores for Existential Rules with the Standard Chase and ASP. - Markus Krötzsch (KR, 2020)

Reasoner = Logical Calculus + Rule Engine. - David Carral; Irina Dragoste; Markus Krötzsch (Künstliche Intell., 2020)

A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. - Martin Bromberger; Irina Dragoste; Rasha Faqeh; Christof Fetzer; Markus Krötzsch; Christoph Weidenbach (FroCoS, 2021)

Capturing Homomorphism-Closed Decidable Queries with Existential Rules. - Camille Bourgaux; David Carral; Markus Krötzsch; Sebastian Rudolph; Michaël Thomazo (KR, 2021)

Partially Ordered Automata and Piecewise Testability. - Tomás Masopust; Markus Krötzsch (Log. Methods Comput. Sci., 2021)

Expressivity of Planning with Horn Description Logic Ontologies. - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Markus Krötzsch; Bernhard Nebel; Marcel Steinmetz (AAAI, 2022)

Answering Queries with Negation over Existential Rules. - Stefan Ellmauthaler; Markus Krötzsch; Stephan Mennicke (AAAI, 2022)

NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces. - Raimund Dachselt; Sarah Alice Gaggl; Markus Krötzsch; Julián Méndez 001; Dominik Rusovac; Mei Yang (COMMA, 2022)

Tuple-Generating Dependencies Capture Complex Values (Extended Abstract). - Maximilian Marx 001; Markus Krötzsch (Datalog, 2022)

Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract). - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Markus Krötzsch; Bernhard Nebel; Marcel Steinmetz (Description Logics, 2022)

Tuple-Generating Dependencies Capture Complex Values. - Maximilian Marx 001; Markus Krötzsch (ICDT, 2022)

Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract). - Camille Bourgaux; David Carral; Markus Krötzsch; Sebastian Rudolph; Michaël Thomazo (IJCAI, 2022)

Simulating Sets in Answer Set Programming. - Sarah Alice Gaggl; Philipp Hanisch; Markus Krötzsch (IJCAI, 2022)

Chasing Streams with Existential Rules. - Jacopo Urbani; Markus Krötzsch; Thomas Eiter (KR, 2022)

Deciding Hyperproperties Combined with Functional Specifications. - Raven Beutner; David Carral; Bernd Finkbeiner; Jana Hofmann; Markus Krötzsch (LICS, 2022)

An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog. - Ali Elhalawati; Markus Krötzsch; Stephan Mennicke (RuleML+RR, 2022)

Efficient Dependency Analysis for Rule-Based Ontologies. - Larry González; Alex Ivliev; Markus Krötzsch; Stephan Mennicke (ISWC, 2022)

A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. - Martin Bromberger; Irina Dragoste; Rasha Faqeh; Christof Fetzer; Larry González; Markus Krötzsch; Maximilian Marx 001; Harish K. Murali; Christoph Weidenbach (TACAS (1), 2022)

Expressivity of Planning with Horn Description Logic Ontologies (Technical Report). - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Markus Krötzsch; Bernhard Nebel; Marcel Steinmetz (CoRR, 2022)

Supplementary material to the paper "Expressivity of Planning with Horn Description Logic Ontologies". - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Markus Krötzsch; Bernhard Nebel (Zenodo, 2022)

Supplementary material to the paper "Expressivity of Planning with Horn Description Logic Ontologies". - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Markus Krötzsch; Bernhard Nebel (Zenodo, 2022)

Efficient Dependency Analysis for Existential Rules (short paper). - Larry González; Alex Ivliev; Markus Krötzsch; Stephan Mennicke (AMW, 2023)

Wikidata: The Making Of. - Denny Vrandecic; Lydia Pintscher; Markus Krötzsch (WWW (Companion Volume), 2023)

Nemo: First Glimpse of a New Rule Engine. - Alex Ivliev; Stefan Ellmauthaler; Lukas Gerlach 002; Maximilian Marx 001; Matthias Meißner; Simon Meusel; Markus Krötzsch (ICLP, 2023)

Nemo: A Scalable and Versatile Datalog Engine. - Alex Ivliev; Lukas Gerlach 002; Simon Meusel; Jakob Steinberg; Markus Krötzsch (Datalog, 2024)

Nemo: Your Friendly and Versatile Rule Reasoning Toolkit. - Alex Ivliev; Lukas Gerlach 002; Simon Meusel; Jakob Steinberg; Markus Krötzsch (KR, 2024)

Towards Mass Spectrum Analysis with ASP. - Nils Küchenmeister; Alex Ivliev; Markus Krötzsch (LPNMR, 2024)

Chase Termination Beyond Polynomial Time. - Philipp Hanisch; Markus Krötzsch (Proc. ACM Manag. Data, 2024)

The Shape of ℰℒ Proofs: A Tale of Three Calculi (Extended Version). - Christian Alrabbaa; Stefan Borgwardt; Philipp Herrmann; Markus Krötzsch (CoRR, 2025)