%0 Thesis %1 motik06phd %A Motik, Boris %D 2006 %K dl kaon2 reasoning %T Reasoning in Description Logics using Resolution and Deductive Databases

@phdthesis{motik06phd, added-at = {2008-04-09T20:38:20.000+0200}, author = {Motik, Boris}, biburl = {https://www.bibsonomy.org/bibtex/2b249626329e2cdee82c8799b9344b2de/sb3000}, interhash = {9426fd1e67fdedd6cb1b4eb3a0e82cf2}, intrahash = {b249626329e2cdee82c8799b9344b2de}, keywords = {dl kaon2 reasoning}, month = {January}, school = {Universität Karlsruhe (TH), Karlsruhe, Germany}, timestamp = {2008-04-09T20:38:20.000+0200}, title = {Reasoning in Description Logics using Resolution and Deductive Databases}, year = 2006 }