Boolean Role Inclusions in DL-Lite With and Without Time

Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

Abstract: Traditionally, description logic has focused on representing and reasoning about classes rather than relations (roles), which has been justified by the deterioration of the computational properties...