Anfonwch hwn fel neges destun: Semantics and Complexity of Abduction from Default Theories