Logics for Data and Knowledge Representation ClassL (part 2): TBOX and ABOX First version by Alessandro Agostini and Fausto Giunchiglia Second version by Fausto Giunchiglia…