SPARQL queries for Proof Markup Language instance data

From Semantic Portal Wiki

This page lists sample SPARQL queries for Proof Markup Language instance data.

Contents 1 Setup 1.1 joseki-config-utep-tdb.ttl 1.2 joseki-config-utep-tdb-1ng.ttl 1.3 joseki-config-utep-tdb-Xng.ttl 2 Queries 2.1 What inference engines are used?

Setup

Example queries against http://iw.cs.utep.edu:8080/service-output/proofs/*.owl, indexed in a TDB directory and hosted by Joseki (see Configuring Joseki + Pellet + TDB).

curl -O http://iw.cs.utep.edu:8080/service-output/proofs/griddedData_1208973039750.owl
curl -O http://iw.cs.utep.edu:8080/service-output/proofs/contourMapPS_1208973041889.owl
...

360 MB for 3025 owl files

354.6 MB for jena.rdfcat'd RDF/XML

357.5 MB for jena.rdfcat'd N-TRIPLE (49,458 triples)

joseki-config-utep-tdb.ttl

mkdir tdb
tdbloader --loc=tdb *.owl

295.4 MB directory

<#service2>
    rdf:type            joseki:Service ;
    rdfs:label          "SPARQL-TDB" ;
    joseki:serviceRef   "sparql" ;
    joseki:dataset      <#utep-dataset> ;
.

<#utep-dataset>
   a ja:RDFDataset;  
   ja:defaultGraph [
      a ja:InfModel;  
      ja:baseModel [ 
         a tdb:GraphTDB;
         tdb:location "/work/pml/examples/utep/server/tdb/";
      ];
   ];
.

joseki-config-utep-tdb-1ng.ttl

mkdir tdb-1ng
tdbloader --loc=tdb-1ng --graph=http://iw.cs.utep.edu:8080/service-output/proofs/ *.owl

296.5 MB directory

<#service2>
    rdf:type            joseki:Service ;
    rdfs:label          "SPARQL-TDB" ;
    joseki:serviceRef   "sparql" ;
    joseki:dataset      <#utep-dataset-1ng> ;
.

<#utep-dataset-Xng>
   a tdb:DatasetTDB;
   tdb:location "/work/pml/examples/utep/server/tdb-1ng/";
.

joseki-config-utep-tdb-Xng.ttl

mkdir tdb-Xng

tdbloader --loc=tdb-Xng --graph=http://iw.cs.utep.edu:8080/service-output/proofs/griddedData_1208973039750.owl  griddedData_1208973039750.owl
tdbloader --loc=tdb-Xng --graph=http://iw.cs.utep.edu:8080/service-output/proofs/contourMapPS_1208973041889.owl contourMapPS_1208973041889.owl
...

18.8 GB directory

<#service2>
    rdf:type            joseki:Service ;
    rdfs:label          "SPARQL-TDB" ;
    joseki:serviceRef   "sparql" ;
    joseki:dataset      <#utep-dataset-Xng> ;
.

<#utep-dataset-Xng>
   a tdb:DatasetTDB;
   tdb:location "/work/pml/examples/utep/server/tdb-Xng/";
.

Queries

What inference engines are used?

prefix pmlp:     <http://inference-web.org/2.0/pml-provenance.owl#>
prefix pmlj:     <http://inference-web.org/2.0/pml-justification.owl#>

select distinct ?engine
where {
  ?s pmlj:hasInferenceEngine ?engine 
}