Interface InverseFunctionalProperty

All Superinterfaces:
FrontsNode, ObjectProperty, OntProperty, OntResource, Property, RDFNode, Resource
All Known Implementing Classes:
InverseFunctionalPropertyImpl

public interface InverseFunctionalProperty extends ObjectProperty

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).