En: Franz, Baader,Deborahl McGuiness, Daniele Nardi, Peter F.Patel-Schneider(Eds.) The The description logic handbook : theory, implementation and applications ; Cambridge ; New York : Cambridge University Press, 2003, p. 47-100 ISBN 0521781760