Markus Krötzsch

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 72

Top Venues

Karlsruhe Institute of Technology (PHD)

Education History

Karlsruhe Institute of Technology

PHD

Publications

Philipp Hanisch, Markus Krötzsch
Chase Termination Beyond Polynomial Time. Proc. ACM Manag. Data 2 (2) (2024)
Philipp Hanisch, Markus Krötzsch
Chase Termination Beyond Polynomial Time. CoRR (2024)
Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke
Efficient Dependency Analysis for Existential Rules (short paper). AMW (2023)
Denny Vrandecic, Lydia Pintscher, Markus Krötzsch
Wikidata: The Making Of. WWW (Companion Volume) (2023)
Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch
Nemo: First Glimpse of a New Rule Engine. CoRR (2023)
Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch
Deciding Hyperproperties Combined with Functional Specifications. CoRR (2022)
Sarah Alice Gaggl, Philipp Hanisch, Markus Krötzsch
Simulating Sets in Answer Set Programming. IJCAI (2022)
Ali Elhalawati, Markus Krötzsch, Stephan Mennicke
An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog. RuleML+RR (2022)
Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke
Efficient Dependency Analysis for Rule-Based Ontologies. ISWC (2022)
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. CoRR (2022)
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies. AAAI (2022)
Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch
Deciding Hyperproperties Combined with Functional Specifications. LICS (2022)
Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract). IJCAI (2022)
Jacopo Urbani, Markus Krötzsch, Thomas Eiter
Chasing Streams with Existential Rules. CoRR (2022)
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. COMMA (2022)
Maximilian Marx, Markus Krötzsch
Tuple-Generating Dependencies Capture Complex Values. ICDT (2022)
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies (Technical Report). CoRR (2022)
Jacopo Urbani, Markus Krötzsch, Thomas Eiter
Chasing Streams with Existential Rules. KR (2022)
Maximilian Marx, Markus Krötzsch
Tuple-Generating Dependencies Capture Complex Values (Extended Abstract). Datalog (2022)
Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke
Answering Queries with Negation over Existential Rules. AAAI (2022)
Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke
Efficient Dependency Analysis for Rule-Based Ontologies. CoRR (2022)
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract). Description Logics (2022)
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. TACAS (1) (2022)
Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke
Answering Queries with Negation over Existential Rules. CoRR (2021)
Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. CoRR (2021)
Tomás Masopust, Markus Krötzsch
Partially Ordered Automata and Piecewise Testability. Log. Methods Comput. Sci. 17 (2) (2021)
Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. FroCoS (2021)
Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
Capturing Homomorphism-Closed Decidable Queries with Existential Rules. KR (2021)
Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
Capturing Homomorphism-Closed Decidable Queries with Existential Rules. CoRR (2021)
David Carral, Irina Dragoste, Markus Krötzsch
Reasoner = Logical Calculus + Rule Engine. Künstliche Intell. 34 (4) (2020)
David Carral, Markus Krötzsch
Rewriting ALCHIQ to Disjunctive Existential Rules (Extended Abstract). Description Logics (2020)
Markus Krötzsch
Computing Cores for Existential Rules with the Standard Chase and ASP. KR (2020)
David Carral, Markus Krötzsch
Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules. IJCAI (2020)
David Carral, Irina Dragoste, Markus Krötzsch
The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract). Description Logics (2019)
David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe
Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract). Description Logics (2019)
Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
Temporally Attributed Description Logics. Description Logic, Theory Combination, and All That (2019)
Markus Krötzsch
Too Much Information: Can AI Cope with Modern Knowledge Graphs? ICFCA (2019)
David Carral, Irina Dragoste, Larry González, Ceriel J. H. Jacobs, Markus Krötzsch, Jacopo Urbani
VLog: A Rule Engine for Knowledge Graphs. ISWC (2) (2019)
Markus Krötzsch, Maximilian Marx, Sebastian Rudolph
The Power of the Terminating Chase (Invited Talk). ICDT (2019)
David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe
Chasing Sets: How to Use Existential Rules for Expressive Reasoning. IJCAI (2019)
Tomás Masopust, Markus Krötzsch
Partially Ordered Automata and Piecewise Testability. CoRR (2019)
Adrian Bielefeldt, Julius Gonsior, Markus Krötzsch
Practical Linked Data Access via SPARQL: The Case of Wikidata. LDOW@WWW (2018)
David Carral, Irina Dragoste, Markus Krötzsch
Tractable Query Answering for DL Ontologies and Existential Rules: Extended Abstract. Description Logics (2018)
Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
Happy Ever After: Temporally Attributed Description Logics. Description Logics (2018)
David Carral, Irina Dragoste, Markus Krötzsch
The Combined Approach to Query Answering in Horn-ALCHOIQ. KR (2018)
Jacopo Urbani, Markus Krötzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral
Efficient Model Construction for Horn Logic with VLog: Extended Abstract. Description Logics (2018)
Tomás Masopust, Markus Krötzsch
Deciding Universality of ptNFAs is PSpace-Complete. SOFSEM (2018)
Jacopo Urbani, Markus Krötzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral
Efficient Model Construction for Horn Logic with VLog - System Description. IJCAR (2018)
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. ISWC (2) (2018)
David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph
Preserving Constraints with the Stable Chase. ICDT (2018)
Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Attributed Description Logics: Reasoning on Knowledge Graphs. IJCAI (2018)
Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Attributed Description Logics: Ontologies for Knowledge Graphs. ISWC (1) (2017)
Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Reasoning with Attributed Description Logics. Description Logics (2017)
David Carral, Irina Dragoste, Markus Krötzsch
Tractable Query Answering for Expressive Ontologies and Existential Rules. ISWC (1) (2017)
Tomás Masopust, Markus Krötzsch
Universality of Confluent, Self-Loop Deterministic Partially Ordered NFAs is Hard. CoRR (2017)
Markus Krötzsch
Ontologies for Knowledge Graphs? Description Logics (2017)
David Carral, Irina Dragoste, Markus Krötzsch
Restricted Chase (Non)Termination for Existential Rules with Disjunctions. IJCAI (2017)
Maximilian Marx, Markus Krötzsch
SQID: Towards Ontological Reasoning for Wikidata. ISWC (Posters, Demos & Industry Tracks) (2017)
Maximilian Marx, Markus Krötzsch, Veronika Thost
Logic on MARS: Ontologies for Generalised Property Graphs. IJCAI (2017)
Markus Krötzsch, Tomás Masopust, Michaël Thomazo
Complexity of universality and related problems for partially ordered NFAs. Inf. Comput. 255 (2017)
Markus Krötzsch, Sebastian Rudolph
Is Your Database System a Semantic Web Reasoner? Künstliche Intell. 30 (2) (2016)
Jacopo Urbani, Ceriel J. H. Jacobs, Markus Krötzsch
Column-Oriented Datalog Materialization for Large Knowledge Graphs. AAAI (2016)
Markus Krötzsch, Veronika Thost
Ontologies for Knowledge Graphs: Breaking the Rules. ISWC (1) (2016)
Jacopo Urbani, Ceriel J. H. Jacobs, Markus Krötzsch
VLog: A Column-Oriented Datalog System for Large Knowledge Graphs. ISWC (Posters & Demos) (2016)
Markus Krötzsch, Gerhard Weikum
Editorial. J. Web Semant. (2016)
Markus Krötzsch, Tomás Masopust, Michaël Thomazo
On the Complexity of Universality for Partially Ordered NFAs. MFCS (2016)
Markus Krötzsch, Tomás Masopust, Michaël Thomazo
Complexity of Universality and Related Problems for Partially Ordered NFAs. CoRR (2016)
Jacopo Urbani, Ceriel J. H. Jacobs, Markus Krötzsch
Column-Oriented Datalog Materialization for Large Knowledge Graphs (Extended Technical Report). CoRR (2015)
Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt
A closer look at the semantic relationship between Datalog and description logics. Semantic Web 6 (1) (2015)
Stefan Bischof, Markus Krötzsch, Axel Polleres, Sebastian Rudolph
Schema-Agnostic Query Rewriting for OWL QL. Description Logics (2015)
Daniel Hernández, Aidan Hogan, Markus Krötzsch
Reifying RDF: What Works Well With Wikidata? SSWS@ISWC (2015)
Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
Reasonable Highly Expressive Query Languages - IJCAI-15 Distinguished Paper (Honorary Mention). IJCAI (2015)
Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik
The Incredible ELK - From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies. J. Autom. Reason. 53 (1) (2014)
Markus Krötzsch, Frantisek Simancik, Ian Horrocks
Description Logics. IEEE Intell. Syst. 29 (1) (2014)
Fredo Erxleben, Michael Günther, Markus Krötzsch, Julian Mendez, Denny Vrandecic
Introducing Wikidata to the Linked Data Web. ISWC (1) (2014)
Despoina Magka, Markus Krötzsch, Ian Horrocks
A rule-based ontological framework for the classification of molecules. J. Biomed. Semant. 5 (2014)
Stefan Bischof, Markus Krötzsch, Axel Polleres, Sebastian Rudolph
Schema-Agnostic Query Rewriting in SPARQL 1.1. ISWC (1) (2014)
Markus Krötzsch, Sebastian Rudolph
Complexities of Nominal Schemas. Description Logics (2014)
Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
How to Best Nest Regular Path Queries. Description Logics (2014)
Markus Krötzsch, Sebastian Rudolph
Nominal Schemas in Description Logics: Complexities Clarified. KR (2014)
Denny Vrandecic, Markus Krötzsch
Wikidata: a free collaborative knowledgebase. Commun. ACM 57 (10) (2014)
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. CoRR (2014)
Markus Krötzsch
P ≠ P - Why Some Reasoning Problems Are More Tractable Than Others. RR (2014)
Giorgio Stefanoni, Boris Motik, Markus Krötzsch, Sebastian Rudolph
The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases. J. Artif. Intell. Res. 51 (2014)
Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
Query Containment for Highly Expressive Datalog Fragments. CoRR (2014)
Sebastian Rudolph, Markus Krötzsch
Flag & check: data access with monadically defined queries. PODS (2013)
Despoina Magka, Markus Krötzsch, Ian Horrocks
Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling. Description Logics (2013)
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) (2013)
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. 47 (2013)
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Complexities of Horn Description Logics. ACM Trans. Comput. Log. 14 (1) (2013)
Markus Krötzsch, Despoina Magka, Ian Horrocks
Concrete Results on Abstract Rules. LPNMR (2013)
Despoina Magka, Markus Krötzsch, Ian Horrocks
Computing Stable Models for Nonmonotonic Existential Rules. IJCAI (2013)
Birte Glimm, Aidan Hogan, Markus Krötzsch, Axel Polleres
OWL: Yet to arrive on the Web of Data? CoRR (2012)
Markus Krötzsch, Frantisek Simancik, Ian Horrocks
A Description Logic Primer CoRR (2012)
Markus Krötzsch
The Not-So-Easy Task of Computing Class Subsumptions in OWL RL. ISWC (1) (2012)
Markus Krötzsch
OWL 2 Profiles: An Introduction to Lightweight Ontology Languages. Reasoning Web (2012)
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog Log. Methods Comput. Sci. 8 (1) (2012)
Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik
ELK Reasoner: Architecture and Evaluation. ORE (2012)
Birte Glimm, Aidan Hogan, Markus Krötzsch, Axel Polleres
OWL: Yet to arrive on the Web of Data? LDOW (2012)
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. KR (2012)

Markus Krötzsch.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Markus Krötzsch