[Inferenceweb] thurs tami telecon
Li Ding
dingli1 at cs.umbc.edu
Wed Apr 12 09:37:31 CDT 2006
Will it be good to prepare a work plan for this Thursday's meeting?
The ultimate goal is to help browse the generated proofs (by CWM) in IW
tools, and I believe the following points will help me understand to
problem better:
1. draw a picture to identify the scope of the problem, such as (i) the
input - an N3 file containing the proof structure? (ii) the conversion
process - executing another N3 file indicating conversion rules
(something like http://www.w3.org/2000/10/swap/test/reason/to-pml.n3)?
(iii) the expected output in PML.
2. setup a tentative schedule.
P.S.
Dan,
In addition to googling information on integrating PML and CWM, would
you please spend half hour showing me the big picture, especially the
three questions in my mind.
Lalana,
I will be available this afternoon between 1:pm -5:pm. It will be nice
you and I can have a short half hour phone conversation to schedule the
work plan.
Best,
Li Ding
CSEE at UMBC
-----Original Message-----
From: Lalana Kagal [mailto:lkagal at csail.mit.edu]
Sent: Tuesday, April 11, 2006 4:41 PM
To: Deborah L.McGuinness
Cc: Dan Connolly; Paulo Pinheiro da Silva; Cynthia Chang; Li Ding
Subject: Re: thurs tami telecon
> thx. li and cynthia have been working on getting much more
informative
> output from the validator and are ready to help you get
> the pml output going.
Thats great ! I'm going to try to go thru the PML Primer this week and
start
looking through the conversion code over the weekend. Hopefully I'll be
upto
speed next week.
> i do not know that i need to be on initial contacts on these
> conversations but if it helps, i am willing to be on.
I don't think you or Dan need to be part of these conversations but
you're
welcome to join us.
> my expectation is that the next step is a conversation largely between
> li and you to point you to next steps on your end (and he
> can mention next steps on our end).
Yes, I've asked Li if he can chat sometime next week.
> danny is looking for a progress report on this thursday's telecon so
at
> least having a plan to report would be good.
I checked with Danny yesterday and he's fine with us having some results
to
report by the end of April.
Thanks,
Lalana
More information about the InferenceWeb
mailing list