@misc{citeulike:550834,
        title = {A Survey of Decidable First-Order Fragments and Description Logics},
        author = {U. Hustadt and R. A. Schmidt and L. Georgieva},
        year = 2004,
        url = {http://citeseer.ist.psu.edu/hustadt04survey.html},
        id = {550834},
	priority = {2},
	abstract = {The guarded fragment and its extensions and subfragments are often considered

as a framework for investigating the properties of description logics. There are

also other, some less well-known, decidable fragments of first-order logic which all have

in common that they generalise the standard translation of



to first-order logic. We

provide a short survey of some of these fragments and motivate why they are interesting

with respect to description logics, mentioning also connections to...},
	biburl = {http://www.bibsonomy.org/bibtex/29c9bf331ae9510512a45612694c3440e/hotho},
	keywords = {first fragments order description logic survey}
}

@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 = {learning dl logic ml description machine}
}

@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 = {ml description dl machine logic learning}
}