http://www.bibsonomy.org/rss/user/hotho/dlBibSonomy RSS Feed for /user/hotho/dlhttp://www.cs.man.ac.uk/~ezolin/logic/complexity.htmlhotho2007-02-09T09:43:34+01:00web dl rdf semantic logic complexity Motik, Boris Reasoning in Description Logics using Resolution and Deductive Databases Universität Karlsruhe, Fak. f. Wirtschaftswissenschaften. Diss. v. 09.01.2006.http://www.ubka.uni-karlsruhe.de/cgi-bin/psview?document=2006/wiwi/1hotho2007-01-26T13:21:21+01:00dl deductive database Karlsruhe diss to:bibtex Motik, Boris Reasoning in Description Logics using Resolution and Deductive Databases Universität Karlsruhe, Fak. f. Wirtschaftswissenschaften. Diss. v. <span class="info">...<span>Motik, Boris Reasoning in Description Logics using Resolution and Deductive Databases Universität Karlsruhe, Fak. f. Wirtschaftswissenschaften. Diss. v. 09.01.2006.</span></span>http://acl.ldc.upenn.edu/hotho2006-06-14T06:00:40+02:00library paper online computational digital dl linguistic