01: /******************************************************************
02: * File: BindingEnvironment.java
03: * Created by: Dave Reynolds
04: * Created on: 30-Mar-03
05: *
06: * (c) Copyright 2003, 2004, 2005, 2006, 2007, 2008 Hewlett-Packard Development Company, LP
07: * [See end of file]
08: * $Id: BindingEnvironment.java,v 1.11 2008/01/02 12:07:47 andy_seaborne Exp $
09: *****************************************************************/package com.hp.hpl.jena.reasoner.rulesys;
10:
11: import com.hp.hpl.jena.graph.*;
12: import com.hp.hpl.jena.reasoner.TriplePattern;
13:
14: /**
15: * Interface through which the current bound values of variables
16: * can be found. Many of the details vary between the forward and
17: * backward chaining system - this interface is the minimal one needed
18: * by most builtins the specific implementations offer richer functionality.
19: *
20: * @author <a href="mailto:der@hplb.hpl.hp.com">Dave Reynolds</a>
21: * @version $Revision: 1.11 $ on $Date: 2008/01/02 12:07:47 $
22: */
23: public interface BindingEnvironment {
24:
25: /**
26: * Return the most ground version of the node. If the node is not a variable
27: * just return it, if it is a varible bound in this environment return the binding,
28: * if it is an unbound variable return the variable.
29: */
30: public Node getGroundVersion(Node node);
31:
32: /**
33: * Bind a variable in the current envionment to the given value.
34: * Checks that the new binding is compatible with any current binding.
35: * @param var a Node_RuleVariable defining the variable to bind
36: * @param value the value to bind
37: * @return false if the binding fails
38: */
39: public boolean bind(Node var, Node value);
40:
41: /**
42: * Instantiate a triple pattern against the current environment.
43: * This version handles unbound varibles by turning them into bNodes.
44: * @param pattern the triple pattern to match
45: * @return a new, instantiated triple
46: */
47: public Triple instantiate(TriplePattern pattern);
48:
49: }
50:
51: /*
52: (c) Copyright 2003, 2004, 2005, 2006, 2007, 2008 Hewlett-Packard Development Company, LP
53: All rights reserved.
54:
55: Redistribution and use in source and binary forms, with or without
56: modification, are permitted provided that the following conditions
57: are met:
58:
59: 1. Redistributions of source code must retain the above copyright
60: notice, this list of conditions and the following disclaimer.
61:
62: 2. Redistributions in binary form must reproduce the above copyright
63: notice, this list of conditions and the following disclaimer in the
64: documentation and/or other materials provided with the distribution.
65:
66: 3. The name of the author may not be used to endorse or promote products
67: derived from this software without specific prior written permission.
68:
69: THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
70: IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
71: OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
72: IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
73: INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
74: NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
75: DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
76: THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
77: (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
78: THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
79: */
|