Well, I have yet to read the paper in detail, but my new student Samuel is going to work for 20 weeks on defeasible reasoning with DrProlog in Bioclipse.

bioclipse  rdf  semweb