R
- rangeP
- property expressionV
- the value typepublic interface OWLHasValueRestriction<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>,V extends OWLObject> extends OWLRestriction<R,P,P>, HasFiller<V>
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
asSomeValuesFrom()
A convenience method that obtains this restriction as an existential
restriction with a nominal filler.
|
V |
getValue()
Gets the value which is the filler for this restriction.
|
getProperty, isDataRestriction, isObjectRestriction
accept, accept, asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getClassExpressionType, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isClassExpressionLiteral, isOWLNothing, isOWLThing
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
compareTo
containsEntityInSignature
V getValue()
OWLClassExpression asSomeValuesFrom()
Copyright © 2017 The University of Manchester. All Rights Reserved.