@book{DLHandbook,
        title = {{The Description Logic Handbook}},
        author = {Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter Patel-Schneider},
        publisher = {Cambridge University Press},
        year = 2003,
        language = {USenglish},
	biburl = {http://www.bibsonomy.org/bibtex/27e0891493f3a509ed8e6b8824182a055/zeno},
	keywords = {handbook 2003 description-logic}
}

@article{KL-ONE,
        title = {An {O}verview of the {KL-ONE} {K}nowledge {R}epresentation {S}ystem},
        author = {Ron J. Brachman and James G. Schmolze},
        journal = {Cognitive Science},
        number = 2,
        pages = {171-216},
        volume = 9,
        year = 1985,
        biburl = {http://www.bibsonomy.org/bibtex/23d59a70641053b86426d163c40a4ac75/zeno},
	keywords = {description-logic kl-one 1985}
}

@article{Lutz02,
        title = {Description Logics with Concrete Domains -- A Survey},
        author = {Carsten Lutz},
        journal = {Advances in Modal Logic},
        publisher = {World Scientific Publishing Co.\ Pte.\ Ltd.},
        volume = 4,
        year = 2002,
        biburl = {http://www.bibsonomy.org/bibtex/2148d71e162bcedb7a38397c5cfd6d1b0/zeno},
	keywords = {description-logic}
}