IW Meeting 2008-11-25

From Inference Web

Agenda

• what is valid PML, Jiao, cynthia
  • jiao present On Validating PML documents. it covers some examples, so we can classify warnings to yes/no decision
  • discussion

• progress of TPTP combine proof (cynthia, geoff, honglei) (will Geoff be around?)

• progress with james

• happy thanks giving.

notes

what is valid PML

• PML validation may require different output from OWL instance data evaluation. e.g. cardinality may cause warning in OIE, but errors in PML validation.

• Given a PML document, PML validator needs to answer yes/no first.
• Integrity issues in PML documents should be treated as errors.
  • MPV, EPV in PML document are issues.
  • NSIT, RIT in PML document are not issues.
  • UIT needs to be refined.
• Cyncia suggests an example about subproperty and she will provide the example later.

combine proof

• cynthia: we have made good progress
• honglei: how to evalute the improvement, we may build the global optimal as the baseline for evaluation (if we compare with the global optimal what did we really evaluate?)
• cynthia: why there is a big improvment

james' usage of PML API

• cynthia is generating tutorials and examples for James
• mentioned "goal" a nodeset wihtout any inference step.
• html rendering component for conclusion

action items

what is a valid PML

• [someone] will check "validator link is broken": http://validator.inference-web.org/iw2api/doc_pmlvalidator/
• cynthia will raise an example that need to validate sub-property related issue.
• UIT
  • Paulo can generate an example: if he extend PML ontology by adding a subclass of InferenceEngine, will it cause UIT issue?
  • Jiao generate several example files for Cynthia to test PML API on UIT issue.
• Jiao send paulo her recent paper on owl instance validator

combine proof

• (someone) generate a document on the current status of combine proof
• cynthia will demo reversely combined proofs
• honglei will show global optimal of combined proofs.