IW Search - Searching PML Provenance Metadata


Option 1: Search by Keywords


Sample queries:
  1. john - search PML things which has "john" in its label (Try Me)
  2. type:person - search PML things whose type is person (Try Me)
  3. source:"http://inference-web.org/registry/PER/LWos.owl" - search PML things from the source identified by the URL. (Try Me)
  4. type:query AND source:"http://inference-web.org/proofs/tptp*" - search PML things whose type is query and is from TPTP data source. (Try Me)
Tips:

Option 2: Browse by Type


Documents