You're right - I talk about how to incorporate logical representations in my thesis, but the reviewers asked me to remove it as it wasn't complete enough. We had some more thoughts about the correct way to do this in this paper: http://homepages.feis.herts.ac.uk/~dc09aav/publications/iwcs...