@inproceedings {4984,
	title = {On Keys and Functional Dependencies as First-Class Citizens in Description Logics},
	booktitle = {Conference on Automated Deduction (CADE)},
	year = {2006},
	doi = {10.1007/11814771_52},
	author = {David Toman and Grant Weddell}
}
