@Inproceedings{haase2008akroidl, author = "Peter Haase and Guilin Qi and Jeff Pan and Zhisheng Huang", booktitle = "Proceedings of the 21st International Workshop on Description Logics (DL'08)", issn = "1613-0073", month = "Mai", publisher = "CEUR", title = "A Kernel Revision Operator in Description Logics", volume = "353", year = "2008", }