@inproceedings{nikitina2011revisionDL, title = "Reasoning-Supported Interactive Revision of Knowledge Bases", author = "Nadeschda Nikitina and Sebastian Rudolph and Birte Glimm", year = "2011", booktitle = "Proceedings of the 24th International Workshop on Description Logics (DL2011)", month = "7", publisher = "CEUR", }