DBLP:conf/aaai/ArtaleCKZ07 + redirect page
DL-Lite in the Light of First-Order Logic + Has identifier
| DL-Lite in the Light of First-Order Logic |
Has publishing details
pp. 361-366, 2007
Has title
DL-Lite in the Light of First-Order Logic
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai2007.html#ArtaleCKZ07
Has where published
AAAI
Has year
2007
Has author
Alessandro Artale +, Diego Calvanese +, Roman Kontchakov +, Michael Zakharyaschev +
Has identifier
DL-Lite in the Light of First-Order Logic +
Categories Proceeding Paper +
|
