<?xml version="1.0" encoding="UTF-8"?>
<posts update='2008-08-21 09:36:42' user=""><post 
   href="http://www.ubka.uni-karlsruhe.de/cgi-bin/psview?document=2006/wiwi/1" 
   description="Reasoning in Description Logics using Resolution and Deductive Databases" 
   
     extended="Motik, Boris
Reasoning in Description Logics using Resolution and Deductive Databases
Universität Karlsruhe, Fak. f. Wirtschaftswissenschaften. Diss. v. 09.01.2006." 
   
   hash="fc51d655333dca29608e0491396345c1"
   user="hotho"
   tag="Karlsruhe database deductive diss dl to:bibtex "
   time="2007-01-26T13:21:21+0100" />
</posts>
