Markus Krötzsch

179 papers A* 30A 6B 9C 4Misc 9Journal 42Unranked 62

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Declarative Debugging for Datalog with Aggregation. EDBT/ICDT Workshops Raimund Dachselt, Lukas Gerlach, Philipp Hanisch, Alex Ivliev, Markus Krötzsch, Maximilian Marx, Julián Méndez
2026	A	`conf`	Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP. ICDT Philipp Hanisch, Markus Krötzsch
2026	J	`jnl`	Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP. CoRR Philipp Hanisch, Markus Krötzsch
2025	—	`conf`	Modern Datalog: Concepts, Methods, Applications (Invited Paper). RW Markus Krötzsch
2025	—	`ed.`	Proceedings of the 5th Wikidata Workshop (Wikidata 2025) co-located with 24th International Semantic Web Conference (ISWC 2025), Nara, Japan, November 2, 2025. Wikidata Nicolas Ferranti, Marcelo Machado, Jorão Gomes Junior, Simon Razniewski, Axel Polleres, Markus Krötzsch
2025	Misc	`conf`	Supporting Risk Management for Medical Devices via the RISKMAN Ontology and Shapes. SEMANTiCS Piotr Gorczyca, Dörthe Arndt, Martin Diller, Jochen Hampe, Georg Heidenreich, Pascal Kettmann, Markus Krötzsch, Stephan Mennicke, Sebastian Rudolph, Hannes Strass
2025	—	`conf`	The Shape of EL Proofs: A Tale of Three Calculi. DL Christian Alrabbaa, Stefan Borgwardt, Philipp Herrmann, Markus Krötzsch
2025	J	`jnl`	The Shape of ℰℒ Proofs: A Tale of Three Calculi (Extended Version). CoRR Christian Alrabbaa, Stefan Borgwardt, Philipp Herrmann, Markus Krötzsch
2025	J	`jnl`	Towards Mass Spectrum Analysis with ASP. CoRR Nils Küchenmeister, Alex Ivliev, Markus Krötzsch
2025	B	`conf`	Verifying Datalog Reasoning with Lean. ITP Johannes Tantow, Lukas Gerlach, Stephan Mennicke, Markus Krötzsch
2024	J	`jnl`	Chase Termination Beyond Polynomial Time. CoRR Philipp Hanisch, Markus Krötzsch
2024	J	`jnl`	Chase Termination Beyond Polynomial Time. Proc. ACM Manag. Data Philipp Hanisch, Markus Krötzsch
2024	—	`conf`	Nemo: A Scalable and Versatile Datalog Engine. Datalog Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch
2024	A*	`conf`	Nemo: Your Friendly and Versatile Rule Reasoning Toolkit. KR Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch
2024	B	`conf`	Towards Mass Spectrum Analysis with ASP. LPNMR Nils Küchenmeister, Alex Ivliev, Markus Krötzsch
2023	—	`conf`	Efficient Dependency Analysis for Existential Rules (short paper). AMW Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke
2023	B	`conf`	Nemo: First Glimpse of a New Rule Engine. ICLP Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch
2023	—	`conf`	Wikidata: The Making Of. WWW (Companion Volume) Denny Vrandecic, Lydia Pintscher, Markus Krötzsch
2022	—	`conf`	A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. TACAS (1) Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K. Murali, Christoph Weidenbach
2022	J	`jnl`	A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. CoRR Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K. Murali, Christoph Weidenbach
2022	B	`conf`	An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog. RuleML+RR Ali Elhalawati, Markus Krötzsch, Stephan Mennicke
2022	A*	`conf`	Answering Queries with Negation over Existential Rules. AAAI Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke
2022	A*	`conf`	Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract). IJCAI Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
2022	A*	`conf`	Chasing Streams with Existential Rules. KR Jacopo Urbani, Markus Krötzsch, Thomas Eiter
2022	J	`jnl`	Chasing Streams with Existential Rules. CoRR Jacopo Urbani, Markus Krötzsch, Thomas Eiter
2022	A*	`conf`	Deciding Hyperproperties Combined with Functional Specifications. LICS Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch
2022	J	`jnl`	Deciding Hyperproperties Combined with Functional Specifications. CoRR Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch
2022	Misc	`conf`	Efficient Dependency Analysis for Rule-Based Ontologies. ISWC Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke
2022	J	`jnl`	Efficient Dependency Analysis for Rule-Based Ontologies. CoRR Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke
2022	—	`conf`	Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract). Description Logics Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
2022	J	`jnl`	Expressivity of Planning with Horn Description Logic Ontologies (Technical Report). CoRR Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
2022	A*	`conf`	Expressivity of Planning with Horn Description Logic Ontologies. AAAI Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
2022	C	`conf`	NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces. COMMA Raimund Dachselt, Sarah Alice Gaggl, Markus Krötzsch, Julián Méndez, Dominik Rusovac, Mei Yang
2022	A*	`conf`	Simulating Sets in Answer Set Programming. IJCAI Sarah Alice Gaggl, Philipp Hanisch, Markus Krötzsch
2022	—	`conf`	Tuple-Generating Dependencies Capture Complex Values (Extended Abstract). Datalog Maximilian Marx, Markus Krötzsch
2022	A	`conf`	Tuple-Generating Dependencies Capture Complex Values. ICDT Maximilian Marx, Markus Krötzsch
2021	—	`conf`	A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. FroCoS Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach
2021	J	`jnl`	A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. CoRR Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach
2021	J	`jnl`	Answering Queries with Negation over Existential Rules. CoRR Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke
2021	A*	`conf`	Capturing Homomorphism-Closed Decidable Queries with Existential Rules. KR Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
2021	J	`jnl`	Capturing Homomorphism-Closed Decidable Queries with Existential Rules. CoRR Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
2021	J	`jnl`	Partially Ordered Automata and Piecewise Testability. Log. Methods Comput. Sci. Tomás Masopust, Markus Krötzsch
2020	A*	`conf`	Computing Cores for Existential Rules with the Standard Chase and ASP. KR Markus Krötzsch
2020	J	`jnl`	Reasoner = Logical Calculus + Rule Engine. Künstliche Intell. David Carral, Irina Dragoste, Markus Krötzsch
2020	—	`conf`	Rewriting ALCHIQ to Disjunctive Existential Rules (Extended Abstract). Description Logics David Carral, Markus Krötzsch
2020	A*	`conf`	Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules. IJCAI David Carral, Markus Krötzsch
2019	—	`conf`	Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract). Description Logics David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe
2019	A*	`conf`	Chasing Sets: How to Use Existential Rules for Expressive Reasoning. IJCAI David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe
2019	J	`jnl`	Partially Ordered Automata and Piecewise Testability. CoRR Tomás Masopust, Markus Krötzsch
2019	—	`ed.`	Reasoning Web. Explainable Artificial Intelligence - 15th International Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial Lectures RW Markus Krötzsch, Daria Stepanova
2019	—	`conf`	Temporally Attributed Description Logics. Description Logic, Theory Combination, and All That Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
2019	—	`conf`	The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract). Description Logics David Carral, Irina Dragoste, Markus Krötzsch
2019	A	`conf`	The Power of the Terminating Chase (Invited Talk). ICDT Markus Krötzsch, Maximilian Marx, Sebastian Rudolph
2019	C	`conf`	Too Much Information: Can AI Cope with Modern Knowledge Graphs? ICFCA Markus Krötzsch
2019	—	`conf`	VLog: A Rule Engine for Knowledge Graphs. ISWC (2) David Carral, Irina Dragoste, Larry González, Ceriel J. H. Jacobs, Markus Krötzsch, Jacopo Urbani
2018	A*	`conf`	Attributed Description Logics: Reasoning on Knowledge Graphs. IJCAI Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
2018	B	`conf`	Deciding Universality of ptNFAs is PSpace-Complete. SOFSEM Tomás Masopust, Markus Krötzsch
2018	A	`conf`	Efficient Model Construction for Horn Logic with VLog - System Description. IJCAR Jacopo Urbani, Markus Krötzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral
2018	—	`conf`	Efficient Model Construction for Horn Logic with VLog: Extended Abstract. Description Logics Jacopo Urbani, Markus Krötzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral
2018	—	`conf`	Getting the Most Out of Wikidata: Semantic Technology Usage in Wikipedia's Knowledge Graph. ISWC (2) Stanislav Malyshev, Markus Krötzsch, Larry González, Julius Gonsior, Adrian Bielefeldt
2018	—	`conf`	Happy Ever After: Temporally Attributed Description Logics. Description Logics Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
2018	—	`conf`	Practical Linked Data Access via SPARQL: The Case of Wikidata. LDOW@WWW Adrian Bielefeldt, Julius Gonsior, Markus Krötzsch
2018	A	`conf`	Preserving Constraints with the Stable Chase. ICDT David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph
2018	A*	`conf`	The Combined Approach to Query Answering in Horn-ALCHOIQ. KR David Carral, Irina Dragoste, Markus Krötzsch
2018	—	`conf`	Tractable Query Answering for DL Ontologies and Existential Rules: Extended Abstract. Description Logics David Carral, Irina Dragoste, Markus Krötzsch
2017	—	`conf`	Attributed Description Logics: Ontologies for Knowledge Graphs. ISWC (1) Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
2017	J	`jnl`	Complexity of universality and related problems for partially ordered NFAs. Inf. Comput. Markus Krötzsch, Tomás Masopust, Michaël Thomazo
2017	—	`ed.`	Joint Proceedings of the 3rd Stream Reasoning (SR 2016) and the 1st Semantic Web Technologies for the Internet of Things (SWIT 2016) workshops co-located with 15th International Semantic Web Conference (ISWC 2016), Kobe, Japan, October 17th - to - 18th, 2016. SR+SWIT@ISWC Daniele Dell'Aglio, Emanuele Della Valle, Thomas Eiter, Markus Krötzsch, Maria Maleshkova, Ruben Verborgh, Federico M. Facca, Michael Mrissa
2017	A*	`conf`	Logic on MARS: Ontologies for Generalised Property Graphs. IJCAI Maximilian Marx, Markus Krötzsch, Veronika Thost
2017	—	`conf`	Ontologies for Knowledge Graphs? Description Logics Markus Krötzsch
2017	—	`conf`	Reasoning with Attributed Description Logics. Description Logics Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
2017	A*	`conf`	Restricted Chase (Non)Termination for Existential Rules with Disjunctions. IJCAI David Carral, Irina Dragoste, Markus Krötzsch
2017	—	`conf`	SQID: Towards Ontological Reasoning for Wikidata. ISWC (Posters, Demos & Industry Tracks) Maximilian Marx, Markus Krötzsch
2017	—	`conf`	Tractable Query Answering for Expressive Ontologies and Existential Rules. ISWC (1) David Carral, Irina Dragoste, Markus Krötzsch
2017	J	`jnl`	Universality of Confluent, Self-Loop Deterministic Partially Ordered NFAs is Hard. CoRR Tomás Masopust, Markus Krötzsch
2016	A*	`conf`	Column-Oriented Datalog Materialization for Large Knowledge Graphs. AAAI Jacopo Urbani, Ceriel J. H. Jacobs, Markus Krötzsch
2016	J	`jnl`	Complexity of Universality and Related Problems for Partially Ordered NFAs. CoRR Markus Krötzsch, Tomás Masopust, Michaël Thomazo
2016	J	`jnl`	Editorial. J. Web Semant. Markus Krötzsch, Gerhard Weikum
2016	J	`jnl`	Is Your Database System a Semantic Web Reasoner? Künstliche Intell. Markus Krötzsch, Sebastian Rudolph
2016	B	`conf`	On the Complexity of Universality for Partially Ordered NFAs. MFCS Markus Krötzsch, Tomás Masopust, Michaël Thomazo
2016	—	`conf`	Ontologies for Knowledge Graphs: Breaking the Rules. ISWC (1) Markus Krötzsch, Veronika Thost
2016	—	`ed.`	The Semantic Web - ISWC 2016 - 15th International Semantic Web Conference, Kobe, Japan, October 17-21, 2016, Proceedings, Part I ISWC (1) Paul Groth, Elena Simperl, Alasdair J. G. Gray, Marta Sabou, Markus Krötzsch, Freddy Lécué, Fabian Flöck, Yolanda Gil
2016	—	`ed.`	The Semantic Web - ISWC 2016 - 15th International Semantic Web Conference, Kobe, Japan, October 17-21, 2016, Proceedings, Part II ISWC (2) Paul Groth, Elena Simperl, Alasdair J. G. Gray, Marta Sabou, Markus Krötzsch, Freddy Lécué, Fabian Flöck, Yolanda Gil
2016	—	`conf`	VLog: A Column-Oriented Datalog System for Large Knowledge Graphs. ISWC (Posters & Demos) Jacopo Urbani, Ceriel J. H. Jacobs, Markus Krötzsch
2015	J	`jnl`	A closer look at the semantic relationship between Datalog and description logics. Semantic Web Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt
2015	J	`jnl`	Column-Oriented Datalog Materialization for Large Knowledge Graphs (Extended Technical Report). CoRR Jacopo Urbani, Ceriel J. H. Jacobs, Markus Krötzsch
2015	—	`ed.`	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) co-located with the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, Pennsylvania, United States, October 11th - and - 12th, 2015. SSN-TC/OrdRing@ISWC 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
2015	Misc	`ed.`	KI 2015: Advances in Artificial Intelligence - 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings KI Steffen Hölldobler, Markus Krötzsch, Rafael Peñaloza, Sebastian Rudolph
2015	A*	`conf`	Reasonable Highly Expressive Query Languages - IJCAI-15 Distinguished Paper (Honorary Mention). IJCAI Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
2015	—	`conf`	Reifying RDF: What Works Well With Wikidata? SSWS@ISWC Daniel Hernández, Aidan Hogan, Markus Krötzsch
2015	—	`conf`	Schema-Agnostic Query Rewriting for OWL QL. Description Logics Stefan Bischof, Markus Krötzsch, Axel Polleres, Sebastian Rudolph
2014	J	`jnl`	A rule-based ontological framework for the classification of molecules. J. Biomed. Semant. Despoina Magka, Markus Krötzsch, Ian Horrocks
2014	J	`jnl`	Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. CoRR Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang
2014	—	`conf`	Complexities of Nominal Schemas. Description Logics Markus Krötzsch, Sebastian Rudolph
2014	J	`jnl`	Description Logics. IEEE Intell. Syst. Markus Krötzsch, Frantisek Simancík, Ian Horrocks
2014	—	`conf`	How to Best Nest Regular Path Queries. Description Logics Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
2014	—	`conf`	Introducing Wikidata to the Linked Data Web. ISWC (1) Fredo Erxleben, Michael Günther, Markus Krötzsch, Julian Mendez, Denny Vrandecic
2014	A*	`conf`	Nominal Schemas in Description Logics: Complexities Clarified. KR Markus Krötzsch, Sebastian Rudolph
2014	—	`conf`	P ≠ P - Why Some Reasoning Problems Are More Tractable Than Others. RR Markus Krötzsch
2014	—	`ed.`	Proceedings of the 3rd International Workshop on Ordering and Reasoning Co-located with the 13th International Semantic Web Conference (ISWC 2014), Riva del Garda, Italy, October 20th, 2014. OrdRing@ISWC Irene Celino, Óscar Corcho, Daniele Dell'Aglio, Emanuele Della Valle, Markus Krötzsch, Stefan Schlobach
2014	J	`jnl`	Query Containment for Highly Expressive Datalog Fragments. CoRR Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
2014	—	`conf`	Schema-Agnostic Query Rewriting in SPARQL 1.1. ISWC (1) Stefan Bischof, Markus Krötzsch, Axel Polleres, Sebastian Rudolph
2014	J	`jnl`	The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases. J. Artif. Intell. Res. Giorgio Stefanoni, Boris Motik, Markus Krötzsch, Sebastian Rudolph
2014	J	`jnl`	The Incredible ELK - From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies. J. Autom. Reason. Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancík
2014	J	`jnl`	Wikidata: a free collaborative knowledgebase. Commun. ACM Denny Vrandecic, Markus Krötzsch
2013	J	`jnl`	Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. J. Artif. Intell. Res. Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang
2013	J	`jnl`	Complexities of Horn Description Logics. ACM Trans. Comput. Log. Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
2013	A*	`conf`	Computing Stable Models for Nonmonotonic Existential Rules. IJCAI Despoina Magka, Markus Krötzsch, Ian Horrocks
2013	B	`conf`	Concrete Results on Abstract Rules. LPNMR Markus Krötzsch, Despoina Magka, Ian Horrocks
2013	A*	`conf`	Flag & check: data access with monadically defined queries. PODS Sebastian Rudolph, Markus Krötzsch
2013	—	`ed.`	Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013 Description Logics Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch
2013	—	`conf`	Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling. Description Logics Despoina Magka, Markus Krötzsch, Ian Horrocks
2013	J	`jnl`	Order matters! Harnessing a world of orderings for reasoning over massive data. Semantic Web Emanuele Della Valle, Stefan Schlobach, Markus Krötzsch, Alessandro Bozzon, Stefano Ceri, Ian Horrocks
2013	—	`ed.`	Proceedings of the 2nd International Workshop on Ordering and Reasoning, OrdRing 2013, Co-located with the 12th International Semantic Web Conference (ISWC 2013), Sydney, Australia, October 22nd, 2013 OrdRing@ISWC Irene Celino, Emanuele Della Valle, Markus Krötzsch, Stefan Schlobach
2012	J	`jnl`	A Description Logic Primer CoRR Markus Krötzsch, Frantisek Simancík, Ian Horrocks
2012	A*	`conf`	Acyclicity Conditions and their Application to Query Answering in Description Logics. KR Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang
2012	—	`conf`	ELK Reasoner: Architecture and Evaluation. ORE Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancík
2012	—	`conf`	OWL 2 Profiles: An Introduction to Lightweight Ontology Languages. Reasoning Web Markus Krötzsch
2012	—	`conf`	OWL: Yet to arrive on the Web of Data? LDOW Birte Glimm, Aidan Hogan, Markus Krötzsch, Axel Polleres
2012	J	`jnl`	OWL: Yet to arrive on the Web of Data? CoRR Birte Glimm, Aidan Hogan, Markus Krötzsch, Axel Polleres
2012	A*	`ed.`	Proceedings of the 31st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2012, Scottsdale, AZ, USA, May 20-24, 2012 PODS Michael Benedikt, Markus Krötzsch, Maurizio Lenzerini
2012	—	`conf`	The Not-So-Easy Task of Computing Class Subsumptions in OWL RL. ISWC (1) Markus Krötzsch
2012	J	`jnl`	Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog Log. Methods Comput. Sci. Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
2012	—	`ed.`	Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings RR Markus Krötzsch, Umberto Straccia
2011	A*	`conf`	A better uncle for OWL: nominal schemas for integrating rules and ontologies. WWW Markus Krötzsch, Frederick Maier, Adila Krisnadhi, Pascal Hitzler
2011	—	`conf`	Concurrent Classification of EL Ontologies. ISWC (1) Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancík
2011	A*	`conf`	Efficient Rule-Based Inferencing for OWL EL. IJCAI Markus Krötzsch
2011	A*	`conf`	Extending Decidable Existential Rules by Joining Acyclicity and Guardedness. IJCAI Markus Krötzsch, Sebastian Rudolph
2011	—	`conf`	Fixed Parameter Tractable Reasoning in DLs via Decomposition. Description Logics Frantisek Simancík, Boris Motik, Markus Krötzsch
2011	—	`conf`	Nominal Schemas for Integrating Rules and Description Logics. Description Logics Markus Krötzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler
2011	—	`conf`	Semantic MediaWiki. Foundations for the Web of Information and Services Markus Krötzsch, Denny Vrandecic
2011	—	`conf`	ShareAlike Your Data: Self-referential Usage Policies for the Semantic Web. ISWC (1) Markus Krötzsch, Sebastian Speiser
2011	J	`jnl`	Shortipedia aggregating and curating Semantic Web data. J. Web Semant. Denny Vrandecic, Varun Ratnakar, Markus Krötzsch, Yolanda Gil
2011	—	`conf`	Unchain My EL Reasoner. Description Logics Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancík
2010	—	`book`	Description Logic Rules Markus Krötzsch
2010	—	`—`	Description logic rules. Markus Krötzsch
2010	B	`conf`	Efficient Inferencing for OWL EL. JELIA Markus Krötzsch
2010	—	`book`	Foundations of Semantic Web Technologies Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph
2010	—	`conf`	On the Semantic Relationship between Datalog and Description Logics. RR Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt
2010	—	`conf`	Orel: Database-Driven Reasoning for OWL 2 Profiles. Description Logics Markus Krötzsch, Anees Mehdi, Sebastian Rudolph
2010	—	`conf`	SPARQL beyond Subgraph Matching. ISWC (1) Birte Glimm, Markus Krötzsch
2009	—	`conf`	A Matter of Principles: Towards the Largest DLP Possible. Description Logics Markus Krötzsch, Sebastian Rudolph
2009	—	`ch.`	Die zwei Kulturen. Social Semantic Web Anupriya Ankolekar, Markus Krötzsch, Thanh Tran, Denny Vrandecic
2009	—	`ch.`	Semantic MediaWiki. Semantic Knowledge Management Denny Vrandecic, Markus Krötzsch
2009	—	`ch.`	Semantic Wikipedia. Social Semantic Web Markus Krötzsch, Denny Vrandecic
2008	—	`conf`	All Elephants are Bigger than All Mice. Description Logics Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
2008	—	`conf`	Approximate OWL Instance Retrieval with SCREECH. Logic and Probability for Scene Interpretation Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, Tuvshintur Tserendorj
2008	—	`conf`	Approximate OWL-Reasoning with Screech. RR Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
2008	B	`conf`	Cheap Boolean Role Constructors for Description Logics. JELIA Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
2008	Misc	`conf`	Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog. ISWC Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
2008	A	`conf`	Description Logic Rules. ECAI Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
2008	Misc	`conf`	ELP: Tractable Rules for OWL 2. ISWC Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
2008	—	`ed.`	Proceedings of the WWW 2008 Workshop on Social Web and Knowledge Management, Beijing, China, April 22, 2008 SWKM Peter Dolog, Markus Krötzsch, Sebastian Schaffert, Denny Vrandecic
2008	—	`conf`	Social Web and Knowledge Management. Weaving Services and People on the World Wide Web Peter Dolog, Markus Krötzsch, Sebastian Schaffert, Denny Vrandecic
2008	A*	`conf`	Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams. AAAI Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
2008	J	`jnl`	The two cultures: Mashing up Web 2.0 and the Semantic Web. J. Web Semant. Anupriya Ankolekar, Markus Krötzsch, Thanh Tran, Denny Vrandecic
2008	A*	`conf`	Workshop on social web and knowledge management (SWKM2008). WWW Peter Dolog, Markus Krötzsch, Sebastian Schaffert, Denny Vrandecic
2007	A*	`conf`	Complexity Boundaries for Horn Description Logics. AAAI Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
2007	—	`conf`	Conjunctive Queries for EL with Composition of Roles. Description Logics Markus Krötzsch, Sebastian Rudolph
2007	—	`conf`	Conjunctive Queries for a Tractable Fragment of OWL 1.1. ISWC/ASWC Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
2007	—	`conf`	Efficient OWL Reasoning with Logic Programs - Evaluations. RR Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Michael Sintek, Denny Vrandecic
2007	Misc	`conf`	Quo Vadis, CS? - On the (non)-Impact of Conceptual Structures on the Semantic Web. ICCS Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
2007	—	`conf`	Reasoning in Semantic Wikis. Reasoning Web Markus Krötzsch, Sebastian Schaffert, Denny Vrandecic
2007	J	`jnl`	Semantic Wikipedia. J. Web Semant. Markus Krötzsch, Denny Vrandecic, Max Völkel, Heiko Haller, Rudi Studer
2007	A*	`conf`	The two cultures: mashing up web 2.0 and the semantic web. WWW Anupriya Ankolekar, Markus Krötzsch, Thanh Tran, Denny Vrandecic
2006	J	`jnl`	A Categorical View on Algebraic Lattices in Formal Concept Analysis. Fundam. Informaticae Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang
2006	C	`conf`	Formalizing Ontology Alignment and its Operations with Category Theory. FOIS Antoine Zimmermann, Markus Krötzsch, Jérôme Euzenat, Pascal Hitzler
2006	J	`jnl`	Generalized ultrametric spaces in quantitative domain theory. Theor. Comput. Sci. Markus Krötzsch
2006	—	`conf`	How to reason with OWL in a logic programming system. RuleML Markus Krötzsch, Pascal Hitzler, Denny Vrandecic, Michael Sintek
2006	—	`conf`	On the Complexity of Horn Description Logics. OWLED Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
2006	Misc	`conf`	Querying Formal Contexts with Answer Set Programs. ICCS Pascal Hitzler, Markus Krötzsch
2006	—	`conf`	Reusing Ontological Background Knowledge in Semantic Wikis. SemWiki Denny Vrandecic, Markus Krötzsch
2006	Misc	`conf`	Semantic MediaWiki. ISWC Markus Krötzsch, Denny Vrandecic, Max Völkel
2006	—	`conf`	Semantic Wikipedia. Int. Sym. Wikis Heiko Haller, Markus Krötzsch, Max Völkel, Denny Vrandecic
2006	A*	`conf`	Semantic Wikipedia. WWW Max Völkel, Markus Krötzsch, Denny Vrandecic, Heiko Haller, Rudi Studer
2006	C	`conf`	The Tensor Product as a Lattice of Regular Galois Connections. ICFCA Markus Krötzsch, Grit Malik
2005	—	`conf`	DLP Is Not So Bad After All. OWLED Pascal Hitzler, Peter Haase, Markus Krötzsch, York Sure, Rudi Studer
2005	Misc	`conf`	Morphisms in Context. ICCS Markus Krötzsch, Pascal Hitzler, Guo-Qiang Zhang
2004	J	`jnl`	A Categorical View on Algebraic Lattices in Formal Concept Analysis CoRR Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang