Structural Subsumption Considered from an Automata-Theoretic Point of View. - Franz Baader; Ralf Küsters; Ralf Molitor (Description Logics, 1998)

A Description Logic for Vague Knowledge. - Christopher Tresp; Ralf Molitor (ECAI, 1998)

Rewriting in Description Logics Using Terminologies. - Franz Baader; Ralf Molitor (Description Logics, 1999)

Tractable and Decidable Fragments of Conceptual Graphs. - Franz Baader; Ralf Molitor; Stephan Tobies (ICCS, 1999)

Computing Least Common Subsumers in Description Logics with Existential Restrictions. - Franz Baader; Ralf Küsters; Ralf Molitor (IJCAI, 1999)

Unterstützung der Modellierung verfahrenstechnischer Prozesse durch Nicht-Standardinferenzen in Beschreibungslogiken. - Ralf Molitor (2000)

Unterstützung der Modellierung verfahrenstechnischer Prozesse durch Nicht-Standardinferenzen in Beschreibungslogiken. - Ralf Molitor (Ausgezeichnete Informatikdissertationen, 2000)

Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis. - Franz Baader; Ralf Molitor (ICCS, 2000)

Rewriting Concepts Using Terminologies. - Franz Baader; Ralf Küsters; Ralf Molitor (KR, 2000)

Using Lazy Unfolding for the Computation of Least Common Subsumers. - Anni-Yasmin Turhan; Ralf Molitor (Description Logics, 2001)

Computing Least Common Subsumers in ALEN. - Ralf Küsters; Ralf Molitor (IJCAI, 2001)

Approximating most specific concepts in description logics with existential restrictions. - Ralf Küsters; Ralf Molitor (AI Commun., 2002)

Relationships with other Formalisms. - Ulrike Sattler; Diego Calvanese; Ralf Molitor (Description Logic Handbook, 2003)

Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions. - Ralf Küsters; Ralf Molitor (Stud Logica, 2005)