Towards incremental reasoning through updates in OWL-DL. In: (2006)

by B Parsia, C Halaschek-Wiener, E Sirin
Venue:Proceedings of the workshop at 15th international World Wide Web conference on reasoning on the Web.