@inproceedings {4978,
	title = {Adding ABoxes to a Description Logic With Uniqueness Constraints Via Path Agreements},
	booktitle = {International Workshop on Description Logics (DL)},
	year = {2007},
	url = {http://ceur-ws.org/Vol-250/paper_69.pdf},
	author = {Vitaliy L. Khizder and David Toman and Grant Weddell}
}
