Markus Krötzsch
49 publications
9 venues
H Index 24
Affiliation
TU Dresden, GermanyLinks
DBLPGoogle Scholar
ORCID
Twitter- https://iccl.inf.tu-dresden.de/web/Markus_Kr%c3%b6tzsch/en
- http://korrekt.org/
- https://dl.acm.org/profile/81490668593
- https://dl.acm.org/profile/81314483537
- https://zbmath.org/authors/?q=ai:krotzsch.markus
- https://mathscinet.ams.org/mathscinet/MRAuthorID/800953
- https://mathgenealogy.org/id.php?id=150134
- https://github.com/mkroetzsch
- https://www.wikidata.org/entity/Q18618630
- https://www.researcherid.com/rid/F-8453-2011
- http://isni.org/isni/0000000120299140
- https://id.loc.gov/authorities/names/n2009037557
- https://d-nb.info/gnd/1026312019
- https://dblp.uni-trier.de/pers/hd/k/Kroetzsch:Markus
| Name | Venue | Year | citations |
|---|---|---|---|
Nemo: Your Friendly and Versatile Rule Reasoning Toolkit.
|
KR | 2024 | 20 |
| Nemo: First Glimpse of a New Rule Engine.
|
ICLP | 2023 | 9 |
| Simulating Sets in Answer Set Programming.
|
IJCAI | 2022 | 1 |
| Efficient Dependency Analysis for Rule-Based Ontologies.
|
ISWC | 2022 | 1 |
| Chasing Streams with Existential Rules.
|
KR | 2022 | 5 |
| Answering Queries with Negation over Existential Rules.
|
AAAI | 2022 | 0 |
| Expressivity of Planning with Horn Description Logic Ontologies.
|
AAAI | 2022 | 0 |
| Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract).
|
IJCAI | 2022 | 0 |
| Capturing Homomorphism-Closed Decidable Queries with Existential Rules.
|
KR | 2021 | 21 |
| Computing Cores for Existential Rules with the Standard Chase and ASP.
|
KR | 2020 | 7 |
| Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules.
|
IJCAI | 2020 | 0 |
| VLog: A Rule Engine for Knowledge Graphs.
|
ISWC | 2019 | 56 |
| Chasing Sets: How to Use Existential Rules for Expressive Reasoning.
|
IJCAI | 2019 | 0 |
| Getting the Most Out of Wikidata: Semantic Technology Usage in Wikipedia's Knowledge Graph.
|
ISWC | 2018 | 169 |
| Attributed Description Logics: Reasoning on Knowledge Graphs.
|
IJCAI | 2018 | 47 |
| The Combined Approach to Query Answering in Horn-ALCHOIQ.
|
KR | 2018 | 0 |
| Tractable Query Answering for Expressive Ontologies and Existential Rules.
|
ISWC | 2017 | 3 |
| Attributed Description Logics: Ontologies for Knowledge Graphs.
|
ISWC | 2017 | 23 |
| Logic on MARS: Ontologies for Generalised Property Graphs.
|
IJCAI | 2017 | 43 |
| Restricted Chase (Non)Termination for Existential Rules with Disjunctions.
|
IJCAI | 2017 | 44 |
| Ontologies for Knowledge Graphs: Breaking the Rules.
|
ISWC | 2016 | 28 |
| Column-Oriented Datalog Materialization for Large Knowledge Graphs.
|
AAAI | 2016 | 0 |
| Reasonable Highly Expressive Query Languages - IJCAI-15 Distinguished Paper (Honorary Mention).
|
IJCAI | 2015 | 19 |
| Schema-Agnostic Query Rewriting in SPARQL 1.1.
|
ISWC | 2014 | 35 |
| Introducing Wikidata to the Linked Data Web.
|
ISWC | 2014 | 380 |
| The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases.
|
JAIR | 2014 | 38 |
| Nominal Schemas in Description Logics: Complexities Clarified.
|
KR | 2014 | 17 |
| Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies.
|
JAIR | 2013 | 137 |
| Computing Stable Models for Nonmonotonic Existential Rules.
|
IJCAI | 2013 | 0 |
| Practical Reasoning with Nominals in the EL Family of Description Logics.
|
KR | 2012 | 51 |
| Acyclicity Conditions and their Application to Query Answering in Description Logics.
|
KR | 2012 | 29 |
| The Not-So-Easy Task of Computing Class Subsumptions in OWL RL.
|
ISWC | 2012 | 24 |
| Concurrent Classification of EL Ontologies.
|
ISWC | 2011 | 157 |
| Extending Decidable Existential Rules by Joining Acyclicity and Guardedness.
|
IJCAI | 2011 | 132 |
| ShareAlike Your Data: Self-referential Usage Policies for the Semantic Web.
|
ISWC | 2011 | 17 |
| A better uncle for OWL: nominal schemas for integrating rules and ontologies.
|
WWW | 2011 | 110 |
| Efficient Rule-Based Inferencing for OWL EL.
|
IJCAI | 2011 | 73 |
| Efficient Inferencing for OWL EL.
|
JELIA | 2010 | 67 |
| SPARQL beyond Subgraph Matching.
|
ISWC | 2010 | 40 |
| Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.
|
ISWC | 2008 | 19 |
| Workshop on social web and knowledge management (SWKM2008).
|
WWW | 2008 | 5 |
| Cheap Boolean Role Constructors for Description Logics.
|
JELIA | 2008 | 66 |
| ELP: Tractable Rules for OWL 2.
|
ISWC | 2008 | 134 |
| Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams.
|
AAAI | 2008 | 22 |
| Description Logic Rules.
|
ECAI | 2008 | 0 |
| Complexity Boundaries for Horn Description Logics.
|
AAAI | 2007 | 98 |
| The two cultures: mashing up web 2.0 and the semantic web.
|
WWW | 2007 | 156 |
| Semantic MediaWiki.
|
ISWC | 2006 | 409 |
| Semantic Wikipedia.
|
WWW | 2006 | 2 |