History matters: Incremental ontology reasoning using modules. In (2007)

by Cuenca Grau, B Halaschek-Wiener, C Kazakov, Y
Venue:of Lecture Notes in Computer Science