U.: Description Logics as Ontology Languages for the Semantic Web (2005)

by F Baader, I Horrocks, Sattler
Venue:In: Mechanizing Mathematical Reasoning, LNCS