Name Venue Year Citations
The Complexity of Finite Model Reasoning in Description Logics. CADE 2003 12
Complexity of Subsumption in the [Escr ][Lscr ] Family of Description Logics: Acyclic and Cyclic TBoxes. ECAI 2008 23
First-Order Rewritability of Atomic Queries in Horn Description Logics. IJCAI 2013 36
Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. KR 2006 181
Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability. IJCAI 2011 47
Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability. IJCAI 2017 8
Finite Model Reasoning in Horn Description Logics. KR 2014 17
Model-theoretic inseparability and modularity of description logic ontologies. Artificial Intelligence 2013 47
Query Containment in Description Logics Reconsidered. KR 2012 28
Description Logics with Circumscription. KR 2006 64
Ontology Approximation in Horn Description Logics. IJCAI 2019 1
The Combined Approach to Ontology-Based Data Access. IJCAI 2011 119
Combining interval-based temporal reasoning with general TBoxes. Artificial Intelligence 2004 20
Query Answering in Description Logics with Transitive Roles. IJCAI 2009 44
Pushing the EL Envelope. IJCAI 2005 881
Interval-based Temporal Reasoning with General TBoxes. IJCAI 2001 32
Complexity of Terminological Reasoning Revisited. LPAR 1999 65
Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. KR 2010 0
A Tableau Algorithm for Reasoning about Concepts and Similarity. TABLEAUX 2003 20
Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. IJCAI 2009 178
Efficient Query Rewriting in the Description Logic EL and Beyond. IJCAI 2015 22
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying. IJCAI 2018 3
From Tableaux to Automata for Description Logics. LPAR 2003 40
Query and Predicate Emptiness in Description Logics. KR 2010 17
Schema.org as a Description Logic. IJCAI 2015 8
Updating Description Logic ABoxes. KR 2006 101
Foundations of instance level updates in expressive description logics. Artificial Intelligence 2011 25
Fusions of Description Logics and Abstract Description Systems. JAIR 2002 65
Foundations of Spatioterminological Reasoning with Description Logics. KR 1998 67
Semantic Modularity and Module Extraction in Description Logics. ECAI 2008 72
Description Logics with Concrete Domains and Functional Dependencies. ECAI 2004 4
Complexity of Branching Temporal Description Logics. ECAI 2012 17
Query Expressibility and Verification in Ontology-Based Data Access. KR 2018 3
A Closer Look at the Probabilistic Description Logic Prob-EL. AAAI 2011 19
Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics. IJCAI 2011 82
Query inseparability for ALC ontologies. Artificial Intelligence 2019 3
Ontology-Based Data Access with Closed Predicates is Inherently Intractable(Sometimes). IJCAI 2013 37
Query Conservative Extensions in Horn Description Logics with Inverse Roles. IJCAI 2017 6
Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints. ECAI 2010 2
A Tableau Algorithm for Description Logics with Concrete Domains and GCIs. TABLEAUX 2005 13
Query-Based Entailment and Inseparability for ALC Ontologies. IJCAI 2016 10
Conservative Rewritability of Description Logic TBoxes. IJCAI 2016 8
Keys, Nominals, and Concrete Domains. IJCAI 2003 74
Reasoning About Actions Using Description Logics with General TBoxes. JELIA 2006 27
Conservative Extensions in the Lightweight Description Logic EL. CADE 2007 61
The Complexity of Circumscription in DLs. JAIR 2009 95
Decomposing Description Logic Ontologies. KR 2010 27
Conservative Extensions in Expressive Description Logics. IJCAI 2007 166
Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. KR 2016 8
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries. IJCAI 2018 3
Exact Learning of Lightweight Description Logic Ontologies. KR 2014 22
Probabilistic Description Logics for Subjective Uncertainty. KR 2010 87
Conjunctive Query Answering for the Description Logic SHIQ. IJCAI 2007 192
LTL over Description Logic Axioms. KR 2008 89
Reasoning with Concrete Domains. IJCAI 1999 27
The Combined Approach to Query Answering in DL-Lite. KR 2010 137
Integrating Description Logics and Action Formalisms: First Results. AAAI 2005 132
E-connections of abstract description systems. Artificial Intelligence 2004 189
Query and Predicate Emptiness in Ontology-Based Data Access. JAIR 2016 16
An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL. KR 2012 42
Ontology-Mediated Queries with Closed Predicates. IJCAI 2015 28
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. IJCAI 2016 30
Ontology-Based Access to Probabilistic Data with OWL QL. ISWC 2012 40
Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying. IJCAI 2018 4
Adding Numbers to the SHIQ Description Logic: First Results. KR 2002 26
Complexity and succinctness of public announcement logic. AAMAS 2006 91
A Description Logic of Change. IJCAI 2007 0
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?. IJCAI 2019 0
Computing FO-Rewritings in ISWC 2017 0
The Combined Approach to OBDA: Taming Role Hierarchies Using Filters. ISWC 2013 0
Data Complexity in the LPAR 2007 0
Non-Uniform Data Complexity of Query Answering in Description Logics. KR 2012 0
Exact Learning of Lightweight Description Logic Ontologies. JMLR 2017 0
Keys, Nominals, and Concrete Domains. JAIR 2005 0
Probabilistic Description Logics for Subjective Uncertainty. JAIR 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