Title | On Keys and Functional Dependencies as First-Class Citizens in Description Logics |
Publication Type | Conference Paper |
Year of Publication | 2006 |
Authors | Toman, D., and G. Weddell |
Conference Name | Conference on Automated Deduction (CADE) |
DOI | 10.1007/11814771_52 |