@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 }
}