IW Meeting 2013-04-18

From Inference Web

Jump to: navigation, search

Contents

Meeting Information

Agenda

Attendees

Regrets: Deborah (will be in the air during meeting)

Meeting Preparation

Around the room

* Add a section for yourself 2 hours before meeting.
* Mark any discussion point that you would like to raise during meeting (with DURING MEETING). 
* Otherwise, assume that others will read the rest before meeting. 
* Also, please be considerate and read others' discussion points before the meeting starts.

Tim

Jim

James

Cynthia

Paulo

Patrice

Deborah

Discussions

Cynthia, Tim, and Jim discussed:

  • ordering of antecedents (and authors).
  • the intent and historical uses of pml:hasDescription
    • This seems to be handled with both dcterms:description and rdfs:seeAlso.

https://dvcs.w3.org/hg/prov/raw-file/tip/dc-note/releases/NOTE-prov-dc-20130430/Overview.html#list_of_direct_mappings2_classes


IW Meeting 2013-04-18


We discussed ordering of Antecedents. Using pml:qualifiedAntecedent.

Here is an example of tptp pml with pmlp:hasDescription as part of the conclusion. The first attachment shows the partial screen of IWBrowser of a tptp pml and we are focusing on one particular nodeset (in oval). The second attachment shows the pml code of the nodeset. As you can see, the pmlp:Information (as hasDescription) captures a more detailed information about this nodeset's conclusion ("hates (butler, agatha)"), such as what language used to describe the conclusion string and where the original formula came from ...


<http://inference-web.org/proofs/tptp/Solutions/PUZ/PUZ001-1/EP---1.2/answer.owl#ns_15>
    pmlj:hasConclusion <http://inference-web.org/proofs/tptp/Solutions/PUZ/PUZ001-1/EP---1.2/answer.owl#ns_15_conclusion> ;
    pmlj:isConsequentOf [
        pmlj:fromAnswer <http://inference-web.org/proofs/tptp/Solutions/PUZ/PUZ001-1/EP---1.2/answer.owl#answer> ;
        pmlj:hasAntecedentList [
            ds:first <http://inference-web.org/proofs/tptp/Solutions/PUZ/PUZ001-1/EP---1.2/answer.owl#ns_10> ;
            ds:rest [
                ds:first <http://inference-web.org/proofs/tptp/Solutions/PUZ/PUZ001-1/EP---1.2/answer.owl#ns_7> ;
                a pmlj:NodeSetList
            ] ;
            a pmlj:NodeSetList
        ] ;
        pmlj:hasIndex "0"^^xsd:int ;
        pmlj:hasInferenceEngine <http://inference-web.org/registry/IE/EP1.2.owl#EP1.2> ;
        pmlj:hasInferenceRule <http://inference-web.org/registry/DPR/EP0.999Spm.owl#EP0.999Spm> ;
        a pmlj:InferenceStep
    ] ;
    pmlp:hasCreationDateTime "2010-10-01T09:55:53-04:00"^^xsd:dateTime ;
    a pmlj:NodeSet .

<http://inference-web.org/proofs/tptp/Solutions/PUZ/PUZ001-1/EP---1.2/answer.owl#ns_15_conclusion>
    pmlp:hasDescription 
    <http://inference-web.org/proofs/tptp/Solutions/PUZ/PUZ001-1/EP---1.2/answer.owl#ns_15_tptpDescription> ;
    pmlp:hasLanguage <http://inference-web.org/registry/LG/TPTPCNF.owl#TPTPCNF> ;
    pmlp:hasRawString "hates(butler,agatha)"^^xsd:string ;
    a pmlp:Information .

<http://inference-web.org/proofs/tptp/Solutions/PUZ/PUZ001-1/EP---1.2/answer.owl#ns_15_tptpDescription>
    pmlp:hasLanguage <http://inference-web.org/registry/LG/TPTPCNF.owl#TPTPCNF> ;
    pmlp:hasName "TPTP Formula"^^xsd:string ;
    pmlp:hasRawString """cnf(15,plain,
    ( hates(butler,agatha) ),
    inference(spm,[status(thm)],[10,7,theory(equality)])).
"""^^xsd:string ;
    pmlp:hasURL "http://www.cs.miami.edu/~tptp/cgi-bin/SeeTPTP?Category=Solutions&Domain=PUZ&File=PUZ001-1&System=EP---1.2.UNS-CRf.s#15"^^xsd:anyURI ;
    a pmlp:Information .

Remodeled

    <http://inference-web.org/proofs/tptp/Solutions/PUZ/PUZ001-1/EP---1.2/answer.owl#ns_15_conclusion>
    prov:wasQuotedFrom 
    <http://inference-web.org/proofs/tptp/Solutions/PUZ/PUZ001-1/EP---1.2/answer.owl#ns_15_tptpDescription> ;
    dc:language <http://inference-web.org/registry/LG/TPTPCNF.owl#TPTPCNF> ;
    prov:value "hates(butler,agatha)"^^xsd:string ;
    a pml3:Information .

<http://inference-web.org/proofs/tptp/Solutions/PUZ/PUZ001-1/EP---1.2/answer.owl#ns_15_tptpDescription>
    dc:language <http://inference-web.org/registry/LG/TPTPCNF.owl#TPTPCNF> ;
    rdfs:label "TPTP Formula"^^xsd:string ;
    prov:value """cnf(15,plain,
    ( hates(butler,agatha) ),
    inference(spm,[status(thm)],[10,7,theory(equality)])).
"""^^xsd:string ;
    rdfs:seeAlso <http://www.cs.miami.edu/~tptp/cgi-bin/SeeTPTP?Category=Solutions&Domain=PUZ&File=PUZ001-1&System=EP---1.2.UNS-CRf.s#15> ;
    a pml3:Information .
    

Example 2

Another example of hasDescription usage:

    http://registra.inference-web.org/iwregistrar/ViewProvenance?uri=http%3A%2F%2Finference-web.org%2Fregistry%2FFMT%2Fpdf.owl%23pdf&mode=full&reqreg=yes
    Format
name: Adobe Portable Document Format
description: 
language: English
raw-string:  Invented by Adobe Systems and perfected over 15 years, Adobe Portable  Document Format (PDF) lets you capture and view robust information â??  from any application, on any computer system â?? and share it with  anyone around the world. Individuals, businesses, and government  agencies everywhere trust and rely on Adobe® PDF to communicate their  ideas and vision.
url: http://www.adobe.com/products/acrobat/adobepdf.html

    Format
rdfs:label: Adobe Portable Document Format
dc:description: '''Invented by Adobe Systems and perfected over 15 years, Adobe Portable  Document Format (PDF) lets you capture and view robust information â??  from any application, on any computer system â?? and share it with  anyone around the world. Individuals, businesses, and government  agencies everywhere trust and rely on Adobe® PDF to communicate their  ideas and vision.'''@en
rdfs:seeAlso: http://www.adobe.com/products/acrobat/adobepdf.html

Example 3

http://registra.inference-web.org/iwregistrar/ViewProvenance?uri=http%3A%2F%2Finference-web.org%2Fregistry%2FFMT%2Fpdf.owl%23pdf&mode=full&reqreg=yes
Declarative Rule
name: Assumption
content: 
language: Proof Protocol for Deductive Reasoning (PPDR)
raw-string: |- p;; (Sent p)
description: 
language: English
raw-string: An assumption specified by the user for the purpose of performing a specific query.

Declarative Rule
rdfs:label: Assumption
content: 
language: Proof Protocol for Deductive Reasoning (PPDR)
raw-string: |- p;; (Sent p)
dc:description: "An assumption specified by the user for the purpose of performing a specific query."@en

csc: my phone just died... JPM: I was just saying that if you need a hasDescription for TPTP, then we need examples where we can't use dc:description and/or dc:language and prov:specializationOf/generalizationOf and/or prov:wasQuotedFrom can't be used. Tim: Looks like were done for the day. Thanks for showing us hasDescription. I think we have a way forward now.

Facts about IW Meeting 2013-04-18RDF feed
Date11 April 2013  +
Personal tools
Navigation