default search action
Markus 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". Version 1. Zenodo, 2022 [all versions] - [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". Version 2. Zenodo, 2022 [all versions] - [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