public class OWLDataHasValueImpl extends OWLValueRestrictionImpl<OWLLiteral> implements OWLDataHasValue, OWLDataRestriction
Constructor and Description |
---|
OWLDataHasValueImpl(OWLDataPropertyExpression property,
OWLLiteral value) |
Modifier and Type | Method and Description |
---|---|
void |
accept(OWLClassExpressionVisitor visitor)
Accepts a visit from an
OWLExpressionVisitor |
<O> O |
accept(OWLClassExpressionVisitorEx<O> visitor) |
void |
accept(OWLObjectVisitor visitor)
Accepts a visitor
|
<O> O |
accept(OWLObjectVisitorEx<O> visitor)
Accepts a visitor
|
void |
addAnonymousIndividualsToSet(Set<OWLAnonymousIndividual> anons) |
void |
addSignatureEntitiesToSet(Set<OWLEntity> entities) |
OWLClassExpression |
asSomeValuesFrom()
A convenience method that obtains this restriction as an existential restriction with a
nominal filler.
|
boolean |
equals(Object obj) |
ClassExpressionType |
getClassExpressionType()
Gets the class expression type for this class expression
|
OWLDataPropertyExpression |
getProperty()
Gets the property/properties that the restriction acts along depending on
R being a scalar or collection type.
|
boolean |
isDataRestriction()
Determines if this is a data restriction.
|
boolean |
isObjectRestriction()
Determines if this is an object restriction.
|
getFiller, getValue
isClassExpressionLiteral
asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getComplementNNF, getNNF, getObjectComplementOf, isOWLNothing, isOWLThing
compareTo, containsEntityInSignature, getAnnotationPropertiesInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString
getFiller, getValue
asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getComplementNNF, getNNF, getObjectComplementOf, isClassExpressionLiteral, isOWLNothing, isOWLThing
public OWLDataHasValueImpl(@Nonnull OWLDataPropertyExpression property, @Nonnull OWLLiteral value)
property
- propertyvalue
- valuepublic void addSignatureEntitiesToSet(Set<OWLEntity> entities)
addSignatureEntitiesToSet
in interface HasIncrementalSignatureGenerationSupport
entities
- entity set where entities will be addedpublic void addAnonymousIndividualsToSet(Set<OWLAnonymousIndividual> anons)
addAnonymousIndividualsToSet
in interface HasIncrementalSignatureGenerationSupport
anons
- anonymous individuals set where individuals will be addedpublic OWLDataPropertyExpression getProperty()
OWLDataRestriction
getProperty
in interface HasProperty<OWLDataPropertyExpression>
getProperty
in interface OWLDataRestriction
getProperty
in interface OWLRestriction
public ClassExpressionType getClassExpressionType()
OWLClassExpression
getClassExpressionType
in interface OWLClassExpression
public boolean isObjectRestriction()
OWLRestriction
isObjectRestriction
in interface OWLRestriction
true
if this is an object restriction, otherwise
false
public boolean isDataRestriction()
OWLRestriction
isDataRestriction
in interface OWLRestriction
true
if this is a data restriction, otherwise
false
public boolean equals(Object obj)
equals
in class OWLValueRestrictionImpl<OWLLiteral>
@Nonnull public OWLClassExpression asSomeValuesFrom()
OWLHasValueRestriction
asSomeValuesFrom
in interface OWLHasValueRestriction<OWLLiteral>
public void accept(OWLClassExpressionVisitor visitor)
OWLClassExpression
OWLExpressionVisitor
accept
in interface OWLClassExpression
visitor
- The visitor that wants to visitpublic void accept(OWLObjectVisitor visitor)
OWLObject
public <O> O accept(OWLClassExpressionVisitorEx<O> visitor)
accept
in interface OWLClassExpression
O
- visitor return typevisitor
- visitorpublic <O> O accept(OWLObjectVisitorEx<O> visitor)
OWLObject
Copyright © 2020 The University of Manchester. All rights reserved.