Name Venue Year citations
Nemo: First Glimpse of a New Rule Engine. ICLP 2023 0
Simulating Sets in Answer Set Programming. IJCAI 2022 0
Chasing Streams with Existential Rules. KR 2022 0
Efficient Dependency Analysis for Rule-Based Ontologies. ISWC 2022 0
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 3
Computing Cores for Existential Rules with the Standard Chase and ASP. KR 2020 5
Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules. IJCAI 2020 7
VLog: A Rule Engine for Knowledge Graphs. ISWC 2019 33
Chasing Sets: How to Use Existential Rules for Expressive Reasoning. IJCAI 2019 0
Attributed Description Logics: Reasoning on Knowledge Graphs. IJCAI 2018 29
Getting the Most Out of Wikidata: Semantic Technology Usage in Wikipedia's Knowledge Graph. ISWC 2018 111
The Combined Approach to Query Answering in Horn-ALCHOIQ. KR 2018 0
Logic on MARS: Ontologies for Generalised Property Graphs. IJCAI 2017 42
Attributed Description Logics: Ontologies for Knowledge Graphs. ISWC 2017 20
Tractable Query Answering for Expressive Ontologies and Existential Rules. ISWC 2017 3
Restricted Chase (Non)Termination for Existential Rules with Disjunctions. IJCAI 2017 22
Ontologies for Knowledge Graphs: Breaking the Rules. ISWC 2016 18
Column-Oriented Datalog Materialization for Large Knowledge Graphs. AAAI 2016 0
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 37
Introducing Wikidata to the Linked Data Web. ISWC 2014 278
Schema-Agnostic Query Rewriting in SPARQL 1.1. ISWC 2014 34
Nominal Schemas in Description Logics: Complexities Clarified. KR 2014 16
Computing Stable Models for Nonmonotonic Existential Rules. IJCAI 2013 38
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. JAIR 2013 118
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 34
Efficient Rule-Based Inferencing for OWL EL. IJCAI 2011 68
A better uncle for OWL: nominal schemas for integrating rules and ontologies. WWW 2011 106
ShareAlike Your Data: Self-referential Usage Policies for the Semantic Web. ISWC 2011 17
Extending Decidable Existential Rules by Joining Acyclicity and Guardedness. IJCAI 2011 135
Concurrent Classification of EL Ontologies. ISWC 2011 155
SPARQL beyond Subgraph Matching. ISWC 2010 40
Efficient Inferencing for OWL EL. JELIA 2010 64
Workshop on social web and knowledge management (SWKM2008). WWW 2008 5
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams. AAAI 2008 23
Cheap Boolean Role Constructors for Description Logics. JELIA 2008 61
ELP: Tractable Rules for OWL 2. ISWC 2008 131
Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog. ISWC 2008 18
Description Logic Rules. ECAI 2008 0
Complexity Boundaries for Horn Description Logics. AAAI 2007 101
The two cultures: mashing up web 2.0 and the semantic web. WWW 2007 308
Semantic Wikipedia. WWW 2006 715
Semantic MediaWiki. ISWC 2006 383
Copyright ©2019 Universität Würzburg

Impressum | Privacy | FAQ