Markus Krötzsch

Available identifiers

zbMath Open krotzsch.markusDBLP85/782FactGridQ404202WikidataQ18618630 ScholiaQ18618630MaRDI QIDQ831913

List of research outcomes

Publication	Date of Publication	Type
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 SHIQbs 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Markus Krötzsch