Markus Krötzsch

Available identifiers

zbMath Open krotzsch.markusDBLP85/782FactGridQ404202WikidataQ18618630 ScholiaQ18618630MaRDI QIDQ831913

List of research outcomes

Publication	Date of Publication	Type
Deciding hyperproperties combined with functional specifications	2024-12-06	Paper
Tuple-generating dependencies capture complex values	2024-04-25	Paper
Tuple-generating dependencies capture complex values	2024-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q5091112	2022-07-21	Paper
A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic	2022-03-24	Paper
https://portal.mardi4nfdi.de/entity/Q4989409	2021-05-25	Paper
Deciding Universality of ptNFAs is PSpace-Complete	2020-10-21	Paper
Preserving Constraints with the Stable Chase	2020-08-06	Paper
Temporally attributed description logics	2020-06-04	Paper
Too much information: can AI cope with modern knowledge graphs?	2020-02-11	Paper
Efficient model construction for Horn logic with VLog (system description)	2018-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q4608624	2018-03-21	Paper
Complexity of universality and related problems for partially ordered NFAs	2017-08-08	Paper
https://portal.mardi4nfdi.de/entity/Q2970045	2017-03-27	Paper
Complexities of Horn Description Logics	2015-09-17	Paper
The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies	2015-07-02	Paper
The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases	2015-01-14	Paper
Concrete Results on Abstract Rules	2013-10-10	Paper
Acyclicity notions for existential rules and their application to query answering in ontologies	2013-09-06	Paper
OWL 2 Profiles: An Introduction to Lightweight Ontology Languages	2012-11-08	Paper
Type-elimination-based reasoning for the description logic \(\mathcal {SHIQ}b_s\) using decision diagrams and disjunctive Datalog	2012-04-03	Paper
https://portal.mardi4nfdi.de/entity/Q3168847	2011-04-27	Paper
Efficient Inferencing for OWL EL	2010-10-01	Paper
Cheap Boolean Role Constructors for Description Logics	2008-10-27	Paper
Semantic Web	2007-11-05	Paper
Querying Formal Contexts with Answer Set Programs	2007-09-06	Paper
Formal Concept Analysis	2007-02-12	Paper
Generalized ultrametric spaces in quantitative domain theory	2007-01-22	Paper

Research outcomes over time

This page was built for person: Markus Krötzsch