Markus Krötzsch

Affiliations:
  • TU Dresden, Germany


According to our database1, Markus Krötzsch authored at least 139 papers between 2005 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Nemo: First Glimpse of a New Rule Engine.
Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

Wikidata: The Making Of.
Proceedings of the Companion Proceedings of the ACM Web Conference 2023, 2023

Efficient Dependency Analysis for Existential Rules (short paper).
Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023), 2023

2022
Expressivity of Planning with Horn Description Logic Ontologies (Technical Report).
CoRR, 2022

A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Efficient Dependency Analysis for Rule-Based Ontologies.
Proceedings of the Semantic Web - ISWC 2022, 2022

An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog.
Proceedings of the Rules and Reasoning, 2022

Deciding Hyperproperties Combined with Functional Specifications.
Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

Chasing Streams with Existential Rules.
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Simulating Sets in Answer Set Programming.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract).
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Tuple-Generating Dependencies Capture Complex Values.
Proceedings of the 25th International Conference on Database Theory, 2022

Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract).
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

Tuple-Generating Dependencies Capture Complex Values (Extended Abstract).
Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022

NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces.
Proceedings of the Computational Models of Argument, 2022

Answering Queries with Negation over Existential Rules.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

Expressivity of Planning with Horn Description Logic Ontologies.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
Partially Ordered Automata and Piecewise Testability.
Log. Methods Comput. Sci., 2021

Capturing Homomorphism-Closed Decidable Queries with Existential Rules.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.
Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021

2020
Reasoner = Logical Calculus + Rule Engine.
Künstliche Intell., 2020

Computing Cores for Existential Rules with the Standard Chase and ASP.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Rewriting ALCHIQ to Disjunctive Existential Rules (Extended Abstract).
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

2019
VLog: A Rule Engine for Knowledge Graphs.
Proceedings of the Semantic Web - ISWC 2019, 2019

Chasing Sets: How to Use Existential Rules for Expressive Reasoning.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Too Much Information: Can AI Cope with Modern Knowledge Graphs?
Proceedings of the Formal Concept Analysis - 15th International Conference, 2019

The Power of the Terminating Chase (Invited Talk).
Proceedings of the 22nd International Conference on Database Theory, 2019

Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract).
Proceedings of the 32nd International Workshop on Description Logics, 2019

The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract).
Proceedings of the 32nd International Workshop on Description Logics, 2019

Temporally Attributed Description Logics.
Proceedings of the Description Logic, Theory Combination, and All That, 2019

2018
Practical Linked Data Access via SPARQL: The Case of Wikidata.
Proceedings of the Workshop on Linked Data on the Web co-located with The Web Conference 2018, 2018

Deciding Universality of ptNFAs is PSpace-Complete.
Proceedings of the SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29, 2018

Getting the Most Out of Wikidata: Semantic Technology Usage in Wikipedia's Knowledge Graph.
Proceedings of the Semantic Web - ISWC 2018, 2018

The Combined Approach to Query Answering in Horn-ALCHOIQ.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Attributed Description Logics: Reasoning on Knowledge Graphs.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Preserving Constraints with the Stable Chase.
Proceedings of the 21st International Conference on Database Theory, 2018

Efficient Model Construction for Horn Logic with VLog: Extended Abstract.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

Happy Ever After: Temporally Attributed Description Logics.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

Tractable Query Answering for DL Ontologies and Existential Rules: Extended Abstract.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

Efficient Model Construction for Horn Logic with VLog - System Description.
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017
Complexity of universality and related problems for partially ordered NFAs.
Inf. Comput., 2017

Universality of Confluent, Self-Loop Deterministic Partially Ordered NFAs is Hard.
CoRR, 2017

Attributed Description Logics: Ontologies for Knowledge Graphs.
Proceedings of the Semantic Web - ISWC 2017, 2017

Tractable Query Answering for Expressive Ontologies and Existential Rules.
Proceedings of the Semantic Web - ISWC 2017, 2017

SQID: Towards Ontological Reasoning for Wikidata.
Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 23rd - to, 2017

Restricted Chase (Non)Termination for Existential Rules with Disjunctions.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Logic on MARS: Ontologies for Generalised Property Graphs.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Reasoning with Attributed Description Logics.
Proceedings of the 30th International Workshop on Description Logics, 2017

Ontologies for Knowledge Graphs?
Proceedings of the 30th International Workshop on Description Logics, 2017

2016
Editorial.
J. Web Semant., 2016

Is Your Database System a Semantic Web Reasoner?
Künstliche Intell., 2016

VLog: A Column-Oriented Datalog System for Large Knowledge Graphs.
Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016

Ontologies for Knowledge Graphs: Breaking the Rules.
Proceedings of the Semantic Web - ISWC 2016, 2016

On the Complexity of Universality for Partially Ordered NFAs.
Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016

Column-Oriented Datalog Materialization for Large Knowledge Graphs.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
A closer look at the semantic relationship between Datalog and description logics.
Semantic Web, 2015

Column-Oriented Datalog Materialization for Large Knowledge Graphs (Extended Technical Report).
CoRR, 2015

Reifying RDF: What Works Well With Wikidata?
Proceedings of the 11th International Workshop on Scalable Semantic Web Knowledge Base Systems co-located with 14th International Semantic Web Conference (ISWC 2015), 2015

Reasonable Highly Expressive Query Languages - IJCAI-15 Distinguished Paper (Honorary Mention).
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Schema-Agnostic Query Rewriting for OWL QL.
Proceedings of the 28th International Workshop on Description Logics, 2015

2014
The Incredible ELK - From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies.
J. Autom. Reason., 2014

The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases.
J. Artif. Intell. Res., 2014

Description Logics.
IEEE Intell. Syst., 2014

Query Containment for Highly Expressive Datalog Fragments.
CoRR, 2014

Wikidata: a free collaborative knowledgebase.
Commun. ACM, 2014

A rule-based ontological framework for the classification of molecules.
J. Biomed. Semant., 2014

Introducing Wikidata to the Linked Data Web.
Proceedings of the Semantic Web - ISWC 2014, 2014

Schema-Agnostic Query Rewriting in SPARQL 1.1.
Proceedings of the Semantic Web - ISWC 2014, 2014

P ≠ P - Why Some Reasoning Problems Are More Tractable Than Others.
Proceedings of the Web Reasoning and Rule Systems - 8th International Conference, 2014

Nominal Schemas in Description Logics: Complexities Clarified.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Complexities of Nominal Schemas.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

How to Best Nest Regular Path Queries.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2013
Complexities of Horn Description Logics.
ACM Trans. Comput. Log., 2013

Order matters! Harnessing a world of orderings for reasoning over massive data.
Semantic Web, 2013

Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies.
J. Artif. Intell. Res., 2013

Flag & check: data access with monadically defined queries.
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013

Concrete Results on Abstract Rules.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Computing Stable Models for Nonmonotonic Existential Rules.
Proceedings of the IJCAI 2013, 2013

Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012
Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
Log. Methods Comput. Sci., 2012

A Description Logic Primer
CoRR, 2012

OWL: Yet to arrive on the Web of Data?
Proceedings of the WWW2012 Workshop on Linked Data on the Web, 2012

The Not-So-Easy Task of Computing Class Subsumptions in OWL RL.
Proceedings of the Semantic Web - ISWC 2012, 2012

OWL 2 Profiles: An Introduction to Lightweight Ontology Languages.
Proceedings of the Reasoning Web. Semantic Technologies for Advanced Query Answering, 2012

ELK Reasoner: Architecture and Evaluation.
Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), 2012

Practical Reasoning with Nominals in the EL Family of Description Logics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Acyclicity Conditions and their Application to Query Answering in Description Logics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

2011
Shortipedia aggregating and curating Semantic Web data.
J. Web Semant., 2011

A better uncle for OWL: nominal schemas for integrating rules and ontologies.
Proceedings of the 20th International Conference on World Wide Web, 2011

ShareAlike Your Data: Self-referential Usage Policies for the Semantic Web.
Proceedings of the Semantic Web - ISWC 2011, 2011

Concurrent Classification of EL Ontologies.
Proceedings of the Semantic Web - ISWC 2011, 2011

Extending Decidable Existential Rules by Joining Acyclicity and Guardedness.
Proceedings of the IJCAI 2011, 2011

Efficient Rule-Based Inferencing for OWL EL.
Proceedings of the IJCAI 2011, 2011

Fixed Parameter Tractable Reasoning in DLs via Decomposition.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Nominal Schemas for Integrating Rules and Description Logics.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Unchain My EL Reasoner.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Semantic MediaWiki.
Proceedings of the Foundations for the Web of Information and Services, 2011

2010
Description Logic Rules
Studies on the Semantic Web 8, IOS Press, ISBN: 978-1-61499-342-1-, 2010

Description logic rules.
PhD thesis, 2010

SPARQL beyond Subgraph Matching.
Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

On the Semantic Relationship between Datalog and Description Logics.
Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010

Efficient Inferencing for OWL EL.
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

Orel: Database-Driven Reasoning for OWL 2 Profiles.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Foundations of Semantic Web Technologies
Chapman and Hall/CRC Press, ISBN: 9781420090505, 2010

2009
Semantic Wikipedia.
Proceedings of the Social Semantic Web: Web 2.0 - Was nun?, 2009

Die zwei Kulturen.
Proceedings of the Social Semantic Web: Web 2.0 - Was nun?, 2009

A Matter of Principles: Towards the Largest DLP Possible.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Semantic MediaWiki.
Proceedings of the Semantic Knowledge Management, 2009

2008
The two cultures: Mashing up Web 2.0 and the Semantic Web.
J. Web Semant., 2008

Social Web and Knowledge Management.
Proceedings of the Weaving Services and People on the World Wide Web, 2008

Workshop on social web and knowledge management (SWKM2008).
Proceedings of the 17th International Conference on World Wide Web, 2008

Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.
Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008

ELP: Tractable Rules for OWL 2.
Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008

Approximate OWL-Reasoning with Screech.
Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008

Cheap Boolean Role Constructors for Description Logics.
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

Description Logic Rules.
Proceedings of the ECAI 2008, 2008

All Elephants are Bigger than All Mice.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Approximate OWL Instance Retrieval with SCREECH.
Proceedings of the Logic and Probability for Scene Interpretation, 24.02. - 29.02.2008, 2008

Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Semantic Wikipedia.
J. Web Semant., 2007

Conjunctive Queries for a Tractable Fragment of OWL 1.1.
Proceedings of the Semantic Web, 2007

Reasoning in Semantic Wikis.
Proceedings of the Reasoning Web, 2007

Efficient OWL Reasoning with Logic Programs - Evaluations.
Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

Quo Vadis, CS? - On the (non)-Impact of Conceptual Structures on the Semantic Web.
Proceedings of the Conceptual Structures: Knowledge Architectures for Smart Applications, 2007

Conjunctive Queries for EL with Composition of Roles.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Complexity Boundaries for Horn Description Logics.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Generalized ultrametric spaces in quantitative domain theory.
Theor. Comput. Sci., 2006

A Categorical View on Algebraic Lattices in Formal Concept Analysis.
Fundam. Informaticae, 2006

Semantic Wikipedia.
Proceedings of the 2006 International Symposium on Wikis, 2006

Reusing Ontological Background Knowledge in Semantic Wikis.
Proceedings of the SemWiki2006, First Workshop on Semantic Wikis, 2006

Semantic MediaWiki.
Proceedings of the Semantic Web - ISWC 2006, 5th International Semantic Web Conference, 2006

How to reason with OWL in a logic programming system.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2006

On the Complexity of Horn Description Logics.
Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

The Tensor Product as a Lattice of Regular Galois Connections.
Proceedings of the Formal Concept Analysis, 4th International Conference, 2006

Querying Formal Contexts with Answer Set Programs.
Proceedings of the Conceptual Structures: Inspiration and Application, 2006

Formalizing Ontology Alignment and its Operations with Category Theory.
Proceedings of the Formal Ontology in Information Systems, 2006

2005
DLP Is Not So Bad After All.
Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, 2005

Morphisms in Context.
Proceedings of the Conceptual Structures: Common Semantics for Sharing Knowledge, 2005


  Loading...