AGReasoningHasValue.java

package com.franz.agbase.examples;

import com.franz.agbase.*;

public class AGReasoningHasValue {

    /**
     * Demonstrates reasoning involving owl:TransitiveProperty
     * 
     * @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 fresh triple-store for this example.
        AllegroGraph ts = ags.renew("transitiveproperty", AGPaths.TRIPLE_STORES);
        
        // Register your namespaces
        ts.registerNamespace("ex","http://example.org/");
        
        // Load relevant triples from an ontology
        AGLoadNtriples.loadNTriplesWithTiming(ts,AGPaths.dataSources("space-mission-atlantis.ntriples"));
        
        // Add some data
        ts.addStatement("!ex:mission1","!rdf:type","!ex:AtlantisMission");
        
        // Demonstrate hasValue reasoning
        String query = "PREFIX ex: <http://example.org/> " +
            "SELECT ?shuttle WHERE { ex:mission1 ex:shuttleUsed ?shuttle }";
        SPARQLQuery sq = new SPARQLQuery();
        sq.setTripleStore(ts);
        sq.setQuery(query);
        sq.setIncludeInferred(true);
        sq.setHasValue(true);
        AGSparqlSelect.doSparqlSelect(sq);

        // Close the triple store and disconnect from the server.
        ts.closeTripleStore();
        ags.disable();
    }

}

Up | Next

Copyright © 2023 Franz Inc., All Rights Reserved | Privacy Statement Twitter