Ralf Molitor

According to our database, Ralf Molitor authored at least 14 papers between 1998 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions.

Ralf Küsters, Ralf Molitor

Stud Logica, 2005

2003

Relationships with other Formalisms.

Ulrike Sattler, Diego Calvanese, Ralf Molitor

Proceedings of the Description Logic Handbook: Theory, Implementation, and Applications, 2003

2002

Approximating most specific concepts in description logics with existential restrictions.

Ralf Küsters, Ralf Molitor

AI Commun., 2002

2001

Computing Least Common Subsumers in ALEN.

Ralf Küsters, Ralf Molitor

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Using Lazy Unfolding for the Computation of Least Common Subsumers.

Anni-Yasmin Turhan, Ralf Molitor

Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

2000

Rewriting Concepts Using Terminologies.

Franz Baader, Ralf Küsters, Ralf Molitor

Proceedings of the KR 2000, 2000

Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis.

Franz Baader, Ralf Molitor

Proceedings of the Conceptual Structures: Logical, 2000

Unterstützung der Modellierung verfahrenstechnischer Prozesse durch Nicht-Standardinferenzen in Beschreibungslogiken.

Ralf Molitor

Proceedings of the Ausgezeichnete Informatikdissertationen 2000, 2000

Unterstützung der Modellierung verfahrenstechnischer Prozesse durch Nicht-Standardinferenzen in Beschreibungslogiken.

Ralf Molitor

PhD thesis, 2000

1999

Computing Least Common Subsumers in Description Logics with Existential Restrictions.

Franz Baader, Ralf Küsters, Ralf Molitor

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Tractable and Decidable Fragments of Conceptual Graphs.

Franz Baader, Ralf Molitor, Stephan Tobies

Proceedings of the Conceptual Structures: Standards and Practices, 1999

Rewriting in Description Logics Using Terminologies.

Franz Baader, Ralf Molitor

Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

1998

A Description Logic for Vague Knowledge.

Christopher Tresp, Ralf Molitor

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

Structural Subsumption Considered from an Automata-Theoretic Point of View.

Franz Baader, Ralf Küsters, Ralf Molitor

Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998