Krötzsch, Markus

18 publications

AAAI 2022 Answering Queries with Negation over Existential Rules Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke

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

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

IJCAI 2022 Simulating Sets in Answer Set Programming Sarah Alice Gaggl, Philipp Hanisch, Markus Krötzsch

IJCAI 2020 Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules David Carral, Markus Krötzsch

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

IJCAI 2018 Attributed Description Logics: Reasoning on Knowledge Graphs Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost

IJCAI 2017 Logic on MARS: Ontologies for Generalised Property Graphs Maximilian Marx, Markus Krötzsch, Veronika Thost

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

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

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

JAIR 2014 The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases Giorgio Stefanoni, Boris Motik, Markus Krötzsch, Sebastian Rudolph

JAIR 2013 Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang

IJCAI 2013 Computing Stable Models for Nonmonotonic Existential Rules Despoina Magka, Markus Krötzsch, Ian Horrocks

IJCAI 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

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

AAAI 2007 Complexity Boundaries for Horn Description Logics Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler