Fiona McNeill Alan Bundy Dynamic, Automatic, First-Order Ontology repair by Diagnosis of Failed Plan Execution. 1-35 2007 3 Int. J. Semantic Web Inf. Syst. 3 http://www.igi-pub.com/articles/details.asp?ID=7377 db/journals/ijswis/ijswis3.html#McNeillB07