Media type: E-Article Title: Web Reasoning and Rule Systems: Rule Revision in Normal DL Logic Programs Contributor: Binnewies, Sebastian; Wang, Yisong; Stantic, Bela; Wang, Kewen Published: Springer Berlin Heidelberg, 2013 Published in: Web Reasoning and Rule Systems (2013), Seite 204-209 Language: Not determined DOI: 10.1007/978-3-642-39666-3_16 ISBN: 9783642396656; 9783642396663 ISSN: 0302-9743; 1611-3349 Origination: Footnote: