Kurt and I are in the midst of arranging a
proposal for an implementation session. The focus would be a highly interactive
session to allow implementers to share their experiences. Vendors should
be able to come and make short (2-3 slides) presentations.
Stay tuned for further details….
[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Internet Business Logic
Sent: Thursday, October 27, 2005
Subject: Re: [ontolog-forum]
Technical Discussion Session on "Semantic Web Service Ontology
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