I am particularly interested to hear
about 'shameless plugs' about R&D technology that could be
applicable in the context of JPL and to a larger extent NASA. However,
my criteria of 'applicability' is somewhat different than
the conventional notion of practical = tool-supported technology that is
simple enough to support agile methodologies.
My notion of pragmatism is an approach that addresses two ends of the
- the practically agile side of tool-supported SWS methodologies
- the extremely formal side of theory-grounded SWS methodologies
You may like to evaluate the Internet Business Logic tool . It's based on a formal theory , and it is end-author friendly (and therefore also developer-friendly). It is also end-user friendly, in the sense that it can explain its results in English. (We have found explanations to be particularly important when reasoning over RDF triples [3,4]).
I hope this may be useful. -- Adrian Walker
 Online, with SW and other examples, at www.reengineeringllc.com .
Shared, community use is free.
 Backchain Iteration: Towards a Practical Inference Method that
is Simple Enough to be Proved Terminating, Sound and Complete, A.
Walker. Journal of Automated Reasoning, 11:1-22.
Internet Business Logic (R)
Online at www.reengineeringllc.com
Shared, community use is FREE
Reengineering, PO Box 1412, Bristol, CT 06011-1412, USA
Phone 860 583 9677 Mobile 860 830 2085 Fax 860 314 1029