LDK R Logics for Data and Knowledge Representation Fausto Giunchiglia Originally by Alessandro Agostini and Fausto Giunchiglia Modified by Fausto Giunchiglia.