Andriy Nikolov Victoria S. Uren Enrico Motta Anne N. De Roeck Using the Dempster-Shafer Theory of Evidence to Resolve ABox Inconsistencies. 2007 URSW http://ceur-ws.org/Vol-327/paper7.pdf conf/semweb/2007ursw db/conf/semweb/ursw2007.html#NikolovUMR07