IW Browser

From Inference Web

Jump to: navigation, search

IW Browser (http://browser.inference-web.org/iwbrowser/) is a Web-based tool for viewing and browsing PML documents that encode justification traces and provenance information. It is a PML tool by inference-web.org.

Contents

PML instance files

IW Browser is designed for Linked Data, so its viewing services do not accept PML files -- they accept URIs of PML instances. The viewing services use the PML descriptions returned when dereferencing the PML instance URI. The descriptions returned may correspond to PML files, but this does not need to be the case.

How to use IW Browser

IW Browser offers two browsing services: NodeSetBrowser and ViewProvenance.

  • NodeSetBrowser is used to browse instances of pmlj:Query and pmlj:NodeSet, while
  • ViewProvenance is used to view instances of many of the other PML classes.

Statistics service

Sigma icon

http://inference-web.org/iwbrowser/Statistics?url=http://escience.rpi.edu/workflow/0.1/PML/20100303T121820.-595723432.owl%23Plot

NodeSetBrowser service

Accepting the URI of a PML instance

NodeSetBrowser accepts a dereferenceable URI for an instance of type pmlj:Query or pmlj:NodeSet.

For example, although http://inference-web.org/proofs/tonys/tonys.owl contains PML descriptions, NodeSetBrowser will report [1]:

"This URL does not contain an IW document."

But if NodeSetBrowser is pointed to http://inference-web.org/proofs/tonys/tonys.owl#tonys (a pmlj:Query), NodeSetBrowser will render the query and its answers [2].

The pmlj:NodeSet http://escience.rpi.edu/workflow/0.1/PML/20100303T121820.-595723432.owl#Plot can be rendered in NodeSetBrowser and also with different viewing parameters .

Viewing instances of pmlj:Query

http://browser.inference-web.org/iwbrowser/NodeSetBrowser?url=http://inference-web.org/proofs/tonys/tonys.owl%23tonys

http://escience.rpi.edu/workflow/0.1/PML/20100303T121820.-595723432.owl#Plot view in IW Browse

(More is shown when changing "Lens Magnitude" to "max" [3])

Viewing instances of pmlj:NodeSet

BrowseNodeSet service

Not a typo; different from NodeSetBrowser.

http://browser.inference-web.org/iwbrowser/BrowseNodeSet?uri=http%3A%2F%2Finference-web.org%2Fproofs%2Ftonys%2Ftonys_1%2Fns2.owl%23ns2

ViewProvenance service

IW Browser ViewProvenance

Viewing instances of pmlp:InferenceEngine

http://inference-web.org/registry/IE/JTP.owl describes http://inference-web.org/registry/IE/JTP.owl#JTP, which can be viewed in IW Browser at

http://browser.inference-web.org/iwbrowser/ViewProvenance?uri=http://inference-web.org/registry/IE/JTP.owl%23JTP

Viewing instances of pmlp:DeclarativeRule

http://browser.inference-web.org/iwbrowser/ViewProvenance?uri=http://inference-web.org/registry/DPR/Assumption.owl%23Assumption

Viewing instances of pmlp:Language

http://browser.inference-web.org/iwbrowser/ViewProvenance?uri=http://inference-web.org/registry/LG/PPDR.owl%23PPDR

Viewing instances of pmlp:Publication

http://browser.inference-web.org/iwbrowser/ViewProvenance?uri=http://inference-web.org/registry/PUB/PPDR.owl%23PPDR

Viewing instances of pmlp:Person

http://browser.inference-web.org/iwbrowser/ViewProvenance?uri=http://inference-web.org/registry/PER/PHAYES.owl%23PHAYES

Viewing instances of pmlp:Organization

http://browser.inference-web.org/iwbrowser/ViewProvenance?uri=http://inference-web.org/registry/ORG/RDF-TEAM.owl%23RDF-TEAM

RenderAxioms service

grounded barbell triangle icon :-)

ExplParameters service

Exclamation point icon

PML constructs that IW Browser recognizes

For IWBrowser, here are the classes and their properties it pays special attention, as of Jan 2010:

(For a more recent table view that compares by {required, optional, ignored}, see PML_2.1_-_a_Layered_Approach#IW_Browser)

pmlj:InferenceStep
  pmlj:fromAnswerOrQuery
  pmlj:hasAntecedentList
  pmlj:hasDischarge
  pmlj:hasInferenceEngine
  pmlj:hasInferenceRule
  pmlj:hasIndex
  pmlj:hasSourceUsage
    pmlp:hasSource
      pmlp:Document
        pmlp:hasContent
          pmlp:hasURL
      pmlp:DocumentFragment
        pmlp:DocumentFragmentByOffset
          pmlp:hasDocument
            pmlp:Document
              pmlp:hasContent
                pmlp:hasURL
          pmlp:hasFromOffset
          pmlp:hasToOffset
        pmlp:DocumentFragmentByRowCol
          pmlp:hasDocument
            pmlp:Document
              pmlp:hasContent
                pmlp:hasURL
          pmlp:hasFromCol
          pmlp:hasFromRow
          pmlp:hasToCol
          pmlp:hasToRow
    pmlp:hasUsageQueryContent
    pmlp:hasUsageDateTime
  pmlj:hasVariableMapping
    pmlp:mapFrom
    pmlp:mapTo

pmlp:NodeSet
  pmlj:hasConclusion
    pmlp:Information
      pmlp:hasFormat
      pmlp:hasLanguage
      pmlp:hasPrettyString
      pmlp:hasRawString
      pmlp:hasURL
  pmlj:isConsequentOf
    pmlj:InferenceStep (see above)
  pmlj:hasDescription
    pmlp:Information
      pmlp:hasLanguage
      pmlp:hasRawString
      pmlp:hasURL

pmlj:Query
  pmlp:hasAnswer
  pmlj:hasContent (see pmlp:hasConclusion)
  pmlj:isFromEngine
  pmlj:isQueryFor

pmlj:Question
  pmlj:hasContent (see pmlp:hasConclusion)

pmlp:IdentifiedThing
  pmlp:hasName

Questions

Reference

IW Browser is discussed at:

Facts about IW BrowserRDF feed
ATool  +
Dc:descriptiona Web-based tool for viewing and browsing PML documents that encode justification traces and provenance information
Foaf:homepagehttp://browser.inference-web.org/iwbrowser/  +
Personal tools
Navigation