Sciweavers

CADE
2006
Springer
15 years 22 days ago
On Keys and Functional Dependencies as First-Class Citizens in Description Logics
We investigate whether identification constraints such as keys and functional dependencies can be granted full status as a concept constructor in a Boolean-complete description log...
David Toman, Grant E. Weddell