IW Meeting 2007 Nov 12

From Inference Web

Jump to: navigation, search


New todos from followon meeting: TPTP

    • Paulo will call jeff tomorrow morning - Dec 4
    • Paulo will make an appointment with Jeff for a discussion next week if the Dec 4 meeting fails and initiate with email.
    • Paulo and Li will meet at Stanford on Dec 12.
    • Everyone - attend the DEC 11 PARTY!!!!
    • li will send nick and alejandro and paulo a note about the pml validator and request testing. paulo, nick, and alejandro will test
    • Li will send out the link on the validator and everyone will review
    • Li and Cynthia will follow up with Jackie and Martin on transtion.
    • Alyssa and Pratyus will continue to meet weekly
    • Li and Pratyus will meet by phone on the next generation Chimaera

  • Li will talk to cynthia about web services issues with pml validator
  • Li will send email to all when PML validator is ready asking Paulo in specific to test November 14, 2007
  • Paulo will test the PML validator
  • Li will update PML justification by making Query and NodeSet disjoin
  • Paulo will send some sensor properties starting proposal
  • Cynthia and Paulo will put up a report on the tptp

pml ontology

misconception on cardinality based PML validation

  • example
  Person   <=1 hasPet   - assume that one person may only have one pet
  hasCat   subPropertyOf  hasPet, range Cat
  hasDog   subPropertyOf  hasPet, range Dog
  :John  a Person
  :John  hasCat  :TomCat
  :John  hasDog  :BobDog
  OWL DL reasoner will infer that :TomCat and :BobDog are the same thing instead of report cardinality violation
  :TomCat  a Cat
  :TomCat  a Dog
  The same thing applies to fromAnswerOrQuery,  fromAnswer 
  • we may add additional statements, and then use OWL DL reasoner to tell the inconsistency
    • action1: adding disjoin statements to PML ontologies (including 2004/07 version)
      • question, query, nodeset
      • Information, source, Language, InferenceRule, Format, Mapping
    • action2: alternatively, dynamically add statement to PML instance data during validation
      • assume all URIs of PML instances are different unless they are asserted same explicitly
Personal tools