@inproceedings{CueHalKaz:07:Incremental, title = "History Matters: Incremental Ontology Reasoning Using Modules", author = "Bernardo Cuenca Grau and Christian Halaschek-Wiener and Yevgeny Kazakov", year = "2007", booktitle = "ISWC/ASWC", pages = "183-196", publisher = "Springer", series = "Lecture Notes in Computer Science", volume = "4825", doi = "10.1007/978-3-540-76298-0_14", }