Sorry, not good HTML.

          Explanations and Proof-Language Meeting 
                   (Agenda and Logistics)
             http://www.w3.org/2003/04/29/swad/ 

Time and Location
=================

   2pm - 4pm US/New_York Tuesday, April 29, 2003
   2003-04-29T14:00-0500 for P2H

   No physical location.  (People at MIT sometimes use TimBL's
   office.)  For full participation please join both the voice channel
   on the Zakim bridge and the IRC channel:
   tel:+1-617-761-6200;postdial=7923
   irc://irc.w3.org:6665/sw-team

Participants
============

  invited:
     W3C team members; other people who expressed interest in this work
     at DAML-PI meeting or in response to public announcement [1].
  
     [ + == actually in attendence ]

  expected:
   + Dan Connolly (W3C/MIT)
   + Deborah McGuinness (Stanford/KSL)
   + Eric Miller (W3C/MIT)
   + Eric Prud'hommeaux (W3C/MIT)       **SCRIBE**
   + Jos De Roo (Agfa)
   + Paulo Pinheiro da Silva (Stanford/KSL)
   + Ralph Swick (W3C/MIT)
   + Sandro Hawke (W3C/MIT)             **CHAIR**
   + Tim Berners-Lee (W3C/MIT)
  
  maybe:
     Dan Brickley (W3C/ILRT)
     Dejing Dou (Yale)
     Drew McDermott (Yale)
   + Marja-Riitta Koivunen (W3C/MIT)
   + Nobuhisa Shiraishi (W3C/MIT)
   + Ryan Lee (W3C/MIT)
   + Danny Weitzner (W3C/MIT)

  regrets:
     Jerome Euzenat (INRIA)

Suggested Preparation
=====================

  1.  Try the InferenceWeb Browser (javascript helpful)
      IW Browser on IW1.daml
      
      Read the RDF input it's using:
      IW1.daml

      Background:  InferenceWeb
  

Agenda
======
        (with contributions from various folks, some bits direct from
        Deborah's e-mail)

A.  Set expectations for this meeting  (15 min)

    1.  Notes for this meeting will be taken on IRC.  The IRC log will
        appear at http://www.w3.org/2003/04/29-sw-team-irc.  Prefix
        IRC messages with "[off]" or use actions ("/me ...") to say
        things off the record.

        PROPOSED: record of this meeting be public

    2.  Speak up if there is a pause, or type "q+" to be placed on the
        speaker queue. 

    3.  For W3C/MIT this is DAML-funded Advanced Development work,
        *not* on the W3C Recommendation track.  W3C team members have
	their research hats on.

    4.  Follow-up meetings possible; consider more in 1.5 hrs.

    5.  Basic Goal: Plan and design for interoperability between
        semantic web reasoners, verifiers, and explanation UIs,
        especicially cwm and the InferenceWeb Browser. 

B.  Use Cases (15 min)

    1.  cwm proofs seen through IWB (main focus of this meeting)

    2.  proofs constructed by multiple provers (eg JTP and cwm)

    3.  access-control
  
    ... more?

C.  Working With InferenceWeb (15 min)

    (try it)

    (store and forward all "issues" to next agenda item)

    1.  dump proofs in a portable proof format

    2.  register inference rules

    3.  use inference web browser to view proofs

    4.  use inference web (in its future version) to utilize rewrite
	rules called tactics to transform detailed proofs into more
	abstracted explanations

C.  Issues (60 minutes)

    (may be tracked on Zakim directly as agenda items)

    0. Use of Cookies in IWBrowser
    1. Output in N3 in IWB (along with KIF and English)
    2. WFF files not mergeable RDF (conflation of files with proof
       steps)        (something like  <WFF rdf:about="#thisWF">)
    3. Use of javascript in IWB
    4. registration of inference rules
    5. What inference rules does cwm use?
    6. Content language options: ("logic format")  (currently KIF)
            * KIF
	    * N3
	    * RDF, parsetype=quote
	    * Reified RDF and/or FOL
    7. Integration with DQL, other query systems 
    8. Provenance (source information)
    9. Verification

D.  Next Steps (15 minutes)


[1] http://lists.w3.org/Archives/Public/www-rdf-logic/2003Apr/0079

--------

$Id: Overview.html,v 1.11 2003/04/29 19:19:44 sandro Exp $