IW Meeting 2010-08-05

From Inference Web

Jump to: navigation, search


Meeting Info


  • Li Ding
  • Cynthia Chang
  • Tim Lebo
  • Paulo Pinheiro da Silva

IW Overall Objectives

     1) PML ontology: (OWL level only) potential non-monotonic  changes (Li) 
     2) PML practice  
         2.1) Use cases and examples (Tim) 
         2.2) RDF level issues (Cynthia) 
         2.3) PML Tools / API issues (Cynthia) 
         2.4) PML primer (Tim) 
     3) PML and OPM mapping (Paulo) 
     4) IW management (TBD)
        4.1) inference web infrastructure and research plan
        4.2) technologies for engagement 

Today's Agenda

Paulo's two critical

  • incubator group
  • source usage as an inference step


Upcoming attendance

Li will be gone next three weeks: 12, 19, 26th Cynthia will be gone 19th Paulo gone 12, 19th (Paulo will check to see if Nick can attend)

Which meetings should be canceled?

Who will run meetings?

What it takes to run the meeting:

  • Having agenda on wiki, make phone call, skype, titanpad
  • Skype: "PML Telecon" is a running conversation.
    • PC users can access it from "conversation" tab.
    • Mac users can bring it up by looking through Window:History for "PML Telecon"

Call information can be posted to Skype. Also at http://inference-web.org/wiki/iw:Iw_meeting_call_information

How to run an IW meeting

Discussing priorities

This month, the most critical things for IW according to Paulo: 1) participation at w3c provenance incubator (this is the last month of the incubator) 2) revisit the idea of promoting source usage to the same level of inference step

Regarding (1), I am wondering whether Tim can attend at least the next two, three incubator meetings. Regrading (2), we can have Tim to lead a discussion on how this promotional will affect our tools. This will require Cynthia's participation since she will need to tell as the impact of such change. Also, Nick would be able to give further input in case I can get him to attend this meeting.

Need to represent PML in incubator group. If nobody is there, it won't have a voice.

Past teleconferences and minutes are recorded on the wiki:
Time:  http://www.timeanddate.com/worldclock/fixedtime.html?month=6&day=25&year=2010&hour=11&min=0&sec=0&p1=43
Bridge US: +1-617-761-6200 (Zakim)
Bridge UK: +44.117.370.6152
Bridge FR: +
Conference code: 98765
Duration: 60 minutes
** Note: If you are new to W3C, please take some time to learn about  
IRC at:
IRC channel: #prov-xg
W3C IRC Web Client: http://irc.w3.org/?channels=#prov-xg
Scribe: TBD
(IRC might have password protection)

Promoting SourceUsage to level of InferenceStep

  • How would the tools be affected if it was promoted?
    • PML Java API

backward compatibility, existing proofs.



Paulo: Why does the Information not have a hasURL pointing to the URL? Tim: the value of the (nonexistent) hasURL triple is actually the URI used for the Information.

Tim's way:

<nodeset_d4> pml:j:hasConclusion <WhiteHouse-WAVES-Key-1209.txt> .

The traditional way:

<nodeset_d4> pml:j:hasConclusion <some_indirect_Info_resource> .
                                 <some_indirect_Info_resource> pmlp:hasURL <WhiteHouse-WAVES-Key-1209.txt> .


  <rdf:Description rdf:nodeID="A0">
    <wdo:hasXCoordinateValue rdf:datatype="http://www.w3.org/2001/XMLSchema#decimal">490</wdo:hasXCoordinateValue>
    <wdo:hasYCoordinateValue rdf:datatype="http://www.w3.org/2001/XMLSchema#decimal">-81</wdo:hasYCoordinateValue>
    <rdf:type rdf:resource="http://trust.utep.edu/2.0/wdo.owl#RectangularCoordinate"/>
  <rdf:Description rdf:about="http://trust.utep.edu/2009/ContourMap/CreateGravityContourMapSAW.owl#i3">      <==============    i3
  <rdf:Description rdf:about="file:/C:/da-example/data/0722023096546232_gravityDataset.txt">       < ============ new proposed: use the file as the name of the information it contains.
    <wdo:isInputTo rdf:resource="http://trust.utep.edu/2009/ContourMap/CreateGravityContourMapSAW.owl#i1"/>
    <wdo:hasLabelCoordinate rdf:nodeID="A0"/>
    <wdo:isOutputOf rdf:resource="http://trust.utep.edu/2009/ContourMap/CreateGravityContourMapSAW.owl#i4"/>
    <pmlp:hasURL rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">file:/C:/da-example/data/0722023096546232_gravityDataset.txt</pmlp:hasURL>      <============     local file name
    <pmlp:hasName rdf:datatype="http://www.w3.org/2001/XMLSchema#string">GravTroyNY</pmlp:hasName>
    <pmlp:hasFormat rdf:resource="http://iw.cs.utep.edu/earthscience/gravity/registry/FMT/tab-delimited-dataset.owl#tab-delimited-dataset"/>
    <rdf:type rdf:resource="http://trust.utep.edu/2009/ContourMap/ContourMapWDO.owl#d3"/>   ====> This is a type defined as a subtype of pml information
  <rdf:Description rdf:about="http://rio.cs.utep.edu/ciserver/ciprojects/GravityMapPML/GravityDatasetGravTroyNY_04250456636475617.owl">
    <owl:imports rdf:resource="http://trust.utep.edu/2009/ContourMap/CreateGravityContourMapSAW.owl"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Ontology"/>
  <rdf:Description rdf:nodeID="A1">
    <pmlp:hasSource rdf:resource="http://trust.utep.edu/2009/ContourMap/CreateGravityContourMapSAW.owl#i4"/>
    <rdf:type rdf:resource="http://inference-web.org/2.0/pml-provenance.owl#SourceUsage"/>
  <rdf:Description rdf:about="http://rio.cs.utep.edu/ciserver/ciprojects/GravityMapPML/GravityDatasetGravTroyNY_04250456636475617.owl#answer">
    <hasConclusion rdf:resource="http://trust.utep.edu/2009/ContourMap/CreateGravityContourMapSAW.owl#i3"/>
    <isConsequentOf rdf:nodeID="A2"/>
    <rdf:type rdf:resource="http://inference-web.org/2.0/pml-justification.owl#NodeSet"/>
  <rdf:Description rdf:nodeID="A2">
    <hasInferenceEngine rdf:resource="http://iw.cs.utep.edu/earthscience/gravity/registry/IE/gdrp.owl#gdrp"/>
    <hasIndex rdf:datatype="http://www.w3.org/2001/XMLSchema#int">0</hasIndex>
    <hasInferenceRule rdf:resource="http://inference-web.org/registry/DPR/Told.owl#Told"/>
    <hasSourceUsage rdf:nodeID="A1"/>
    <rdf:type rdf:resource="http://inference-web.org/2.0/pml-justification.owl#InferenceStep"/>

 In Information, we either use hasURL or we use hasRawString with the actual content in there.
 "hasRawString" can come with "hasFormat" and "hasLanguage" to further describe the content.
 I am happy to consider dropping the use of hasURL since hasURL was introduced later as a hack to scenarios where we didn't want to encode the content inside the PML encoding. My only concern is that some tools may be instrurcted to look for hasURL and I am not sure how much backward compability is involved in this decision.

Paulo: A Source has a URL TIm: But what property does it use?

TODO: Does pmlp:hasURL really have a domain of Information?

hasURL was around before Information, and hasURL was probably was moved from Source to Information.

Old versions of the PML ontology(ies): http://inference-web.org/wiki/Documentation (the issue here is whether the domain and range of the property changed).

Reviewing last week's meeting

Potential discussions

  • What are Paulo's six categories of proofs?

Tabled discussions


  • Tim to attend incubator meetings when Deborah, Paulo, and Li cannot.
  • Tim to coordinate Cynthia and Nick discussions regarding hasURL - new design and consequences for tools.
  • Tim to coordinate Cynthia and Nick discussions regarding isConsequentOf SourceUsage. - new design and consequences for tools.


  • How to run a meeting - what tool need to be set up.
  • Incubator group - we need to attend. Tim will fill in.
  • Tim's download file example.
    • pml:hasURL on an instance of Information should, when retrieved, provide the same value as hasRawString.
      • This could/should be deprecated and the value of "hasURL" should become the name of the instance of Information.
    • someother:hasURL on an instance of Source should, when retrieved, provide /some/ information about the source.
    • the confusion between these two is historical: pmlp:hasURL /was/ on Source, Information was added, and hasURL was moved to Information and repurposed.

Everything else on agenda was not discussed.

Personal tools