Ralf Möller (moeller-r)

Contributions to Philosophie.ch

Bibliography

Haarslev, Volker, Lutz, Carsten and Möller, Ralf. 1998. “Foundations of Spatiotemporal Reasoning with Description Logics.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 112–123. San Francisco, California: Morgan Kaufmann Publishers.
Haarslev, Volker and Möller, Ralf. 2000. “Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 273–284. San Francisco, California: Morgan Kaufmann Publishers.