BibSonomy :: bibtex  ::

tag user group author concept BibTeX key search:all search:sb3000
A blue social bookmark and publication sharing system.
tags · relations · groups · popular
help · blog · about
login · register
sb3000's BibTeX entry:  

Reasoning in Description Logics using Resolution and Deductive Databases

2006.
Authors: Boris Motik
Tags: dl kaon2 reasoning
| BibTeX  
@phdthesis{motik06phd,
title = {Reasoning in Description Logics using Resolution and Deductive Databases},
author = {Boris Motik},
month = {January},
school = {Universität Karlsruhe (TH), Karlsruhe, Germany},
year = {2006},
keywords = {dl kaon2 reasoning }
}