Meeting of Jiao and jie (3-4-2008)

From Tetherless World Wiki

Jump to: navigation, search

Meeting with Jiao

Part of: Jie Bao Blog
Date: March 4, 2008
Location: Troy, NY
Participant(s): Jie Bao, Jiao Tao


Details

Jiao introduces her research

  • PML validator
    • Background:
      • Proof Markup Language (PML): a language for explanation and justification of proofs (is independent from a specific justification method); it may have OWL/RDF syntax
      • Inference Web: a Semantic Web based knowledge provenance infrastructure
    • Problem: To track and solve mistakes in a PML ontology
      • Types of mistakes: syntax, semantics and style issues (e.g. declare two fathers of a person, without saying they are/are not different)
    • Solution:
      • Syntax: RDF syntax checking
      • Semantics: Pellet consistency checking
      • Style: pattern matching
  • More generally: Instance Data Validation
    • Problem: checking if an instance set (e.g. ABox) is "ok" with an ontology (e.g. TBox) - not only the logical consistency, but also free of "style issues".
      • The PML validation problem is a specific example.
  • Todo: Use Chimæra to detect and solve conflicts.

References:

Facts about Meeting of Jiao and jie (3-4-2008)RDF feed
Has end date 4 March 2008  +
Has location Troy, NY  +
Has participant Jie Bao  +, and Jiao Tao  +
Has start date 4 March 2008  +
Has title Meeting with Jiao  +
Part of Jie Bao Blog  +
Retrieved from "http://tw.rpi.edu/wiki/Meeting_of_Jiao_and_jie_%283-4-2008%29"
Personal tools