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: InverseFunctionalProperty.java,v $
10: * Revision $Revision: 1.9 $
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 encapsulating the class of properties that are inverse functional:
26: * that is, properties in which a given given range value has a unique value in
27: * the domain (effectively, a key). In OWL DL and OWL Lite, an inverse functional
28: * property cannot be a datatype property, whereas OWL Full does permit this
29: * (see the relevant section of
30: * <a href="http://www.w3.org/TR/2004/REC-owl-ref-20040210/#InverseFunctionalProperty-def">the
31: * OWL reference</a> for details). We conservatively model this in Jena by
32: * having this interface extend {@link ObjectProperty}. Users who wish to represent
33: * inverse functional datatype properties in OWL Full may have to switch
34: * off strict checking in <code>OntModel</code> (see {@link OntModel#setStrictMode(boolean)}.
35: * </p>
36: *
37: * @author Ian Dickinson, HP Labs
38: * (<a href="mailto:Ian.Dickinson@hp.com" >email</a>)
39: * @version CVS $Id: InverseFunctionalProperty.java,v 1.9 2008/01/02 12:06:38 andy_seaborne Exp $
40: */
41: public interface InverseFunctionalProperty extends ObjectProperty {
42: // Constants
43: //////////////////////////////////
44:
45: // External signature methods
46: //////////////////////////////////
47:
48: }
49:
50: /*
51: (c) Copyright 2002, 2003, 2004, 2005, 2006, 2007, 2008 Hewlett-Packard Development Company, LP
52: All rights reserved.
53:
54: Redistribution and use in source and binary forms, with or without
55: modification, are permitted provided that the following conditions
56: are met:
57:
58: 1. Redistributions of source code must retain the above copyright
59: notice, this list of conditions and the following disclaimer.
60:
61: 2. Redistributions in binary form must reproduce the above copyright
62: notice, this list of conditions and the following disclaimer in the
63: documentation and/or other materials provided with the distribution.
64:
65: 3. The name of the author may not be used to endorse or promote products
66: derived from this software without specific prior written permission.
67:
68: THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
69: IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
70: OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
71: IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
72: INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
73: NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
74: DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
75: THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
76: (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
77: THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
78: */
|