public interface Restriction extends OntClass
Interface that encapsulates a class description formed by restricting one or more properties to have constrained values and/or cardinalities.
asAnnotationProperty, asDatatypeProperty, asObjectProperty, asProperty, isAnnotationProperty, isDatatypeProperty, isObjectProperty, isProperty
Modifier and Type | Method and Description |
---|---|
AllValuesFromRestriction |
asAllValuesFromRestriction()
Answer a view of this restriction as an all values from expression
|
CardinalityRestriction |
asCardinalityRestriction()
Answer a view of this restriction as a cardinality restriction class expression
|
HasValueRestriction |
asHasValueRestriction()
Answer a view of this restriction as a has value expression
|
MaxCardinalityRestriction |
asMaxCardinalityRestriction()
Answer a view of this restriction as a max cardinality restriction class expression
|
MinCardinalityRestriction |
asMinCardinalityRestriction()
Answer a view of this restriction as a min cardinality restriction class expression
|
SomeValuesFromRestriction |
asSomeValuesFromRestriction()
Answer a view of this restriction as a some values from expression
|
AllValuesFromRestriction |
convertToAllValuesFromRestriction(Resource cls)
Convert this restriction to an all values from class expression.
|
CardinalityRestriction |
convertToCardinalityRestriction(int cardinality)
Convert this restriction to a cardinality restriction class expression
|
HasValueRestriction |
convertToHasValueRestriction(RDFNode value)
Convert this restriction to a has value class expression
|
MaxCardinalityRestriction |
convertToMaxCardinalityRestriction(int cardinality)
Convert this restriction to a max cardinality restriction class expression
|
MinCardinalityRestriction |
convertToMinCardinalityRestriction(int cardinality)
Convert this restriction to a min cardinality restriction class expression
|
SomeValuesFromRestriction |
convertToSomeValuesFromRestriction(Resource cls)
Convert this restriction to a some values from class expression
|
OntProperty |
getOnProperty()
Answer the property that this property restriction applies to.
|
boolean |
isAllValuesFromRestriction()
Answer true if this restriction is an all values from restriction
|
boolean |
isCardinalityRestriction()
Answer true if this restriction is a cardinality restriction (ie is a property restriction
constructed with an
owl:cardinality operator, or similar). |
boolean |
isHasValueRestriction()
Answer true if this restriction is a has value restriction
|
boolean |
isMaxCardinalityRestriction()
Answer true if this restriction is a max cardinality restriction (ie is a property restriction
constructed with an
owl:maxCardinality operator, or similar). |
boolean |
isMinCardinalityRestriction()
Answer true if this restriction is a min cardinality restriction (ie is a property restriction
constructed with an
owl:minCardinality operator, or similar). |
boolean |
isSomeValuesFromRestriction()
Answer true if this restriction is a some values from restriction
|
boolean |
onProperty(Property prop)
Answer true if this restriction is a property restriction on the given property.
|
void |
removeOnProperty(Property prop)
Remove the given property as the property that this restriction applies to.
|
void |
setOnProperty(Property prop)
Assert that the property that this restriction applies to is the given property.
|
addDisjointWith, addEquivalentClass, addSubClass, addSuperClass, asComplementClass, asEnumeratedClass, asIntersectionClass, asRestriction, asUnionClass, convertToComplementClass, convertToEnumeratedClass, convertToIntersectionClass, convertToRestriction, convertToUnionClass, createIndividual, createIndividual, dropIndividual, getDisjointWith, getEquivalentClass, getSubClass, getSuperClass, hasDeclaredProperty, hasEquivalentClass, hasSubClass, hasSubClass, hasSubClass, hasSuperClass, hasSuperClass, hasSuperClass, isComplementClass, isDisjointWith, isEnumeratedClass, isHierarchyRoot, isIntersectionClass, isRestriction, isUnionClass, listDeclaredProperties, listDeclaredProperties, listDisjointWith, listEquivalentClasses, listInstances, listInstances, listSubClasses, listSubClasses, listSuperClasses, listSuperClasses, removeDisjointWith, removeEquivalentClass, removeSubClass, removeSuperClass, setDisjointWith, setEquivalentClass, setSubClass, setSuperClass
addComment, addComment, addDifferentFrom, addIsDefinedBy, addLabel, addLabel, addRDFType, addSameAs, addSeeAlso, addVersionInfo, asAllDifferent, asAnnotationProperty, asClass, asDataRange, asDatatypeProperty, asIndividual, asObjectProperty, 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, isDatatypeProperty, isDefinedBy, isDifferentFrom, isIndividual, isObjectProperty, 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
abort, addLiteral, addLiteral, addLiteral, addLiteral, addLiteral, addLiteral, addLiteral, addProperty, addProperty, addProperty, addProperty, begin, commit, equals, getId, getLocalName, getNameSpace, getProperty, getProperty, getPropertyResourceValue, getRequiredProperty, getRequiredProperty, getURI, hasLiteral, hasLiteral, hasLiteral, hasLiteral, hasLiteral, hasLiteral, hasProperty, hasProperty, hasProperty, hasProperty, hasURI, inModel, listProperties, listProperties, listProperties, removeAll, removeProperties, toString
as, asLiteral, asResource, canAs, getModel, isAnon, isLiteral, isResource, isURIResource, visitWith
asNode
void setOnProperty(Property prop)
Assert that the property that this restriction applies to is the given property. Any existing
statements for onProperty
will be removed.
prop
- The property that this restriction applies toProfileException
- If the Profile.ON_PROPERTY()
property is not supported in the current language profile.OntProperty getOnProperty()
Answer the property that this property restriction applies to. If there is
more than one such resource, an arbitrary selection is made (though well-defined property restrictions
should not have more than one onProperty
statement.
ProfileException
- If the Profile.ON_PROPERTY()
property is not supported in the current language profile.boolean onProperty(Property prop)
Answer true if this restriction is a property restriction on the given property.
prop
- A property to test againstprop
ProfileException
- If the Profile.ON_PROPERTY()
property is not supported in the current language profile.void removeOnProperty(Property prop)
Remove the given property as the property that this restriction applies to. If this statement is not true of the current model, nothing happens.
prop
- The property to be removed as a the property that this restriction applies toAllValuesFromRestriction asAllValuesFromRestriction()
Answer a view of this restriction as an all values from expression
ConversionException
- if the class cannot be converted to an all values from restriction
given the lanuage profile and the current state of the underlying model.SomeValuesFromRestriction asSomeValuesFromRestriction()
Answer a view of this restriction as a some values from expression
ConversionException
- if the class cannot be converted to an all values from restriction
given the lanuage profile and the current state of the underlying model.HasValueRestriction asHasValueRestriction()
Answer a view of this restriction as a has value expression
ConversionException
- if the class cannot be converted to a has value restriction
given the lanuage profile and the current state of the underlying model.CardinalityRestriction asCardinalityRestriction()
Answer a view of this restriction as a cardinality restriction class expression
ConversionException
- if the class cannot be converted to a cardinality restriction
given the lanuage profile and the current state of the underlying model.MinCardinalityRestriction asMinCardinalityRestriction()
Answer a view of this restriction as a min cardinality restriction class expression
ConversionException
- if the class cannot be converted to a min cardinality restriction
given the lanuage profile and the current state of the underlying model.MaxCardinalityRestriction asMaxCardinalityRestriction()
Answer a view of this restriction as a max cardinality restriction class expression
ConversionException
- if the class cannot be converted to a max cardinality restriction
given the lanuage profile and the current state of the underlying model.boolean isAllValuesFromRestriction()
Answer true if this restriction is an all values from restriction
ProfileException
- if Profile.ALL_VALUES_FROM()
is not supported in the current profileboolean isSomeValuesFromRestriction()
Answer true if this restriction is a some values from restriction
ProfileException
- if Profile.SOME_VALUES_FROM()
is not supported in the current profileboolean isHasValueRestriction()
Answer true if this restriction is a has value restriction
ProfileException
- if Profile.HAS_VALUE()
is not supported in the current profileboolean isCardinalityRestriction()
Answer true if this restriction is a cardinality restriction (ie is a property restriction
constructed with an owl:cardinality
operator, or similar). This is not a test for
a restriction that tests cardinalities in general.
ProfileException
- if Profile.CARDINALITY()
is not supported in the current profileboolean isMinCardinalityRestriction()
Answer true if this restriction is a min cardinality restriction (ie is a property restriction
constructed with an owl:minCardinality
operator, or similar). This is not a test for
a restriction that tests cardinalities in general.
ProfileException
- if Profile.MIN_CARDINALITY()
is not supported in the current profileboolean isMaxCardinalityRestriction()
Answer true if this restriction is a max cardinality restriction (ie is a property restriction
constructed with an owl:maxCardinality
operator, or similar). This is not a test for
a restriction that tests cardinalities in general.
ProfileException
- if Profile.MAX_CARDINALITY()
is not supported in the current profileAllValuesFromRestriction convertToAllValuesFromRestriction(Resource cls)
Convert this restriction to an all values from class expression.
cls
- The class to which all values of the restricted property must belong, to be in the
extension of this restrictionProfileException
- if Profile.ALL_VALUES_FROM()
is not supported in the current profileSomeValuesFromRestriction convertToSomeValuesFromRestriction(Resource cls)
Convert this restriction to a some values from class expression
cls
- The class to which at least one value of the restricted property must belong, to be in the
extension of this restrictionProfileException
- if Profile.SOME_VALUES_FROM()
is not supported in the current profileHasValueRestriction convertToHasValueRestriction(RDFNode value)
Convert this restriction to a has value class expression
value
- The value which the restricted property must have, for resource to be
in the extension of this restriction. Can be a resource or a literal.ProfileException
- if Profile.HAS_VALUE()
is not supported in the current profileCardinalityRestriction convertToCardinalityRestriction(int cardinality)
Convert this restriction to a cardinality restriction class expression
cardinality
- The exact cardinality for the restricted propertyProfileException
- if Profile.CARDINALITY()
is not supported in the current profileMinCardinalityRestriction convertToMinCardinalityRestriction(int cardinality)
Convert this restriction to a min cardinality restriction class expression
cardinality
- The minimum cardinality for the restricted propertyProfileException
- if Profile.MIN_CARDINALITY()
is not supported in the current profileMaxCardinalityRestriction convertToMaxCardinalityRestriction(int cardinality)
Convert this restriction to a max cardinality restriction class expression
cardinality
- The maximum cardinality for the restricted propertyProfileException
- if Profile.MAX_CARDINALITY()
is not supported in the current profileLicenced under the Apache License, Version 2.0