  Learning Center
  Documentation
  Updates
    • Info
  FAQ
AGPrologFunctorQminus.java

package com.franz.ag.examples;



import com.franz.ag.*;



public class AGPrologFunctorQminus {



    /**

     * Demonstrates some basics of using the Prolog functor q- to query 

     * triple stores.

     * 

     * @param 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("functorqminus", AGPaths.TRIPLE_STORES);



        // Load the Kennedy data

        AGUtils.loadNTriplesWithTiming(ts, AGPaths.dataSources("kennedy.ntriples"));



        // Index the store for faster querying

        AGUtils.indexAllTriplesWithTiming(ts);

        

        // Register any namespaces

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



        // Find all of the children of person1

        String pquery = "(?x)(q !ex:person1 !ex:has-child ?x)";

        AGUtils.doPrologQuery(ts, pquery);



        // Find all of the grand children of person1

        pquery = "(?y)(q !ex:person1 !ex:has-child ?x)(q ?x !ex:has-child ?y)";

        AGUtils.doPrologQuery(ts, pquery);



        // Find all of the grand children of person1 that have spouses

        pquery = "(?y ?z)" + "(q !ex:person1 !ex:has-child ?x)"

                + "(q ?x !ex:has-child ?y)" + "(q ?y !ex:spouse ?z)";

        AGUtils.doPrologQuery(ts, pquery);



        // Find parents and children with the same first name 

        pquery = "(?x ?y)" +

                 "(q ?x !ex:first-name ?n1)" +

                 "(q ?x !ex:has-child ?y)" +

                 "(q ?y !ex:first-name ?n2)" +

                 "(= ?n1 ?n2)";

        AGUtils.doPrologQuery(ts, pquery);



        // Find parents and children that went to ivy league schools

        pquery = "(?x ?y)" +

                 "(q ?x !ex:alma-mater ?am)" +

                 "(q ?am !ex:ivy-league !ex:true)" +

                 "(q ?x !ex:has-child ?y)" +

                 "(q ?y !ex:alma-mater ?am2)" +

                 "(q ?am2 !ex:ivy-league !ex:true)";

        AGUtils.doPrologQuery(ts, pquery);

        

        // Find those that attended the same ivy league school

        pquery = "(?x ?y)" +     

                 "(q ?x !ex:alma-mater ?am)" +

                 "(q ?am !ex:ivy-league !ex:true)" +

                 "(q ?x !ex:has-child ?y)" +

                 "(q ?y !ex:alma-mater ?am)";

        AGUtils.doPrologQuery(ts, pquery);

        

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

        ts.closeTripleStore();

        ags.disable();

    }

}
Up | Next