@article{Horrocks2000,
	title = {Practical Reasoning for Very Expressive Description Logics},
	author = {Ian Horrocks and Ulrike Sattler and Stephan Tobies},
	journal = {Journal of the IGPL},
	note = {\\ \url{http://www3.oup.co.uk/igpl/Volume_08/Issue_03/} \\ \url{ps/horrocks1.ps.gz}},
	number = {3},
	pages = {239--263},
	volume = {8},
	year = {2000},
	biburl = {http://www.bibsonomy.org/bibtex/2f3465649f0f346111192bfe8f649c802/ramaz},
	owner = {Mauro}, timestamp = {2006.08.31},
	keywords = {imported }
}