@inproceedings{IA,
	title = {Reducing {OWL} entailment to description logic satisfiability},
	author = {Ian Horrocks},
	booktitle = {Proc. of the 2nd International {Semantic Web} Conference (ISWC)},
	url = {citeseer.ist.psu.edu/article/horrocks03reducing.html},
	year = {2003},
	biburl = {http://www.bibsonomy.org/bibtex/269e5e1d0a0c4cf5d4e8213f0036a7f4d/marciomr},
	keywords = {DLs OWL }
}