|
Interface encapsulating the class of properties that are inverse functional:
that is, properties in which a given given range value has a unique value in
the domain (effectively, a key). In OWL DL and OWL Lite, an inverse functional
property cannot be a datatype property, whereas OWL Full does permit this
(see the relevant section of
the
OWL reference for details). We conservatively model this in Jena by
having this interface extend
ObjectProperty . Users who wish to represent
inverse functional datatype properties in OWL Full may have to switch
off strict checking in OntModel (see
OntModel.setStrictMode(boolean) .
author:
Ian Dickinson, HP Labs
author:
(email)
version:
CVS $Id: InverseFunctionalProperty.java,v 1.9 2008/01/02 12:06:38 andy_seaborne Exp $ |