%0 Thesis %1 motik2006reasoning %A Motik, Boris %D 2006 %K %T Reasoning in description logics using resolution and deductive databases

@phdthesis{motik2006reasoning, added-at = {2023-12-13T04:18:21.000+0100}, author = {Motik, Boris}, biburl = {https://www.bibsonomy.org/bibtex/2fc3ce4fc2eea5ffe85760e614ed16741/admin}, dnbtitleid = {978142896}, interhash = {9426fd1e67fdedd6cb1b4eb3a0e82cf2}, intrahash = {fc3ce4fc2eea5ffe85760e614ed16741}, keywords = {}, school = {Uni Karlsruhe}, timestamp = {2023-12-13T04:18:21.000+0100}, title = {Reasoning in description logics using resolution and deductive databases}, year = 2006 }