DMCA

DL-Lite in the light of first-order logic (2007)

by Alessandro Artale , Diego Calvanese , Roman Kontchakov , Michael Zakharyaschev
Venue:IN PROC. OF THE 22ND CONF. ON AI (AAAI-07)
Citations:48 - 25 self