Name Venue Year citations
A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic EL. Artificial Intelligence 2022 0
Separating Data Examples by Description Logic Concepts with Restricted Signatures. KR 2021 0
Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies. IJCAI 2021 0
How to Approximate Ontology-Mediated Queries. KR 2021 1
On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions. KR 2020 3
Conservative Extensions in Horn Description Logics with Inverse Roles. JAIR 2020 4
Least General Generalizations in Description Logic: Verification and Existence. AAAI 2020 9
Logical Separability of Incomplete Data under Ontologies. KR 2020 8
A Journey into Ontology Approximation: From Non-Horn to Horn. IJCAI 2020 0
Ontology Approximation in Horn Description Logics. IJCAI 2019 5
Query inseparability for ALC ontologies. Artificial Intelligence 2019 10
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?. IJCAI 2019 0
Query Expressibility and Verification in Ontology-Based Data Access. KR 2018 10
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying. IJCAI 2018 3
Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying. IJCAI 2018 5
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries. IJCAI 2018 11
Query Conservative Extensions in Horn Description Logics with Inverse Roles. IJCAI 2017 8
Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability. IJCAI 2017 24
Computing FO-Rewritings in ISWC 2017 0
Probabilistic Description Logics for Subjective Uncertainty. JAIR 2017 0
Exact Learning of Lightweight Description Logic Ontologies. JMLR 2017 0
Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. KR 2016 15
Query and Predicate Emptiness in Ontology-Based Data Access. JAIR 2016 29
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. IJCAI 2016 51
Conservative Rewritability of Description Logic TBoxes. IJCAI 2016 11
Query-Based Entailment and Inseparability for ALC Ontologies. IJCAI 2016 13
Ontology-Mediated Queries with Closed Predicates. IJCAI 2015 42
Efficient Query Rewriting in the Description Logic EL and Beyond. IJCAI 2015 33
Schema.org as a Description Logic. IJCAI 2015 15
Exact Learning of Lightweight Description Logic Ontologies. KR 2014 30
Finite Model Reasoning in Horn Description Logics. KR 2014 24
First-Order Rewritability of Atomic Queries in Horn Description Logics. IJCAI 2013 49
Model-theoretic inseparability and modularity of description logic ontologies. Artificial Intelligence 2013 78
Ontology-Based Data Access with Closed Predicates is Inherently Intractable(Sometimes). IJCAI 2013 55
The Combined Approach to OBDA: Taming Role Hierarchies Using Filters. ISWC 2013 0
Query Containment in Description Logics Reconsidered. KR 2012 34
Complexity of Branching Temporal Description Logics. ECAI 2012 20
An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL. KR 2012 65
Ontology-Based Access to Probabilistic Data with OWL QL. ISWC 2012 52
Non-Uniform Data Complexity of Query Answering in Description Logics. KR 2012 0
The Combined Approach to Ontology-Based Data Access. IJCAI 2011 157
Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability. IJCAI 2011 65
A Closer Look at the Probabilistic Description Logic Prob-EL. AAAI 2011 22
Foundations of instance level updates in expressive description logics. Artificial Intelligence 2011 39
Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics. IJCAI 2011 133
Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints. ECAI 2010 2
Probabilistic Description Logics for Subjective Uncertainty. KR 2010 123
Query and Predicate Emptiness in Description Logics. KR 2010 22
The Combined Approach to Query Answering in DL-Lite. KR 2010 192
Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. KR 2010 0
Decomposing Description Logic Ontologies. KR 2010 43
The Complexity of Circumscription in DLs. JAIR 2009 126
Query Answering in Description Logics with Transitive Roles. IJCAI 2009 65
Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. IJCAI 2009 237
Semantic Modularity and Module Extraction in Description Logics. ECAI 2008 100
Complexity of Subsumption in the [Escr ][Lscr ] Family of Description Logics: Acyclic and Cyclic TBoxes. ECAI 2008 34
LTL over Description Logic Axioms. KR 2008 0
Conjunctive Query Answering for the Description Logic SHIQ. JAIR 2008 0
Conjunctive Query Answering for the Description Logic SHIQ. IJCAI 2007 301
Conservative Extensions in the Lightweight Description Logic EL. CADE 2007 68
Conservative Extensions in Expressive Description Logics. IJCAI 2007 209
A Description Logic of Change. IJCAI 2007 0
Data Complexity in the LPAR 2007 0
Complexity and succinctness of public announcement logic. AAMAS 2006 144
Updating Description Logic ABoxes. KR 2006 139
Reasoning About Actions Using Description Logics with General TBoxes. JELIA 2006 43
Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. KR 2006 236
Description Logics with Circumscription. KR 2006 96
A Tableau Algorithm for Description Logics with Concrete Domains and GCIs. TABLEAUX 2005 20
Integrating Description Logics and Action Formalisms: First Results. AAAI 2005 202
Pushing the EL Envelope. IJCAI 2005 1216
Keys, Nominals, and Concrete Domains. JAIR 2005 0
Description Logics with Concrete Domains and Functional Dependencies. ECAI 2004 10
Combining interval-based temporal reasoning with general TBoxes. Artificial Intelligence 2004 35
E-connections of abstract description systems. Artificial Intelligence 2004 267
From Tableaux to Automata for Description Logics. LPAR 2003 57
The Complexity of Finite Model Reasoning in Description Logics. CADE 2003 39
A Tableau Algorithm for Reasoning about Concepts and Similarity. TABLEAUX 2003 24
Keys, Nominals, and Concrete Domains. IJCAI 2003 110
Fusions of Description Logics and Abstract Description Systems. JAIR 2002 96
Adding Numbers to the SHIQ Description Logic: First Results. KR 2002 41
Interval-based Temporal Reasoning with General TBoxes. IJCAI 2001 51
Reasoning with Concrete Domains. IJCAI 1999 45
Complexity of Terminological Reasoning Revisited. LPAR 1999 89
Foundations of Spatioterminological Reasoning with Description Logics. KR 1998 96
Copyright ©2019 Universit├Ąt W├╝rzburg

Impressum | Privacy | FAQ