@article{journals/corr/cs-LO-0005017,
	title = {Reasoning with Individuals for the Description Logic SHIQ},
	author = {Ian Horrocks and Ulrike Sattler and Stephan Tobies},
	journal = {CoRR},
	note = {informal publication},
	url = {http://dblp.uni-trier.de/db/journals/corr/corr0005.html#cs-LO-0005017},
	volume = {cs.LO/0005017},
	year = {2000},
	biburl = {http://www.bibsonomy.org/bibtex/2c445f55cc97fbe27417d746f5d70e820/dblp},
	description = {dblp},
	ee = {http://arxiv.org/abs/cs.LO/0005017}, date = {2008-01-02},
	keywords = {dblp }
}