Ralf Küsters
10 publications
4 venues
H Index 8
Affiliation
University of Stuttgart, GermanyUniversity of Trier, Department of Computer Science, Germany
Links
| Name | Venue | Year | citations |
|---|---|---|---|
Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles.
|
LPAR | 2003 | 6 |
| Approximation and Difference in Description Logics.
|
KR | 2002 | 101 |
| Unification in a Description Logic with Transitive Closure of Roles.
|
LPAR | 2001 | 66 |
| Matching under Side Conditions in Description Logics.
|
IJCAI | 2001 | 23 |
| Computing Least Common Subsumers in ALEN.
|
IJCAI | 2001 | 47 |
| What's in an Attribute? Consequences for the Least Common Subsumer.
|
JAIR | 2001 | 0 |
| Matching Concept Descriptions with Existential Restrictions.
|
KR | 2000 | 8 |
| Rewriting Concepts Using Terminologies.
|
KR | 2000 | 83 |
| Computing Least Common Subsumers in Description Logics with Existential Restrictions.
|
IJCAI | 1999 | 241 |
| Characterizing the Semantics of Terminological Cycles in ALN Using Finite Automata.
|
KR | 1998 | 35 |