public abstract class OWLQuantifiedDataRestrictionImpl extends OWLQuantifiedRestrictionImpl<OWLDataRange> implements OWLDataRestriction
Constructor and Description |
---|
OWLQuantifiedDataRestrictionImpl(OWLDataPropertyExpression property,
OWLDataRange filler) |
Modifier and Type | Method and Description |
---|---|
void |
addAnonymousIndividualsToSet(Set<OWLAnonymousIndividual> anons) |
void |
addSignatureEntitiesToSet(Set<OWLEntity> entities) |
boolean |
equals(Object obj) |
OWLDataPropertyExpression |
getProperty()
Gets the property/properties that the restriction acts along depending on
R being a scalar or collection type.
|
getFiller
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
isDataRestriction, isObjectRestriction
accept, accept, asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getClassExpressionType, getComplementNNF, getNNF, getObjectComplementOf, isClassExpressionLiteral, isOWLNothing, isOWLThing
accept, accept, getNestedClassExpressions, isBottomEntity, isIndividual, isIRI, isTopEntity, toString
compareTo
getSignature
containsEntityInSignature
getAnonymousIndividuals
getClassesInSignature
getObjectPropertiesInSignature
getDataPropertiesInSignature
getIndividualsInSignature
getDatatypesInSignature
getAnnotationPropertiesInSignature
isAnonymous, isNamed
public OWLQuantifiedDataRestrictionImpl(@Nonnull OWLDataPropertyExpression property, @Nonnull OWLDataRange filler)
property
- propertyfiller
- fillerpublic 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 boolean equals(Object obj)
equals
in class OWLQuantifiedRestrictionImpl<OWLDataRange>
Copyright © 2020 The University of Manchester. All rights reserved.