Meeting this week?

[Jim McCusker]

I forgot to send out a reminder, sorry. I'm up against a deadline so I need this hour, so I can't attend, either.

Jim
--

Jim McCusker

Data Scientist

5AM Solutions

jmcc...@5amsolutions.com

http://5amsolutions.com

PhD Student
Tetherless World Constellation
Rensselaer Polytechnic Institute
mcc...@cs.rpi.edu
http://tw.rpi.edu

[c c]

i am the first caller...

--
You received this message because you are subscribed to the Google Groups "inference-web" group.
To unsubscribe from this group and stop receiving emails from it, send an email to inference-we...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

[Deborah L. McGuinness]

just got out of a doc appt.
are people on?  i can get on in a minute if so.  If not, would
people please respond to the todo progress?

i just went to
https://hackpad.com/IW-Meeting-2013-09-19-CsLd0EgiChq

and grabbed the todo items below.

i would like to get the spreadsheet mapping exercise wrapped up and also get the w3c note submission going to get this wrapped up.


i think the discharge discussion is waiting for tim - tim are you back on next week?  or would you like to respond in email to the example?

* TODO: Remodeling Belief and Trust using PROV's directed qualification pattern. Tim has some initial notes that he thinks can cover the intent of PML-T.

TODO: Jim to figure out why PML3 OMN files don't load in recent Protege versions. (precondition for other Jim tasks)

Todo:  also update a static link to an owl file of the newer version (once previous version is debugged )

TODO: Jim to add pml:VariableMapping subclass of pml:Map to the ontology.

TODO: Jim to add pml:hasDescriptionTemplate range pml:Template domain Thing.

TODO: Jim to add capableOf domain Agent range Plan - what they can do in the future.

TODO: Jim add pml:wasGeneratedWithPlan property chain prov:wasGeneratedBy o prov:qualifiedAssociation o prov:hadPlan

TODO: Jim add pml:answers from pml:Answer range pml:Query UNION pml:Question subproperty of prov:wasDerivedFrom. pml:Answer min 1 pml:answers.

TODO: Cynthia to send to the list hasDischarge, we'll pick it up next week.

Example: http://browser.inference-web.org/iwbrowser/NodeSetBrowser?w=900&mg=999&st=Dag&fm=Raw&url=http%3A%2F%2Finference-web.org%2Fproofs%2Ftptp%2FSolutions%2FPUZ%2FPUZ001%2B1%2FEP---1.2%2Fanswer.owl%23answer

Please take a look at nodesets 47 and 48:

You can see the assumption and its negation.

And then take look towards the final conclusion of nodesets 1 and 2:

From nodeset 2 to 1, the refutation rule discharged nodeset 47 to prove nodeset 48.

Also see the summary view (be sure to click the "show" button of the "Justified by") :

http://browser.inference-web.org/iwbrowser/BrowseNodeSet?uri=http%3A%2F%2Finference-web.org%2Fproofs%2Ftptp%2FSolutions%2FPUZ%2FPUZ001%2B1%2FEP---1.2%2Fanswer.owl%23answer

[Tim Lebo]

Sorry, I'm still home but will be back Monday.

Sent from my iPhone