W3C home > Mailing lists > Public > public-rule-workshop-discuss@w3.org > August 2005

phasing proposal

From: Sandro Hawke <sandro@w3.org>
Date: Thu, 25 Aug 2005 16:52:03 -0400
To: public-rule-workshop-discuss@w3.org
Message-Id: <20050825205204.0CC494EEE5@homer.w3.org>


Here's a possible phasing of the work.  I imagine each phase taking
roughly a year.  This is totally biased to put what I think is easy
first, and pre-supposes a particular Web-and-RDF-centric approach to
external conditions and actions.  It also ignores the current debate
about using FOL as an interlingua; if something better emerged, it
could perhaps be dropped in to the same place in this sketch.

Phase 1:

   * XML syntax for FOL

   * explain how RDF instance data fits in

        (Issue: is it p(s,o) or rdf(s,p,o)?  It's hard to imagine
        p(s,o) without HiLog being enough.)

   * show how one can use RDF/SPARQL data sources to provide access to
     arbitrary external (programmatic) conditions

   * show how one can use a persistent/recurrent SPARQL query to
     implement actions.

   * datatype builtins as in SWRL or SPARQL (ie, some subset of F&O)

   * test cases, use cases

Phase 2:

   * External Data Access
        - Reasoning about XML
        - Presence Conditions (stuff like log:semantics)
        - Absence Conditions (like log:notIncludes, log:definitiveDocument)

   * Aggregation builtings (metalogical predications)

   * Vocabulary for Reasoning about Actions and linking to SOAP.

   * Reflection (RDF syntax for FOL)

   * (optional) Vocabulary for Proofs / Explanations

   * more test cases, use cases

That seems to cover it.  I've included aggregation, which was left out
of the 0.6 draft.  Thoughts?

    -- sandro
Received on Thursday, 25 August 2005 20:52:10 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:16:23 GMT