com.hp.hpl.jena.ontology
Interface InverseFunctionalProperty

All Superinterfaces:

FrontsNode, ObjectProperty, OntProperty, OntResource, Property, RDFNode, Resource

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

Version:

CVS $Id: InverseFunctionalProperty.java,v 1.2 2009-10-06 13:04:34 ian_dickinson Exp $

Author:

Ian Dickinson, HP Labs (email)

Method Summary

Methods inherited from interface com.hp.hpl.jena.ontology.OntProperty

addDomain, addEquivalentProperty, addInverseOf, addRange, addSubProperty, addSuperProperty, asDatatypeProperty, asFunctionalProperty, asInverseFunctionalProperty, asObjectProperty, asSymmetricProperty, asTransitiveProperty, convertToDatatypeProperty, convertToFunctionalProperty, convertToInverseFunctionalProperty, convertToObjectProperty, convertToSymmetricProperty, convertToTransitiveProperty, getDomain, getEquivalentProperty, getInverse, getInverseOf, getRange, getSubProperty, getSuperProperty, hasDomain, hasEquivalentProperty, hasInverse, hasRange, hasSubProperty, hasSuperProperty, isDatatypeProperty, isFunctionalProperty, isInverseFunctionalProperty, isInverseOf, isObjectProperty, isSymmetricProperty, isTransitiveProperty, listDeclaringClasses, listDeclaringClasses, listDomain, listEquivalentProperties, listInverse, listInverseOf, listRange, listReferringRestrictions, listSubProperties, listSubProperties, listSuperProperties, listSuperProperties, removeDomain, removeEquivalentProperty, removeInverseProperty, removeRange, removeSubProperty, removeSuperProperty, setDomain, setEquivalentProperty, setInverseOf, setRange, setSubProperty, setSuperProperty

Methods inherited from interface com.hp.hpl.jena.ontology.OntResource

addComment, addComment, addDifferentFrom, addIsDefinedBy, addLabel, addLabel, addRDFType, addSameAs, addSeeAlso, addVersionInfo, asAllDifferent, asAnnotationProperty, asClass, asDataRange, asIndividual, asOntology, asProperty, getCardinality, getComment, getDifferentFrom, getIsDefinedBy, getLabel, getOntModel, getProfile, getPropertyValue, getRDFType, getRDFType, getSameAs, getSeeAlso, getVersionInfo, hasComment, hasComment, hasLabel, hasLabel, hasRDFType, hasRDFType, hasRDFType, hasSeeAlso, hasVersionInfo, isAllDifferent, isAnnotationProperty, isClass, isDataRange, isDefinedBy, isDifferentFrom, isIndividual, isOntLanguageTerm, isOntology, isProperty, isSameAs, listComments, listDifferentFrom, listIsDefinedBy, listLabels, listPropertyValues, listRDFTypes, listSameAs, listSeeAlso, listVersionInfo, remove, removeComment, removeComment, removeDefinedBy, removeDifferentFrom, removeLabel, removeLabel, removeProperty, removeRDFType, removeSameAs, removeSeeAlso, removeVersionInfo, setComment, setDifferentFrom, setIsDefinedBy, setLabel, setPropertyValue, setRDFType, setSameAs, setSeeAlso, setVersionInfo

Methods inherited from interface com.hp.hpl.jena.rdf.model.Property

getLocalName, getNameSpace, getOrdinal, inModel, isProperty

Methods inherited from interface com.hp.hpl.jena.rdf.model.Resource

abort, addLiteral, addLiteral, addLiteral, addLiteral, addLiteral, addLiteral, addLiteral, addProperty, addProperty, addProperty, addProperty, begin, commit, equals, getId, getProperty, getPropertyResourceValue, getRequiredProperty, getURI, hasLiteral, hasLiteral, hasLiteral, hasLiteral, hasLiteral, hasLiteral, hasProperty, hasProperty, hasProperty, hasProperty, hasURI, listProperties, listProperties, removeAll, removeProperties, toString

Methods inherited from interface com.hp.hpl.jena.rdf.model.RDFNode

as, asLiteral, asResource, canAs, getModel, isAnon, isLiteral, isResource, isURIResource, visitWith

Methods inherited from interface com.hp.hpl.jena.graph.FrontsNode

asNode