@MastersThesis{Khar06,
author = "Kharlamov, Evgeny",
title = "Model Theory and Calculus for the Description Logic
{DL-Lite}",
school = "Faculty of Computer Science, Free University of
Bozen-Bolzano",
year = 2006,
note = "Available at
\protect{\url{http://www.inf.unibz.it/~kharlamov/}}",
}