| 2005 |
|---|
| 13 | EE | Ralf Küsters,
Ralf Molitor:
Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions.
Studia Logica 81(2): 227-259 (2005) |
| 2003 |
|---|
| 12 | | Ulrike Sattler,
Diego Calvanese,
Ralf Molitor:
Relationships with other Formalisms.
Description Logic Handbook 2003: 137-177 |
| 2002 |
|---|
| 11 | EE | Ralf Küsters,
Ralf Molitor:
Approximating most specific concepts in description logics with existential restrictions.
AI Commun. 15(1): 47-59 (2002) |
| 2001 |
|---|
| 10 | EE | Anni-Yasmin Turhan,
Ralf Molitor:
Using Lazy Unfolding for the Computation of Least Common Subsumers.
Description Logics 2001 |
| 9 | | Ralf Küsters,
Ralf Molitor:
Computing Least Common Subsumers in ALEN.
IJCAI 2001: 219-224 |
| 8 | EE | Ralf Küsters,
Ralf Molitor:
Approximating Most Specific Concepts in Description Logics with Existential Restrictions.
KI/ÖGAI 2001: 33-47 |
| 2000 |
|---|
| 7 | | Franz Baader,
Ralf Molitor:
Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis.
ICCS 2000: 292-305 |
| 6 | | Franz Baader,
Ralf Küsters,
Ralf Molitor:
Rewriting Concepts Using Terminologies.
KR 2000: 297-308 |
| 1999 |
|---|
| 5 | EE | Franz Baader,
Ralf Molitor:
Rewriting in Description Logics Using Terminologies.
Description Logics 1999 |
| 4 | | Franz Baader,
Ralf Molitor,
Stephan Tobies:
Tractable and Decidable Fragments of Conceptual Graphs.
ICCS 1999: 480-493 |
| 3 | | Franz Baader,
Ralf Küsters,
Ralf Molitor:
Computing Least Common Subsumers in Description Logics with Existential Restrictions.
IJCAI 1999: 96-103 |
| 1998 |
|---|
| 2 | EE | Franz Baader,
Ralf Küsters,
Ralf Molitor:
Structural Subsumption Considered from an Automata-Theoretic Point of View.
Description Logics 1998 |
| 1 | | Christopher Tresp,
Ralf Molitor:
A Description Logic for Vague Knowledge.
ECAI 1998: 361-365 |
