Ralf Molitor

Publication Activity (10 Years)

Years Active: 1998-2005
Publications (10 Years): 0

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Ralf Küsters, Ralf Molitor
Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions. Stud Logica 81 (2) (2005)
Ralf Küsters, Ralf Molitor
Approximating most specific concepts in description logics with existential restrictions. AI Commun. 15 (1) (2002)
Ralf Küsters, Ralf Molitor
Approximating Most Specific Concepts in Description Logics with Existential Restrictions. KI/ÖGAI (2001)
Anni-Yasmin Turhan, Ralf Molitor
Using Lazy Unfolding for the Computation of Least Common Subsumers. Description Logics (2001)
Ralf Küsters, Ralf Molitor
Computing Least Common Subsumers in ALEN. IJCAI (2001)
Ralf Molitor
Unterstützung der Modellierung verfahrenstechnischer Prozesse durch Nicht-Standardinferenzen in Beschreibungslogiken. Ausgezeichnete Informatikdissertationen (2000)
Franz Baader, Ralf Küsters, Ralf Molitor
Rewriting Concepts Using Terminologies. KR (2000)
Franz Baader, Ralf Molitor
Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis. ICCS (2000)
Franz Baader, Ralf Molitor, Stephan Tobies
Tractable and Decidable Fragments of Conceptual Graphs. ICCS (1999)
Franz Baader, Ralf Molitor
Rewriting in Description Logics Using Terminologies. Description Logics (1999)
Franz Baader, Ralf Küsters, Ralf Molitor
Computing Least Common Subsumers in Description Logics with Existential Restrictions. IJCAI (1999)
Franz Baader, Ralf Küsters, Ralf Molitor
Structural Subsumption Considered from an Automata-Theoretic Point of View. Description Logics (1998)
Christopher Tresp, Ralf Molitor
A Description Logic for Vague Knowledge. ECAI (1998)

Ralf Molitor.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Ralf Molitor