@phdthesis{1,
title = {Reasoning in Description Logics Using Resolution and Deductive Databases},
address = {Germany},
author = {B. Motik},
school = {University Karlsruhe},
year = {2006},
owner = {mauro}, timestamp = {2007.08.27},
keywords = {imported }
}
::