Follow
Markus Krötzsch
Title
Cited by
Year
19. Semantic Wikipedia
M Krötzsch, D Vrandecic
Social Semantic Web: Die Konvergenz von Social Software, Web 2.0 und …, 2008
2008
3.12 Schema-Agnostic Query Rewriting in SPARQL 1.1
M Krötzsch
Querying and Reasoning Under Expressive Constraints, 12, 2015
2015
31st ACM Symposium on Principles of Database Systems
M Benedikt, M Krötzsch, M Lenzerini
2012
A better uncle for OWL: Nominal schemas for integrating rules and ontologies
M Krötzsch, F Maier, AA Krisnadhi, P Hitzler
Proceedings of the 20th international conference on World wide web, 645-654, 2011
1252011
A Brief Introduction to Formal Concept Analysis
M Krötzsch, B Ganter
Conceptual Structures in Practice, 3-16, 2009
4*2009
A categorical view on algebraic lattices in formal concept analysis
P Hitzler, M Krötzsch, GQ Zhang
Fundamenta Informaticae 74 (2-3), 301-328, 2006
512006
A closer look at the semantic relationship between Datalog and description logics
M Krötzsch, S Rudolph, PH Schmitt
Semantic Web 6 (1), 63-79, 2015
122015
A datalog hammer for supervisor verification conditions modulo simple linear arithmetic
M Bromberger, I Dragoste, R Faqeh, C Fetzer, M Krötzsch, C Weidenbach
International Symposium on Frontiers of Combining Systems, 3-24, 2021
102021
A description logic primer
M Krötzsch, F Simancik, I Horrocks
arXiv preprint arXiv:1201.4089, 2012
3512012
A Matter of Principles: Towards the Largest DLP Possible
M Krötzsch, S Rudolph
Proceedings of the 22nd International Workshop on Description Logics 477, 2009
22009
A rule-based ontological framework for the classification of molecules
D Magka, M Krötzsch, I Horrocks
Journal of biomedical semantics 5, 1-15, 2014
172014
A sorted datalog hammer for supervisor verification conditions modulo simple linear arithmetic
M Bromberger, I Dragoste, R Faqeh, C Fetzer, L González, M Krötzsch, ...
International Conference on Tools and Algorithms for the Construction and …, 2022
42022
Acyclicity conditions and their application to query answering in description logics
B Cuenca Grau, I Horrocks, M Krötzsch, C Kupke, D Magka, B Motik, ...
Thirteenth International Conference on the Principles of Knowledge …, 2012
33*2012
Acyclicity notions for existential rules and their application to query answering in ontologies
BC Grau, I Horrocks, M Krötzsch, C Kupke, D Magka, B Motik, Z Wang
Journal of Artificial Intelligence Research 47, 741-808, 2013
1402013
All Elephants are Bigger than All Mice
S Rudolph, M Krötzsch, P Hitzler
Description Logics, 2008
622008
An existential rule framework for computing why-provenance on-demand for datalog
A Elhalawati, M Krötzsch, S Mennicke
International Joint Conference on Rules and Reasoning, 146-163, 2022
72022
Anfragesprachen
P Hitzler, M Krötzsch, S Rudolph, Y Sure
Semantic Web: Grundlagen, 199-242, 2008
2008
Answering queries with negation over existential rules
S Ellmauthaler, M Krötzsch, S Mennicke
Proceedings of the AAAI Conference on Artificial Intelligence 36 (5), 5626-5633, 2022
52022
Approximate OWL instance retrieval with SCREECH
P Hitzler, M Krötzsch, S Rudolph, T Tserendorj
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2008
22008
Approximate OWL-Reasoning with Screech
T Tserendorj, S Rudolph, M Krötzsch, P Hitzler
International Conference on Web Reasoning and Rule Systems, 165-180, 2008
422008
The system can't perform the operation now. Try again later.
Articles 1–20