AGPrologDisjunction.java

package com.franz.ag.examples;

import com.franz.ag.*;


public class AGPrologDisjunction {

    /**
     * Demonstrates some basics of using disjunction and recursion in Prolog.
     * 
     * @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("prologdisjunction", 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/");

        // Disjunction is represented with multiple horn clauses using
        // the <- operator to complement existing rules with the same head.  
        // Note that this group of rules also involves recursion.
        AGUtils.addPrologRule("(<-- (ancestor ?x ?y) (q ?x !ex:has-child ?y))", ts);
        AGUtils.addPrologRule("(<-  (ancestor ?x ?y) (q ?x !ex:has-child ?z) (ancestor ?z ?y))", ts);
        
        // Find all ancestors of person13
        String pquery = "(?x)" + "(ancestor ?x !ex:person13)";
        AGUtils.doPrologQuery(ts, pquery);
        
        // Find all descendants of person13
        AGUtils.addPrologRule("(<-- (descendent ?x ?y) (ancestor ?y ?x))", ts);
        pquery = "(?x)" + "(descendent ?x !ex:person13)";
        AGUtils.doPrologQuery(ts, pquery);
        
        // Close the triple store and disconnect from the server.
        ts.closeTripleStore();
        ags.disable();
    }
}

Up | Next