V
- the value typeComparable<OWLObject>
, HasAnnotationPropertiesInSignature
, HasAnonymousIndividuals
, HasClassesInSignature
, HasContainsEntityInSignature
, HasDataPropertiesInSignature
, HasDatatypesInSignature
, HasFiller<V>
, HasIndividualsInSignature
, HasObjectPropertiesInSignature
, HasSignature
, IsAnonymous
, OWLAnonymousClassExpression
, OWLClassExpression
, OWLObject
, OWLPropertyRange
, OWLRestriction
, Serializable
, SWRLPredicate
OWLDataHasValue
, OWLObjectHasValue
OWLDataHasValueImpl
, OWLObjectHasValueImpl
, OWLValueRestrictionImpl
public interface OWLHasValueRestriction<V extends OWLObject> extends OWLRestriction, HasFiller<V>
Modifier and Type | Method | Description |
---|---|---|
OWLClassExpression |
asSomeValuesFrom() |
A convenience method that obtains this restriction as an existential
restriction with a nominal filler.
|
V |
getFiller() |
Gets the value which is the filler for this restriction.
|
V |
getValue() |
Deprecated.
use getFiller instead
|
compareTo
getAnnotationPropertiesInSignature
getAnonymousIndividuals
getClassesInSignature
containsEntityInSignature
getDataPropertiesInSignature
getDatatypesInSignature
getIndividualsInSignature
getObjectPropertiesInSignature
getSignature
accept, accept, asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getClassExpressionType, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isClassExpressionLiteral, isOWLNothing, isOWLThing
accept, accept, getNestedClassExpressions, isBottomEntity, isIndividual, isIRI, isTopEntity, toString
getProperty, isDataRestriction, isObjectRestriction
@Nonnull V getFiller()
@Deprecated V getValue()
@Nonnull OWLClassExpression asSomeValuesFrom()
Copyright © 2018 The University of Manchester. All rights reserved.