Temporalizing Description Logics (0)

by F Wolter, M Zakharyaschev
Venue:Frontiers of Combining Systems