IW Search - Searching PML Provenance Metadata
Option 1: Search by Keywords
Sample queries:
- john - search PML things which has "john" in its label (Try Me)
- type:person - search PML things whose type is person (Try Me)
- source:"http://inference-web.org/registry/PER/LWos.owl" - search PML things from the source identified by the URL. (Try Me)
- 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:
- search keywords are case-insensitive and are conjunctive by default
- we support the following query prefixs: type(which type), source(from where), date(when indexed)
- for more complex queries, please use Advanced IWSearch
- IWSearch query is based on Lucene Query Syntax
Option 2: Browse by Type
Documents