DK R Logics for Data and Knowledge Representation Languages for Data Representation Originally by Alessandro Agostini and Fausto Giunchiglia Modified by.
Logics for D ata and K nowledge R epresentation