@techreport{HoST99b,
	title = {A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions},
	author = {Ian Horrocks and Ulrike Sattler and Stephan Tobies},
	institution = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
	number = {99-08},
	type = {LTCS-Report},
	url = {download/1999/HoST99b.pdf},
	year = {1999},
	biburl = {http://www.bibsonomy.org/bibtex/28997131aae68c7a336b2c96d30686590/aljsanchez},
	date-modified = {2007-03-07 20:44:29 +0000},
	keywords = {description logic transitive }
}

@inproceedings{horrocks99practical,
	title = {Practical Reasoning for Expressive Description Logics},
	author = {Ian Horrocks and Ulrike Sattler and Stephan Tobies},
	booktitle = {Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning {({LPAR}'99)}},
	editor = {Harald Ganzinger and David McAllester and Andrei Voronkov},
	number = {1705},
	pages = {161--180},
	publisher = {Springer-Verlag},
	url = {citeseer.csail.mit.edu/article/horrocks99practical.html},
	year = {1999},
	biburl = {http://www.bibsonomy.org/bibtex/22704525947f4a06f1cf720b46f8d9032/aljsanchez},
	description = {Practical Reasoning for EDL},
	keywords = {description logic }
}