Motik, Boris
Reasoning in Description Logics using Resolution and Deductive Databases
Universität Karlsruhe, Fak. f. Wirtschaftswissenschaften. Diss. v. 09.01.2006.
B. Baker, O. Gupta, R. Raskar, and N. Naik. (2017)cite arxiv:1705.10823Comment: Submitted to International Conference on Learning Representations, (2018).
A. Borgida, T. Walsh, and H. Hirsh. Proceedings of the 2005 International Workshop on Description Logics (DL2005), July 26-28, 2005, Edinburgh, Scotland, UK, volume 147 of CEUR Workshop Proceedings, CEUR-WS.org, (2005)
D. Calvanese, G. Giacomo, and M. Lenzerini. Computational Logic: Logic Programming and Beyond, volume 2408 of Lecture Notes in Computer Science, page 41--60. Springer Berlin / Heidelberg, (2002)