Oh, you guys have some interesting issues/bounties! And wish I knew more about inference (besides basics on inference engines with Jena).