Name Venue Year citations
Capturing Homomorphism-Closed Decidable Queries with Existential Rules. KR 2021 0
Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules. IJCAI 2020 6
Computing Cores for Existential Rules with the Standard Chase and ASP. KR 2020 4
VLog: A Rule Engine for Knowledge Graphs. ISWC 2019 22
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 100
Attributed Description Logics: Reasoning on Knowledge Graphs. IJCAI 2018 26
The Combined Approach to Query Answering in Horn-ALCHOIQ. KR 2018 0
Restricted Chase (Non)Termination for Existential Rules with Disjunctions. IJCAI 2017 20
Attributed Description Logics: Ontologies for Knowledge Graphs. ISWC 2017 19
Tractable Query Answering for Expressive Ontologies and Existential Rules. ISWC 2017 3
Logic on MARS: Ontologies for Generalised Property Graphs. IJCAI 2017 38
Ontologies for Knowledge Graphs: Breaking the Rules. ISWC 2016 13
Column-Oriented Datalog Materialization for Large Knowledge Graphs. AAAI 2016 39
Reasonable Highly Expressive Query Languages - IJCAI-15 Distinguished Paper (Honorary Mention). IJCAI 2015 5
The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases. JAIR 2014 34
Introducing Wikidata to the Linked Data Web. ISWC 2014 235
Nominal Schemas in Description Logics: Complexities Clarified. KR 2014 15
Schema-Agnostic Query Rewriting in SPARQL 1.1. ISWC 2014 32
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. JAIR 2013 108
Computing Stable Models for Nonmonotonic Existential Rules. IJCAI 2013 35
The Not-So-Easy Task of Computing Class Subsumptions in OWL RL. ISWC 2012 24
Practical Reasoning with Nominals in the EL Family of Description Logics. KR 2012 44
Acyclicity Conditions and their Application to Query Answering in Description Logics. KR 2012 33
Efficient Rule-Based Inferencing for OWL EL. IJCAI 2011 66
A better uncle for OWL: nominal schemas for integrating rules and ontologies. WWW 2011 104
Extending Decidable Existential Rules by Joining Acyclicity and Guardedness. IJCAI 2011 131
Concurrent Classification of EL Ontologies. ISWC 2011 149
ShareAlike Your Data: Self-referential Usage Policies for the Semantic Web. ISWC 2011 17
Efficient Inferencing for OWL EL. JELIA 2010 60
SPARQL beyond Subgraph Matching. ISWC 2010 38
Workshop on social web and knowledge management (SWKM2008). WWW 2008 5
ELP: Tractable Rules for OWL 2. ISWC 2008 127
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams. AAAI 2008 23
Cheap Boolean Role Constructors for Description Logics. JELIA 2008 59
Description Logic Rules. ECAI 2008 137
Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog. ISWC 2008 18
The two cultures: mashing up web 2.0 and the semantic web. WWW 2007 154
Complexity Boundaries for Horn Description Logics. AAAI 2007 100
Semantic MediaWiki. ISWC 2006 157
Semantic Wikipedia. WWW 2006 2
Copyright ©2019 Universität Würzburg

Impressum | Privacy | FAQ