Boolean Role Inclusions in DL-Lite With and Without Time.

Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

Browse the full KR paper archive.