@article {3963,
	title = {On Keys and Functional Dependencies as First-Class Citizens in Description Logics},
	journal = {Journal of Automated Reasoning},
	volume = {40},
	year = {2008},
	pages = {117--132},
	doi = {10.1007/s10817-007-9092-z},
	author = {David Toman and Grant Weddell}
}
