Name Venue Year Citations
Computing Least Common Subsumers in Description Logics with Existential Restrictions. IJCAI 1999 128
A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms. ISWC 2009 31
Description Logics with Concrete Domains and Aggregation. ECAI 1998 30
Extending Unification in EL Towards General TBoxes. KR 2012 23
Matching under Side Conditions in Description Logics. IJCAI 2001 15
Tutorial on Reasoning and Representation with Concept Languages. CADE 1990 0
Query Rewriting for DL-Lite with n-ary Concrete Domains. IJCAI 2017 6
Making Repairs in Description Logics More Gentle. KR 2018 4
A Scheme for Integrating Concrete Domains into Concept Languages. IJCAI 1991 329
Completing Description Logic Knowledge Bases Using Formal Concept Analysis. IJCAI 2007 142
Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles. IJCAI 2003 80
Pushing the EL Envelope. IJCAI 2005 881
A Novel Architecture for Situation Awareness Systems. TABLEAUX 2009 32
Unification in a Description Logic with Transitive Closure of Roles. LPAR 2001 37
Terminological Cycles in KL-ONE-based Knowledge Representation Languages. AAAI 1990 59
Terminological Logics with Modal Operators. IJCAI 1995 41
From Tableaux to Automata for Description Logics. LPAR 2003 40
Query and Predicate Emptiness in Description Logics. KR 2010 17
Fusions of Description Logics and Abstract Description Systems. JAIR 2002 65
Axiom Pinpointing in General Tableaux. TABLEAUX 2007 100
How to Prefer More Specific Defaults in Terminological Default Logic. IJCAI 1993 63
Temporalizing Ontology-Based Data Access. CADE 2013 47
Matching Concept Descriptions with Existential Restrictions. KR 2000 5
Extending the Description Logic with Acyclic TBoxes. ECAI 2016 1
Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. KR 1996 28
Rewriting Concepts Using Terminologies. KR 2000 60
Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints. LPAR 2012 7
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. CADE 1992 124
Computing the Least Common Subsumer w.r.t. a Background Terminology. JELIA 2004 71
On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers. CP 1995 30
A Formal Definition for the Expressive Power of Knowledge Representation Languages. ECAI 1990 23
Tableau Algorithms for Description Logics. TABLEAUX 2000 63
Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles. IJCAI 1991 148
Connecting Many-Sorted Theories. CADE 2005 31
Ontology-Based Monitoring of Dynamic Systems. KR 2014 6
A New Approach for Combining Decision Procedure for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method. CADE 1997 25
Terminological Cycles in a Description Logic with Existential Restrictions. IJCAI 2003 174
Rewrite Systems for Varieties of Semigroups. CADE 1990 5
LTL over Description Logic Axioms. KR 2008 89
Integrating Description Logics and Action Formalisms: First Results. AAAI 2005 132
Verifying Properties of Infinite Sequences of Description Logic Actions. ECAI 2010 17
Query and Predicate Emptiness in Ontology-Based Data Access. JAIR 2016 16
Cardinality Restrictions on Concepts. Artificial Intelligence 1996 76
Engineering of Logics for the Content-Based Representation of Information. JELIA 2004 0
Description Logics with Symbolic Number Restrictions. ECAI 1996 16
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On. KR 1992 167
Qualifying Number Restrictions in Concept Languages. KR 1991 135
Unification of Concept Terms in Description Logics. ECAI 1998 0
Privacy-Preserving Ontology Publishing for JELIA 2019 0
Counting Strategies for the Probabilistic Description Logic JELIA 2019 0
Approximate Unification in the Description Logic JELIA 2016 0
Matching in the Description Logic FL0 with respect to General TBoxes. LPAR 2018 0
Invited Talks. KR 2014 0
Embedding Defaults into Terminological Knowledge Representation Formalisms. KR 1992 0
Unification in the Description Logic CADE 2011 0
Copyright ©2019 Universit├Ąt W├╝rzburg
Website created in context of the REGIO Project
Impressum | Privacy | FAQ