DOCUMENT RESOURCES FOR EVERYONE
Documents tagged
Documents 1 Model Theory and Calculus for DL-Lite Evgeny Kharlamov Diego Calvanese, Werner Nutt Free...

Slide 1 1 Model Theory and Calculus for DL-Lite Evgeny Kharlamov Diego Calvanese, Werner Nutt Free University of Bozen-Bolzano Dresden University of Technology October 2006…