Updating Description Logic ABoxes.

Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter

Browse the full KR paper archive.