user- Motik, Boris Reasoning in Description Logics using Resolution and Deductive Databases Universität Karlsruhe, Fak. f. Wirtschaftswissenschaften. Diss. v. ...Motik, Boris Reasoning in Description Logics using Resolution and Deductive Databases Universität Karlsruhe, Fak. f. Wirtschaftswissenschaften. Diss. v. 09.01.2006.
- KR, page 121-133. (1994)
- Machine Learning 17(2-3):169-199 (1994)
- Proceedings of the 2001 International Workshop on Description Logics DL-2001, CEUR Workshop Proceedings, (2001)
- Proc. of WWW-2003, Budapest, Hungary, (May 2003)
