public class OWLDataExactCardinalityImpl extends OWLDataCardinalityRestrictionImpl implements OWLDataExactCardinality
Constructor and Description |
---|
OWLDataExactCardinalityImpl(OWLDataPropertyExpression property,
int cardinality,
OWLDataRange filler) |
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
|
OWLClassExpression |
asIntersectionOfMinMax()
Obtains an equivalent form that is a conjunction of a min cardinality and max cardinality
restriction.
|
boolean |
equals(Object obj) |
ClassExpressionType |
getClassExpressionType()
Gets the class expression type for this class expression
|
addAnonymousIndividualsToSet, addSignatureEntitiesToSet, getProperty, isDataRestriction, isObjectRestriction, isQualified
getCardinality, 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
getCardinality, isQualified
getFiller
getProperty
isDataRestriction, isObjectRestriction
asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getComplementNNF, getNNF, getObjectComplementOf, isClassExpressionLiteral, isOWLNothing, isOWLThing
public OWLDataExactCardinalityImpl(@Nonnull OWLDataPropertyExpression property, int cardinality, @Nonnull OWLDataRange filler)
property
- propertycardinality
- cardinalityfiller
- fillerpublic ClassExpressionType getClassExpressionType()
OWLClassExpression
getClassExpressionType
in interface OWLClassExpression
public boolean equals(Object obj)
equals
in class OWLDataCardinalityRestrictionImpl
public void accept(@Nonnull 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
public OWLClassExpression asIntersectionOfMinMax()
OWLDataExactCardinality
asIntersectionOfMinMax
in interface OWLDataExactCardinality
Copyright © 2020 The University of Manchester. All rights reserved.