Updating Description Logic ABoxes

Cite this paper

@inproceedings{Liu2006UpdatingDL, title={Updating Description Logic ABoxes}, author={Hongkai Liu and Carsten Lutz and Maja Milicic Brandt and Frank Wolter}, booktitle={KR}, year={2006} }