Name Venue Year citations
Calculating Optimal Corrections for Unsolvable Planning Problems. ECAI 2025 0
Delete/Rederive with Marking for Update Streams. ESWC 2025 1
A Comparative Study of Stream Reasoning Engines. ESWC 2023 2
Computing Concept Referring Expressions for Queries on Horn ALC Ontologies. IJCAI 2022 0
HDT Bitmap Triple Indices for Efficient RDF Data Exploration. ESWC 2021 0
Ontology-Based Map Data Quality Assurance. ESWC 2021 4
Parallelised ABox Reasoning and Query Answering with Expressive Description Logics. ESWC 2021 0
New Developments for Robert - Assisting Novice Users Even Better in DIY Projects. ICAPS 2020 16
Absorption-Based Query Answering for Expressive Description Logics. ISWC 2019 3
Instructing Novice Users on How to Use Tools in DIY Projects. IJCAI 2018 12
Embracing Change by Abstraction Materialization Maintenance for Large ABoxes. IJCAI 2018 1
Ontology Materialization by Abstraction Refinement in Horn SHOIF. AAAI 2017 21
Exploring Parallel Tractability of Ontology Materialization. ECAI 2016 5
The OWL Reasoner Evaluation (ORE) 2015 Resources. ISWC 2016 15
Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures. JAIR 2015 4
Lower and Upper Bounds for SPARQL Queries over OWL Ontologies. AAAI 2015 11
Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All. IJCAI 2015 24
Abstraction Refinement for Ontology Materialization. ISWC 2014 29
The Energy Management Adviser at EDF. ISWC 2013 18
Nominal Schema Absorption. IJCAI 2013 14
Optimizing SPARQL Query Answering over OWL Ontologies. JAIR 2013 59
Hitting the Sweetspot: Economic Rewriting of Knowledge Bases. ISWC 2012 13
Cost Based Query Ordering over OWL Ontologies. ISWC 2012 10
Wheat and Chaff - Practically Feasible Interactive Ontology Revision. ISWC 2011 6
SPARQL Query Answering over OWL Ontologies. ESWC 2011 128
Reasoning-Supported Interactive Revision of Knowledge Bases. IJCAI 2011 0
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend! JAIR 2010 58
Status QIO: Conjunctive Query Entailment Is Decidable. KR 2010 13
Optimising Ontology Classification. ISWC 2010 45
SPARQL beyond Subgraph Matching. ISWC 2010 40
Integrated Metamodeling and Diagnosis in OWL 2. ISWC 2010 65
Role Conjunctions in Expressive Description Logics. LPAR 2008 11
Unions of Conjunctive Queries in SHOQ. KR 2008 44
Conjunctive Query Answering for the Description Logic SHIQ. JAIR 2008 0
Conjunctive Query Answering for the Description Logic SHIQ. IJCAI 2007 308
Copyright ©2019 Universität Würzburg

Impressum | Privacy | FAQ