Support/Doc | About | Purchase | Advanced Search
AGSparqlReasoning.java

package com.franz.agbase.examples;



import com.franz.agbase.*;



public class AGSparqlReasoning {



    /**

     * Demonstrates using SPARQL with an RDFS++ entailment regime

     * 

     * @param args unused

     * @throws AllegroGraphException 

     */

    public static void main(String[] args) throws AllegroGraphException {

        // Connect to server, which must already be running.

        AllegroGraphConnection ags = new AllegroGraphConnection();

        try {

            ags.enable();

        } catch (Exception e) {

            throw new AllegroGraphException("Server connection problem", e);

        }

        // Create a fresh triple-store for this example.

        AllegroGraph ts = ags.renew("sparqlreasoning", AGPaths.TRIPLE_STORES);

        

        // Register your namespaces

        ts.registerNamespace("ex","http://example.org/");

        

        // Add some triples to the store

        ts.addStatement("!ex:a","!ex:owned-by","!ex:b");

        ts.addStatement("!ex:c","!ex:owns","!ex:d");

        ts.addStatement("!ex:jans","!ex:owns","!ex:birra");

        ts.addStatement("!ex:owned-by","!owl:inverseOf","!ex:owns");



        // A SPARQL query to determine what owns what

        String query = 

        "PREFIX ex: <http://example.org/> " +

        "SELECT DISTINCT ?x ?y " +

        "WHERE { ?x ex:owns ?y }";

        

        // First query using SPARQL's standard entailment regime 

        SPARQLQuery sq = new SPARQLQuery();

        sq.setTripleStore(ts);

        sq.setQuery(query);

        sq.setIncludeInferred(false);

        AGSparqlSelect.doSparqlSelect(sq);



        // Now using RDFS++ entailment

        sq.setIncludeInferred(true);

        AGSparqlSelect.doSparqlSelect(sq);



        // Add some more triples to the store

        ts.addStatement("!ex:A","!rdfs:subClassOf", "!ex:B");

        ts.addStatement("!ex:B","!rdfs:subClassOf", "!ex:C");

        ts.addStatement("!ex:a","!rdf:type", "!ex:A");

        

        // A query to determine the types of ex:a 

        query = 

        "PREFIX ex: <http://example.org/> " +

        "PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> " +

        "SELECT DISTINCT ?y " +

        "WHERE { ex:a rdf:type ?y }";



        // Query without RDFS++ reasoning

        sq.setQuery(query);

        sq.setIncludeInferred(false);

        AGSparqlSelect.doSparqlSelect(sq);

        

        // Now with reasoning

        sq.setIncludeInferred(true);

        AGSparqlSelect.doSparqlSelect(sq);

        

        // Close the triple store and disconnect from the server.

        ts.closeTripleStore();

        ags.disable();

    }

}
Up | Next