Markus Krötzsch

From MaRDI portal
Person:831913

Available identifiers

zbMath Open krotzsch.markusDBLP85/782FactGridQ404202WikidataQ18618630 ScholiaQ18618630MaRDI QIDQ831913

List of research outcomes





PublicationDate of PublicationType
Deciding hyperproperties combined with functional specifications2024-12-06Paper
Tuple-generating dependencies capture complex values2024-04-25Paper
Tuple-generating dependencies capture complex values2024-04-23Paper
https://portal.mardi4nfdi.de/entity/Q50911122022-07-21Paper
A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic2022-03-24Paper
https://portal.mardi4nfdi.de/entity/Q49894092021-05-25Paper
Deciding Universality of ptNFAs is PSpace-Complete2020-10-21Paper
Preserving Constraints with the Stable Chase2020-08-06Paper
Temporally attributed description logics2020-06-04Paper
Too much information: can AI cope with modern knowledge graphs?2020-02-11Paper
Efficient model construction for Horn logic with VLog (system description)2018-10-18Paper
https://portal.mardi4nfdi.de/entity/Q46086242018-03-21Paper
Complexity of universality and related problems for partially ordered NFAs2017-08-08Paper
https://portal.mardi4nfdi.de/entity/Q29700452017-03-27Paper
Complexities of Horn Description Logics2015-09-17Paper
The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies2015-07-02Paper
The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases2015-01-14Paper
Concrete Results on Abstract Rules2013-10-10Paper
Acyclicity notions for existential rules and their application to query answering in ontologies2013-09-06Paper
OWL 2 Profiles: An Introduction to Lightweight Ontology Languages2012-11-08Paper
Type-elimination-based reasoning for the description logic \(\mathcal {SHIQ}b_s\) using decision diagrams and disjunctive Datalog2012-04-03Paper
https://portal.mardi4nfdi.de/entity/Q31688472011-04-27Paper
Efficient Inferencing for OWL EL2010-10-01Paper
Cheap Boolean Role Constructors for Description Logics2008-10-27Paper
Semantic Web2007-11-05Paper
Querying Formal Contexts with Answer Set Programs2007-09-06Paper
Formal Concept Analysis2007-02-12Paper
Generalized ultrametric spaces in quantitative domain theory2007-01-22Paper

Research outcomes over time

This page was built for person: Markus Krötzsch