Name Venue Year Citations
Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All. IJCAI 2015 17
The OWL Reasoner Evaluation (ORE) 2015 Resources. ISWC 2016 0
The Energy Management Adviser at EDF. ISWC 2013 12
Cost Based Query Ordering over OWL Ontologies. ISWC 2012 8
Absorption-Based Query Answering for Expressive Description Logics. ISWC 2019 1
Optimising Ontology Classification. ISWC 2010 30
Status QIO: Conjunctive Query Entailment Is Decidable. KR 2010 10
Optimizing SPARQL Query Answering over OWL Ontologies. JAIR 2013 40
Nominal Schema Absorption. IJCAI 2013 12
Hitting the Sweetspot: Economic Rewriting of Knowledge Bases. ISWC 2012 8
SPARQL beyond Subgraph Matching. ISWC 2010 28
SPARQL Query Answering over OWL Ontologies. ESWC 2011 74
Embracing Change by Abstraction Materialization Maintenance for Large ABoxes. IJCAI 2018 0
Role Conjunctions in Expressive Description Logics. LPAR 2008 11
Exploring Parallel Tractability of Ontology Materialization. ECAI 2016 1
Reasoning-Supported Interactive Revision of Knowledge Bases. IJCAI 2011 16
Abstraction Refinement for Ontology Materialization. ISWC 2014 18
Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures. JAIR 2015 2
Conjunctive Query Answering for the Description Logic SHIQ. IJCAI 2007 192
Unions of Conjunctive Queries in SHOQ. KR 2008 29
Wheat and Chaff - Practically Feasible Interactive Ontology Revision. ISWC 2011 4
Lower and Upper Bounds for SPARQL Queries over OWL Ontologies. AAAI 2015 3
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend! JAIR 2010 43
Instructing Novice Users on How to Use Tools in DIY Projects. IJCAI 2018 8
Integrated Metamodeling and Diagnosis in OWL 2. ISWC 2010 46
Ontology Materialization by Abstraction Refinement in Horn SHOIF. AAAI 2017 0
Conjunctive Query Answering for the Description Logic SHIQ. JAIR 2008 0
Copyright ©2019 Universit├Ąt W├╝rzburg
Website created in context of the REGIO Project
Impressum | Privacy | FAQ