01: /*****************************************************************************
02: * Source code information
03: * -----------------------
04: * Original author Ian Dickinson, HP Labs Bristol
05: * Author email Ian.Dickinson@hp.com
06: * Package Jena 2
07: * Web http://sourceforge.net/projects/jena/
08: * Created 10 Feb 2003
09: * Filename $RCSfile: TransitiveProperty.java,v $
10: * Revision $Revision: 1.7 $
11: * Release status $State: Exp $
12: *
13: * Last modified on $Date: 2008/01/02 12:06:38 $
14: * by $Author: andy_seaborne $
15: *
16: * (c) Copyright 2002, 2003, 2004, 2005, 2006, 2007, 2008 Hewlett-Packard Development Company, LP
17: * (see footer for full conditions)
18: * ****************************************************************************/package com.hp.hpl.jena.ontology;
19:
20: // Imports
21: ///////////////
22:
23: /**
24: * <p>
25: * Interface that encapsulates an property that is transitive i.e. one
26: * in which if <code>p(x, y)</code> holds, and <code>p(x, z)
27: * </code> holds, then <code>p(x, z)</code> must also hold.
28: * </p>
29: *
30: * @author Ian Dickinson, HP Labs
31: * (<a href="mailto:Ian.Dickinson@hp.com" >email</a>)
32: * @version CVS $Id: TransitiveProperty.java,v 1.7 2008/01/02 12:06:38 andy_seaborne Exp $
33: */
34: public interface TransitiveProperty extends ObjectProperty {
35: // Constants
36: //////////////////////////////////
37:
38: // External signature methods
39: //////////////////////////////////
40:
41: }
42:
43: /*
44: (c) Copyright 2003, 2004, 2005, 2006, 2007, 2008 Hewlett-Packard Development Company, LP
45: All rights reserved.
46:
47: Redistribution and use in source and binary forms, with or without
48: modification, are permitted provided that the following conditions
49: are met:
50:
51: 1. Redistributions of source code must retain the above copyright
52: notice, this list of conditions and the following disclaimer.
53:
54: 2. Redistributions in binary form must reproduce the above copyright
55: notice, this list of conditions and the following disclaimer in the
56: documentation and/or other materials provided with the distribution.
57:
58: 3. The name of the author may not be used to endorse or promote products
59: derived from this software without specific prior written permission.
60:
61: THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
62: IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
63: OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
64: IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
65: INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
66: NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
67: DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
68: THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
69: (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
70: THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
71: */
|