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)
.
asDatatypeProperty, asFunctionalProperty, asInverseFunctionalProperty, asObjectProperty, asSymmetricProperty, asTransitiveProperty, convertToDatatypeProperty, convertToFunctionalProperty, convertToInverseFunctionalProperty, convertToObjectProperty, convertToSymmetricProperty, convertToTransitiveProperty, isDatatypeProperty, isFunctionalProperty, isInverseFunctionalProperty, isObjectProperty, isSymmetricProperty, isTransitiveProperty
asAnnotationProperty, asProperty, isAnnotationProperty, isProperty
isProperty
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
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
getLocalName, getNameSpace, getOrdinal, inModel, isProperty
abort, addLiteral, addLiteral, addLiteral, addLiteral, addLiteral, addLiteral, addLiteral, addProperty, addProperty, addProperty, addProperty, begin, commit, equals, getId, getProperty, getProperty, getPropertyResourceValue, getRequiredProperty, getRequiredProperty, getURI, hasLiteral, hasLiteral, hasLiteral, hasLiteral, hasLiteral, hasLiteral, hasProperty, hasProperty, hasProperty, hasProperty, hasURI, listProperties, listProperties, listProperties, removeAll, removeProperties, toString
as, asLiteral, asResource, canAs, getModel, isAnon, isLiteral, isResource, isURIResource, visitWith
asNode
Licenced under the Apache License, Version 2.0