@inproceedings{conf/kr/CohenH94,
        title = {Learning the Classic Description Logic: Theoretical and Experimental Results.},
        author = {William W. Cohen and Haym Hirsh},
        booktitle = {KR},
        pages = {121-133},
        year = 1994,
        url = {http://www.cs.cmu.edu/~wcohen/postscript/kr-94.ps},
        isbn = {1-55860-554-1},
	description = {dblp},
	biburl = {http://www.bibsonomy.org/bibtex/212c5b9d272c941d934bd3dfcc69c37f5/hotho},
	keywords = {description dl learning machine ml logic}
}

@article{journals/ml/CohenH94,
        title = {The Learnability of Description Logics with Equality Constraints.},
        author = {William W. Cohen and Haym Hirsh},
        journal = {Machine Learning},
        number = {2-3},
        pages = {169-199},
        volume = 17,
        year = 1994,
        url = {http://www.cs.cmu.edu/~wcohen/postscript/kr-94.ps},
        ee = {http://www.kuenstliche-intelligenz.de/Artikel/CommonPatternsinITSArchitectures.htm},
	description = {dblp},
	biburl = {http://www.bibsonomy.org/bibtex/2482edb5b3b5ede9a0e3be638db81e9fd/hotho},
	keywords = {description dl learning machine ml logic}
}

@inproceedings{racer,
        title = {Description of the {RACER} System and its Applications},
        author = {Volker Haarslev and Ralf Moller},
        booktitle = {Proceedings of the 2001 International Workshop on Description Logics (DL-2001)},
        editor = {D. L. McGuinness et al},
        publisher = {CEUR Workshop Proceedings},
        year = 2001,
        url = {citeseer.ist.psu.edu/article/haarslev01description.html},
        location = {Madrid},
	biburl = {http://www.bibsonomy.org/bibtex/22a5b2d5f5fc153811ac1c10c50902f5d/hotho},
	keywords = {application dl racer}
}

@inproceedings{Grosof2003,
        title = {{Description Logic Programs: Combining Logic Programs with Description Logics}},
        address = {Budapest, Hungary},
        author = {Benjamin Grosof and Ian Horrocks and Raphael Volz and Stefan Decker},
        booktitle = {Proc. of WWW-2003},
        month = 05,
        year = 2003,
        location = {Madrid},
	biburl = {http://www.bibsonomy.org/bibtex/2a814ae2cdb62d6a6082726eef4f7e15d/hotho},
	keywords = {dl}
}