[Top] [All Lists]

RE: [ontolog-forum] Technical Discussion Session on "Semantic Web Servi

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>, <nicolas.rouquette@xxxxxxxxxxxx>
From: "Duane Nickull" <dnickull@xxxxxxxxx>
Date: Thu, 27 Oct 2005 13:21:14 -0700
Message-id: <63C6921B571CC740BF472C356B1291E43A5AD0@xxxxxxxxxxxxxxxxxxxxxx>

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….



From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Internet Business Logic
Sent: Thursday, October 27, 2005 12:44 PM
To: nicolas.rouquette@xxxxxxxxxxxx
Cc: ontolog-forum@xxxxxxxxxxxxxxxx
Subject: Re: [ontolog-forum] Technical Discussion Session on "Semantic Web Service Ontology Standard"


Nicholas --

You wrote...
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
SWS spectrum:
- 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 [1].  It's based on a formal theory [2], 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

[1]  Online, with SW and other examples, at www.reengineeringllc.com .  Shared, community use is free.

[2]    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.

[3]   http://www.reengineeringllc.com/demo_agents/RDFQueryLangComparison1.agent

[4]   www.w3.org/2004/12/rules-ws/paper/19/

Internet Business Logic (R)
Online at www.reengineeringllc.com
Shared, community use is FREE
Reengineering,  PO Box 1412BristolCT 06011-1412USA
Phone 860 583 9677     Mobile 860 830 2085     Fax 860 314 1029
<Prev in Thread] Current Thread [Next in Thread>
  • RE: [ontolog-forum] Technical Discussion Session on "Semantic Web Service Ontology Standard", Duane Nickull <=