- From: Sandro Hawke <sandro@w3.org>
- Date: Thu, 25 Aug 2005 16:52:03 -0400
- To: public-rule-workshop-discuss@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 UTC