@inproceedings {4953,
	title = {CFDnc: A PTIME Description Logic With Functional Constraints And Disjointness},
	booktitle = {International Workshop on Description Logics (DL)},
	year = {2013},
	url = {http://ceur-ws.org/Vol-1014/paper_65.pdf},
	author = {David Toman and Grant Weddell}
}
