default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarkus Krötzsch
Markus Kroetzsch
Person information
- affiliation: TU Dresden, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j21]Philipp Hanisch
, Markus Krötzsch:
Chase Termination Beyond Polynomial Time. Proc. ACM Manag. Data 2(2): 93 (2024)- [c111]Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch:
Nemo: A Scalable and Versatile Datalog Engine. Datalog 2024: 43-47 - [c110]Nils Küchenmeister, Alex Ivliev, Markus Krötzsch:
Towards Mass Spectrum Analysis with ASP. LPNMR 2024: 200-214 - [i19]Philipp Hanisch, Markus Krötzsch:
Chase Termination Beyond Polynomial Time. CoRR abs/2403.16712 (2024) - 2023
- [c109]Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke:
Efficient Dependency Analysis for Existential Rules (short paper). AMW 2023 - [c108]Denny Vrandecic, Lydia Pintscher, Markus Krötzsch:
Wikidata: The Making Of. WWW (Companion Volume) 2023: 615-624 - [c107]Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch:
Nemo: First Glimpse of a New Rule Engine. ICLP 2023: 333-335 - 2022
- [c106]Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz:
Expressivity of Planning with Horn Description Logic Ontologies. AAAI 2022: 5503-5511 - [c105]Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke:
Answering Queries with Negation over Existential Rules. AAAI 2022: 5626-5633 - [c104]Raimund Dachselt, Sarah Alice Gaggl, Markus Krötzsch, Julián Méndez, Dominik Rusovac, Mei Yang:
NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces. COMMA 2022: 116-127 - [c103]Maximilian Marx, Markus Krötzsch:
Tuple-Generating Dependencies Capture Complex Values (Extended Abstract). Datalog 2022: 97-103 - [c102]Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz:
Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract). Description Logics 2022 - [c101]Maximilian Marx, Markus Krötzsch:
Tuple-Generating Dependencies Capture Complex Values. ICDT 2022: 13:1-13:20 - [c100]Sarah Alice Gaggl, Philipp Hanisch, Markus Krötzsch:
Simulating Sets in Answer Set Programming. IJCAI 2022: 2634-2640 - [c99]Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo:
Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract). IJCAI 2022: 5269-5273 - [c98]Jacopo Urbani, Markus Krötzsch, Thomas Eiter:
Chasing Streams with Existential Rules. KR 2022 - [c97]Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch:
Deciding Hyperproperties Combined with Functional Specifications. LICS 2022: 56:1-56:13 - [c96]Ali Elhalawati, Markus Krötzsch, Stephan Mennicke:
An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog. RuleML+RR 2022: 146-163 - [c95]Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke:
Efficient Dependency Analysis for Rule-Based Ontologies. ISWC 2022: 267-283 - [c94]Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K. Murali, Christoph Weidenbach:
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. TACAS (1) 2022: 480-501 - [d2]Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel:
Supplementary material to the paper "Expressivity of Planning with Horn Description Logic Ontologies". Zenodo, 2022
- [d1]Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel:
Supplementary material to the paper "Expressivity of Planning with Horn Description Logic Ontologies". Zenodo, 2022 - [i18]Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K. Murali, Christoph Weidenbach:
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. CoRR abs/2201.09769 (2022) - [i17]Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz:
Expressivity of Planning with Horn Description Logic Ontologies (Technical Report). CoRR abs/2203.09361 (2022) - [i16]Jacopo Urbani, Markus Krötzsch, Thomas Eiter:
Chasing Streams with Existential Rules. CoRR abs/2205.02220 (2022) - [i15]Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch:
Deciding Hyperproperties Combined with Functional Specifications. CoRR abs/2205.15138 (2022) - [i14]Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke:
Efficient Dependency Analysis for Rule-Based Ontologies. CoRR abs/2207.09669 (2022) - 2021
- [j20]Tomás Masopust, Markus Krötzsch:
Partially Ordered Automata and Piecewise Testability. Log. Methods Comput. Sci. 17(2) (2021) - [c93]Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach:
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. FroCoS 2021: 3-24 - [c92]Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo:
Capturing Homomorphism-Closed Decidable Queries with Existential Rules. KR 2021: 141-150 - [i13]Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach:
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. CoRR abs/2107.03189 (2021) - [i12]Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo:
Capturing Homomorphism-Closed Decidable Queries with Existential Rules. CoRR abs/2107.07811 (2021) - [i11]Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke:
Answering Queries with Negation over Existential Rules. CoRR abs/2112.07376 (2021) - 2020
- [j19]David Carral, Irina Dragoste, Markus Krötzsch:
Reasoner = Logical Calculus + Rule Engine. Künstliche Intell. 34(4): 453-463 (2020) - [c91]David Carral, Markus Krötzsch:
Rewriting ALCHIQ to Disjunctive Existential Rules (Extended Abstract). Description Logics 2020 - [c90]David Carral, Markus Krötzsch:
Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules. IJCAI 2020: 1777-1783 - [c89]Markus Krötzsch:
Computing Cores for Existential Rules with the Standard Chase and ASP. KR 2020: 603-613
2010 – 2019
- 2019
- [c88]Ana Ozaki, Markus Krötzsch, Sebastian Rudolph:
Temporally Attributed Description Logics. Description Logic, Theory Combination, and All That 2019: 441-474 - [c87]David Carral, Irina Dragoste, Markus Krötzsch:
The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract). Description Logics 2019 - [c86]David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe:
Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract). Description Logics 2019 - [c85]Markus Krötzsch, Maximilian Marx, Sebastian Rudolph:
The Power of the Terminating Chase (Invited Talk). ICDT 2019: 3:1-3:17 - [c84]Markus Krötzsch:
Too Much Information: Can AI Cope with Modern Knowledge Graphs? ICFCA 2019: 17-31 - [c83]David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe:
Chasing Sets: How to Use Existential Rules for Expressive Reasoning. IJCAI 2019: 1624-1631 - [c82]David Carral, Irina Dragoste, Larry González, Ceriel J. H. Jacobs, Markus Krötzsch, Jacopo Urbani:
VLog: A Rule Engine for Knowledge Graphs. ISWC (2) 2019: 19-35 - [e12]Markus Krötzsch, Daria Stepanova:
Reasoning Web. Explainable Artificial Intelligence - 15th International Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial Lectures. Lecture Notes in Computer Science 11810, Springer 2019, ISBN 978-3-030-31422-4 [contents] - [i10]Tomás Masopust, Markus Krötzsch:
Partially Ordered Automata and Piecewise Testability. CoRR abs/1907.13115 (2019) - 2018
- [c81]Jacopo Urbani, Markus Krötzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral:
Efficient Model Construction for Horn Logic with VLog - System Description. IJCAR 2018: 680-688 - [c80]David Carral, Irina Dragoste, Markus Krötzsch:
Tractable Query Answering for DL Ontologies and Existential Rules: Extended Abstract. Description Logics 2018 - [c79]Ana Ozaki, Markus Krötzsch, Sebastian Rudolph:
Happy Ever After: Temporally Attributed Description Logics. Description Logics 2018 - [c78]Jacopo Urbani, Markus Krötzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral:
Efficient Model Construction for Horn Logic with VLog: Extended Abstract. Description Logics 2018 - [c77]David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph:
Preserving Constraints with the Stable Chase. ICDT 2018: 12:1-12:19 - [c76]Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost:
Attributed Description Logics: Reasoning on Knowledge Graphs. IJCAI 2018: 5309-5313 - [c75]David Carral, Irina Dragoste, Markus Krötzsch:
The Combined Approach to Query Answering in Horn-ALCHOIQ. KR 2018: 339-348 - [c74]Stanislav Malyshev, Markus Krötzsch, Larry González, Julius Gonsior, Adrian Bielefeldt:
Getting the Most Out of Wikidata: Semantic Technology Usage in Wikipedia's Knowledge Graph. ISWC (2) 2018: 376-394 - [c73]Tomás Masopust, Markus Krötzsch:
Deciding Universality of ptNFAs is PSpace-Complete. SOFSEM 2018: 413-427 - [c72]Adrian Bielefeldt, Julius Gonsior, Markus Krötzsch:
Practical Linked Data Access via SPARQL: The Case of Wikidata. LDOW@WWW 2018 - 2017
- [j18]Markus Krötzsch, Tomás Masopust, Michaël Thomazo:
Complexity of universality and related problems for partially ordered NFAs. Inf. Comput. 255: 177-192 (2017) - [c71]Markus Krötzsch:
Ontologies for Knowledge Graphs? Description Logics 2017 - [c70]Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost:
Reasoning with Attributed Description Logics. Description Logics 2017 - [c69]David Carral, Irina Dragoste, Markus Krötzsch:
Restricted Chase (Non)Termination for Existential Rules with Disjunctions. IJCAI 2017: 922-928 - [c68]Maximilian Marx, Markus Krötzsch, Veronika Thost:
Logic on MARS: Ontologies for Generalised Property Graphs. IJCAI 2017: 1188-1194 - [c67]Maximilian Marx, Markus Krötzsch:
SQID: Towards Ontological Reasoning for Wikidata. ISWC (Posters, Demos & Industry Tracks) 2017 - [c66]David Carral, Irina Dragoste, Markus Krötzsch:
Tractable Query Answering for Expressive Ontologies and Existential Rules. ISWC (1) 2017: 156-172 - [c65]Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost:
Attributed Description Logics: Ontologies for Knowledge Graphs. ISWC (1) 2017: 418-435 - [e11]Daniele Dell'Aglio, Emanuele Della Valle, Thomas Eiter, Markus Krötzsch, Maria Maleshkova, Ruben Verborgh, Federico M. Facca, Michael Mrissa:
Joint Proceedings of the 3rd Stream Reasoning (SR 2016) and the 1st Semantic Web Technologies for the Internet of Things (SWIT 2016) workshops co-located with 15th International Semantic Web Conference (ISWC 2016), Kobe, Japan, October 17th - to - 18th, 2016. CEUR Workshop Proceedings 1783, CEUR-WS.org 2017 [contents] - [i9]Tomás Masopust, Markus Krötzsch:
Universality of Confluent, Self-Loop Deterministic Partially Ordered NFAs is Hard. CoRR abs/1704.07860 (2017) - 2016
- [j17]Markus Krötzsch, Sebastian Rudolph:
Is Your Database System a Semantic Web Reasoner? Künstliche Intell. 30(2): 169-176 (2016) - [j16]Markus Krötzsch, Gerhard Weikum:
Editorial. J. Web Semant. 37-38: 53-54 (2016) - [c64]Jacopo Urbani, Ceriel J. H. Jacobs, Markus Krötzsch:
Column-Oriented Datalog Materialization for Large Knowledge Graphs. AAAI 2016: 258-264 - [c63]Markus Krötzsch, Tomás Masopust, Michaël Thomazo:
On the Complexity of Universality for Partially Ordered NFAs. MFCS 2016: 61:1-61:14 - [c62]Markus Krötzsch, Veronika Thost:
Ontologies for Knowledge Graphs: Breaking the Rules. ISWC (1) 2016: 376-392 - [c61]Jacopo Urbani, Ceriel J. H. Jacobs, Markus Krötzsch:
VLog: A Column-Oriented Datalog System for Large Knowledge Graphs. ISWC (Posters & Demos) 2016 - [e10]Paul Groth, Elena Simperl, Alasdair J. G. Gray, Marta Sabou, Markus Krötzsch, Freddy Lécué, Fabian Flöck, Yolanda Gil:
The Semantic Web - ISWC 2016 - 15th International Semantic Web Conference, Kobe, Japan, October 17-21, 2016, Proceedings, Part I. Lecture Notes in Computer Science 9981, 2016, ISBN 978-3-319-46522-7 [contents] - [e9]Paul Groth, Elena Simperl, Alasdair J. G. Gray, Marta Sabou, Markus Krötzsch, Freddy Lécué, Fabian Flöck, Yolanda Gil:
The Semantic Web - ISWC 2016 - 15th International Semantic Web Conference, Kobe, Japan, October 17-21, 2016, Proceedings, Part II. Lecture Notes in Computer Science 9982, 2016, ISBN 978-3-319-46546-3 [contents] - [i8]Markus Krötzsch, Tomás Masopust, Michaël Thomazo:
Complexity of Universality and Related Problems for Partially Ordered NFAs. CoRR abs/1609.03460 (2016) - 2015
- [j15]Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt:
A closer look at the semantic relationship between Datalog and description logics. Semantic Web 6(1): 63-79 (2015) - [c60]Stefan Bischof, Markus Krötzsch, Axel Polleres, Sebastian Rudolph:
Schema-Agnostic Query Rewriting for OWL QL. Description Logics 2015 - [c59]Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph:
Reasonable Highly Expressive Query Languages - IJCAI-15 Distinguished Paper (Honorary Mention). IJCAI 2015: 2826-2832 - [c58]Daniel Hernández, Aidan Hogan, Markus Krötzsch:
Reifying RDF: What Works Well With Wikidata? SSWS@ISWC 2015: 32-47 - [e8]Steffen Hölldobler, Markus Krötzsch, Rafael Peñaloza, Sebastian Rudolph:
KI 2015: Advances in Artificial Intelligence - 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings. Lecture Notes in Computer Science 9324, Springer 2015, ISBN 978-3-319-24488-4 [contents] - [e7]Kostis Kyzirakos, Cory A. Henson, Matthew Perry, Dalia Varanka, Rolf Grütter, Jean-Paul Calbimonte, Irene Celino, Emanuele Della Valle, Daniele Dell'Aglio, Markus Krötzsch, Stefan Schlobach:
Joint Proceedings of the 1st Joint International Workshop on Semantic Sensor Networks and Terra Cognita (SSN-TC 2015) and the 4th International Workshop on Ordering and Reasoning (OrdRing 2015) co-located with the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, Pennsylvania, United States, October 11th - and - 12th, 2015. CEUR Workshop Proceedings 1488, CEUR-WS.org 2015 [contents] - [i7]Jacopo Urbani, Ceriel J. H. Jacobs, Markus Krötzsch:
Column-Oriented Datalog Materialization for Large Knowledge Graphs (Extended Technical Report). CoRR abs/1511.08915 (2015) - 2014
- [j14]Despoina Magka, Markus Krötzsch, Ian Horrocks:
A rule-based ontological framework for the classification of molecules. J. Biomed. Semant. 5: 17 (2014) - [j13]Denny Vrandecic, Markus Krötzsch:
Wikidata: a free collaborative knowledgebase. Commun. ACM 57(10): 78-85 (2014) - [j12]Markus Krötzsch, Frantisek Simancik, Ian Horrocks:
Description Logics. IEEE Intell. Syst. 29(1): 12-19 (2014) - [j11]Giorgio Stefanoni, Boris Motik, Markus Krötzsch, Sebastian Rudolph:
The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases. J. Artif. Intell. Res. 51: 645-705 (2014) - [j10]Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik:
The Incredible ELK - From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies. J. Autom. Reason. 53(1): 1-61 (2014) - [c57]Markus Krötzsch, Sebastian Rudolph:
Complexities of Nominal Schemas. Description Logics 2014: 270-273 - [c56]Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph:
How to Best Nest Regular Path Queries. Description Logics 2014: 404-415 - [c55]Markus Krötzsch, Sebastian Rudolph:
Nominal Schemas in Description Logics: Complexities Clarified. KR 2014 - [c54]Markus Krötzsch:
P ≠ P - Why Some Reasoning Problems Are More Tractable Than Others. RR 2014: 1-22 - [c53]Fredo Erxleben, Michael Günther, Markus Krötzsch, Julian Mendez, Denny Vrandecic:
Introducing Wikidata to the Linked Data Web. ISWC (1) 2014: 50-65 - [c52]Stefan Bischof, Markus Krötzsch, Axel Polleres, Sebastian Rudolph:
Schema-Agnostic Query Rewriting in SPARQL 1.1. ISWC (1) 2014: 584-600 - [e6]Irene Celino, Óscar Corcho, Daniele Dell'Aglio, Emanuele Della Valle, Markus Krötzsch, Stefan Schlobach:
Proceedings of the 3rd International Workshop on Ordering and Reasoning Co-located with the 13th International Semantic Web Conference (ISWC 2014), Riva del Garda, Italy, October 20th, 2014. CEUR Workshop Proceedings 1303, CEUR-WS.org 2014 [contents] - [i6]Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang:
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. CoRR abs/1406.4110 (2014) - [i5]Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph:
Query Containment for Highly Expressive Datalog Fragments. CoRR abs/1406.7801 (2014) - 2013
- [j9]Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang:
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. J. Artif. Intell. Res. 47: 741-808 (2013) - [j8]Emanuele Della Valle, Stefan Schlobach, Markus Krötzsch, Alessandro Bozzon, Stefano Ceri, Ian Horrocks:
Order matters! Harnessing a world of orderings for reasoning over massive data. Semantic Web 4(2): 219-231 (2013) - [j7]Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler:
Complexities of Horn Description Logics. ACM Trans. Comput. Log. 14(1): 2:1-2:36 (2013) - [c51]Despoina Magka, Markus Krötzsch, Ian Horrocks:
Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling. Description Logics 2013: 390-402 - [c50]Despoina Magka, Markus Krötzsch, Ian Horrocks:
Computing Stable Models for Nonmonotonic Existential Rules. IJCAI 2013: 1031-1038 - [c49]Markus Krötzsch, Despoina Magka, Ian Horrocks:
Concrete Results on Abstract Rules. LPNMR 2013: 414-426 - [c48]Sebastian Rudolph, Markus Krötzsch:
Flag & check: data access with monadically defined queries. PODS 2013: 151-162 - [e5]Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch:
Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013. CEUR Workshop Proceedings 1014, CEUR-WS.org 2013 [contents] - [e4]Irene Celino, Emanuele Della Valle, Markus Krötzsch, Stefan Schlobach:
Proceedings of the 2nd International Workshop on Ordering and Reasoning, OrdRing 2013, Co-located with the 12th International Semantic Web Conference (ISWC 2013), Sydney, Australia, October 22nd, 2013. CEUR Workshop Proceedings 1059, CEUR-WS.org 2013 [contents] - 2012
- [j6]Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler:
Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog. Log. Methods Comput. Sci. 8(1) (2012) - [c47]Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang:
Acyclicity Conditions and their Application to Query Answering in Description Logics. KR 2012 - [c46]Yevgeny Kazakov, Markus Kroetzsch, Frantisek Simancik:
Practical Reasoning with Nominals in the EL Family of Description Logics. KR 2012 - [c45]Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik:
ELK Reasoner: Architecture and Evaluation. ORE 2012 - [c44]Markus Krötzsch:
OWL 2 Profiles: An Introduction to Lightweight Ontology Languages. Reasoning Web 2012: 112-183 - [c43]Markus Krötzsch:
The Not-So-Easy Task of Computing Class Subsumptions in OWL RL. ISWC (1) 2012: 279-294 - [c42]Birte Glimm, Aidan Hogan, Markus Krötzsch, Axel Polleres:
OWL: Yet to arrive on the Web of Data? LDOW 2012 - [e3]Michael Benedikt, Markus Krötzsch, Maurizio Lenzerini:
Proceedings of the 31st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2012, Scottsdale, AZ, USA, May 20-24, 2012. ACM 2012, ISBN 978-1-4503-1248-6 [contents] - [e2]Markus Krötzsch, Umberto Straccia:
Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings. Lecture Notes in Computer Science 7497, Springer 2012, ISBN 978-3-642-33202-9 [contents] - [i4]Markus Krötzsch, Frantisek Simancik, Ian Horrocks:
A Description Logic Primer. CoRR abs/1201.4089 (2012) - [i3]Birte Glimm, Aidan Hogan, Markus Krötzsch, Axel Polleres:
OWL: Yet to arrive on the Web of Data? CoRR abs/1202.0984 (2012) - 2011
- [j5]Denny Vrandecic, Varun Ratnakar, Markus Krötzsch, Yolanda Gil:
Shortipedia aggregating and curating Semantic Web data. J. Web Semant. 9(3): 334-338 (2011) - [c41]Markus Krötzsch, Denny Vrandecic:
Semantic MediaWiki. Foundations for the Web of Information and Services 2011: 311-326 - [c40]Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik:
Unchain My EL Reasoner. Description Logics 2011 - [c39]Markus Krötzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler:
Nominal Schemas for Integrating Rules and Description Logics. Description Logics 2011 - [c38]Frantisek Simancik, Boris Motik, Markus Krötzsch:
Fixed Parameter Tractable Reasoning in DLs via Decomposition. Description Logics 2011 - [c37]Markus Krötzsch, Sebastian Rudolph:
Extending Decidable Existential Rules by Joining Acyclicity and Guardedness. IJCAI 2011: 963-968 - [c36]Markus Krötzsch:
Efficient Rule-Based Inferencing for OWL EL. IJCAI 2011: 2668-2673 - [c35]Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik:
Concurrent Classification of EL Ontologies. ISWC (1) 2011: 305-320 - [c34]Markus Krötzsch, Sebastian Speiser:
ShareAlike Your Data: Self-referential Usage Policies for the Semantic Web. ISWC (1) 2011: 354-369 - [c33]Markus Krötzsch, Frederick Maier, Adila Krisnadhi, Pascal Hitzler:
A better uncle for OWL: nominal schemas for integrating rules and ontologies. WWW 2011: 645-654 - 2010
- [b3]Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph:
Foundations of Semantic Web Technologies. Chapman and Hall/CRC Press 2010, ISBN 9781420090505 - [b2]Markus Krötzsch:
Description logic rules. Karlsruhe Institute of Technology, 2010, ISBN 978-3-89838-643-2, pp. 1-263 - [b1]Markus Krötzsch:
Description Logic Rules. Studies on the Semantic Web 8, IOS Press 2010, ISBN 978-1-60750-654-6, pp. 1-263 - [c32]Markus Krötzsch, Anees Mehdi, Sebastian Rudolph:
Orel: Database-Driven Reasoning for OWL 2 Profiles. Description Logics 2010 - [c31]Markus Krötzsch:
Efficient Inferencing for OWL EL. JELIA 2010: 234-246 - [c30]Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt:
On the Semantic Relationship between Datalog and Description Logics. RR 2010: 88-102 - [c29]Birte Glimm, Markus Krötzsch:
SPARQL beyond Subgraph Matching. ISWC (1) 2010: 241-256
2000 – 2009
- 2009
- [c28]Markus Krötzsch, Sebastian Rudolph:
A Matter of Principles: Towards the Largest DLP Possible. Description Logics 2009 - [p3]Denny Vrandecic, Markus Krötzsch:
Semantic MediaWiki. Semantic Knowledge Management 2009: 171-179 - [p2]Anupriya Ankolekar, Markus Krötzsch, Thanh Tran, Denny Vrandecic:
Die zwei Kulturen. Social Semantic Web 2009: 99-123 - [p1]Markus Krötzsch, Denny Vrandecic:
Semantic Wikipedia. Social Semantic Web 2009: 393-421 - 2008
- [j4]Anupriya Ankolekar, Markus Krötzsch, Thanh Tran, Denny Vrandecic:
The two cultures: Mashing up Web 2.0 and the Semantic Web. J. Web Semant. 6(1): 70-75 (2008) - [c27]Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler:
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams. AAAI 2008: 529-534 - [c26]Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler:
All Elephants are Bigger than All Mice. Description Logics 2008 - [c25]Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler:
Description Logic Rules. ECAI 2008: 80-84 - [c24]Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler:
Cheap Boolean Role Constructors for Description Logics. JELIA 2008: 362-374 - [c23]Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler:
Approximate OWL-Reasoning with Screech. RR 2008: 165-180 - [c22]Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler:
Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog. ISWC 2008: 435-450 - [c21]Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler:
ELP: Tractable Rules for OWL 2. ISWC 2008: 649-664 - [c20]Peter Dolog, Markus Krötzsch, Sebastian Schaffert, Denny Vrandecic:
Social Web and Knowledge Management. Weaving Services and People on the World Wide Web 2008: 217-227 - [c19]Peter Dolog, Markus Krötzsch, Sebastian Schaffert, Denny Vrandecic:
Workshop on social web and knowledge management (SWKM2008). WWW 2008: 1279-1280 - [e1]Peter Dolog, Markus Krötzsch, Sebastian Schaffert, Denny Vrandecic:
Proceedings of the WWW 2008 Workshop on Social Web and Knowledge Management, Beijing, China, April 22, 2008. CEUR Workshop Proceedings 356, CEUR-WS.org 2008 [contents] - [i2]Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, Tuvshintur Tserendorj:
Approximate OWL Instance Retrieval with SCREECH. Logic and Probability for Scene Interpretation 2008 - 2007
- [j3]Markus Krötzsch, Denny Vrandecic, Max Völkel, Heiko Haller, Rudi Studer:
Semantic Wikipedia. J. Web Semant. 5(4): 251-261 (2007) - [c18]Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler:
Complexity Boundaries for Horn Description Logics. AAAI 2007: 452-457 - [c17]Markus Krötzsch, Sebastian Rudolph:
Conjunctive Queries for EL with Composition of Roles. Description Logics 2007 - [c16]Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler:
Quo Vadis, CS? - On the (non)-Impact of Conceptual Structures on the Semantic Web. ICCS 2007: 464-467 - [c15]Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Michael Sintek, Denny Vrandecic:
Efficient OWL Reasoning with Logic Programs - Evaluations. RR 2007: 370-373 - [c14]Markus Krötzsch, Sebastian Schaffert, Denny Vrandecic:
Reasoning in Semantic Wikis. Reasoning Web 2007: 310-329 - [c13]Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler:
Conjunctive Queries for a Tractable Fragment of OWL 1.1. ISWC/ASWC 2007: 310-323 - [c12]Anupriya Ankolekar, Markus Krötzsch, Thanh Tran, Denny Vrandecic:
The two cultures: mashing up web 2.0 and the semantic web. WWW 2007: 825-834 - 2006
- [j2]Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang:
A Categorical View on Algebraic Lattices in Formal Concept Analysis. Fundam. Informaticae 74(2-3): 301-328 (2006) - [j1]Markus Krötzsch:
Generalized ultrametric spaces in quantitative domain theory. Theor. Comput. Sci. 368(1-2): 30-49 (2006) - [c11]Antoine Zimmermann, Markus Krötzsch, Jérôme Euzenat, Pascal Hitzler:
Formalizing Ontology Alignment and its Operations with Category Theory. FOIS 2006: 277-288 - [c10]Pascal Hitzler, Markus Krötzsch:
Querying Formal Contexts with Answer Set Programs. ICCS 2006: 260-273 - [c9]Markus Krötzsch, Grit Malik:
The Tensor Product as a Lattice of Regular Galois Connections. ICFCA 2006: 89-104 - [c8]Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler:
On the Complexity of Horn Description Logics. OWLED 2006 - [c7]Markus Krötzsch, Pascal Hitzler, Denny Vrandecic, Michael Sintek:
How to reason with OWL in a logic programming system. RuleML 2006: 17-28 - [c6]Markus Krötzsch, Denny Vrandecic, Max Völkel:
Semantic MediaWiki. ISWC 2006: 935-942 - [c5]Denny Vrandecic, Markus Krötzsch:
Reusing Ontological Background Knowledge in Semantic Wikis. SemWiki 2006 - [c4]Heiko Haller, Markus Krötzsch, Max Völkel, Denny Vrandecic:
Semantic Wikipedia. Int. Sym. Wikis 2006: 137-138 - [c3]Max Völkel, Markus Krötzsch, Denny Vrandecic, Heiko Haller, Rudi Studer:
Semantic Wikipedia. WWW 2006: 585-594 - 2005
- [c2]Markus Krötzsch, Pascal Hitzler, Guo-Qiang Zhang:
Morphisms in Context. ICCS 2005: 223-237 - [c1]Pascal Hitzler, Peter Haase, Markus Krötzsch, York Sure, Rudi Studer:
DLP Is Not So Bad After All. OWLED 2005 - 2004
- [i1]Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang:
A Categorical View on Algebraic Lattices in Formal Concept Analysis. CoRR cs.OH/0410065 (2004)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 21:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
