IW Meeting 2008-12-02

From Inference Web

agenda

• pml validation document updated
• proof combination
  • honglei's algorithm
  • csc's update

notes

pml validator

• updated the document with a table of feature request.
• the service URI is http://onto.rpi.edu/alpha/pmlvalidator/

combine proof

actions

• Jiao and Cynthia will contact offline via email on feature request to PML Validator
• Honglei and Li will work on optimal combined proof.