Name Venue Year citations
Ontology-Based Map Data Quality Assurance. ESWC 2021 0
HDT Bitmap Triple Indices for Efficient RDF Data Exploration. ESWC 2021 0
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 9
Absorption-Based Query Answering for Expressive Description Logics. ISWC 2019 2
Instructing Novice Users on How to Use Tools in DIY Projects. IJCAI 2018 11
Embracing Change by Abstraction Materialization Maintenance for Large ABoxes. IJCAI 2018 1
Ontology Materialization by Abstraction Refinement in Horn SHOIF. AAAI 2017 0
Exploring Parallel Tractability of Ontology Materialization. ECAI 2016 4
The OWL Reasoner Evaluation (ORE) 2015 Resources. ISWC 2016 3
Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All. IJCAI 2015 20
Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures. JAIR 2015 3
Lower and Upper Bounds for SPARQL Queries over OWL Ontologies. AAAI 2015 7
Abstraction Refinement for Ontology Materialization. ISWC 2014 25
Nominal Schema Absorption. IJCAI 2013 14
Optimizing SPARQL Query Answering over OWL Ontologies. JAIR 2013 55
The Energy Management Adviser at EDF. ISWC 2013 17
Hitting the Sweetspot: Economic Rewriting of Knowledge Bases. ISWC 2012 11
Cost Based Query Ordering over OWL Ontologies. ISWC 2012 10
Wheat and Chaff - Practically Feasible Interactive Ontology Revision. ISWC 2011 5
Reasoning-Supported Interactive Revision of Knowledge Bases. IJCAI 2011 21
SPARQL Query Answering over OWL Ontologies. ESWC 2011 115
Integrated Metamodeling and Diagnosis in OWL 2. ISWC 2010 63
Optimising Ontology Classification. ISWC 2010 43
Status QIO: Conjunctive Query Entailment Is Decidable. KR 2010 12
SPARQL beyond Subgraph Matching. ISWC 2010 38
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend! JAIR 2010 56
Unions of Conjunctive Queries in SHOQ. KR 2008 41
Role Conjunctions in Expressive Description Logics. LPAR 2008 11
Conjunctive Query Answering for the Description Logic SHIQ. JAIR 2008 0
Conjunctive Query Answering for the Description Logic SHIQ. IJCAI 2007 301
Copyright ©2019 Universit├Ąt W├╝rzburg

Impressum | Privacy | FAQ