public class OWLDataMinCardinalityImpl extends OWLDataCardinalityRestrictionImpl implements OWLDataMinCardinality
Constructor and Description |
---|
OWLDataMinCardinalityImpl(OWLDataPropertyExpression property,
int cardinality) |
OWLDataMinCardinalityImpl(OWLDataPropertyExpression property,
int cardinality,
OWLDataRange filler) |
Modifier and Type | Method and Description |
---|---|
void |
accept(OWLClassExpressionVisitor visitor)
Accepts a visitor
|
<O> O |
accept(OWLClassExpressionVisitorEx<O> visitor)
Accepts a visitor
|
void |
accept(OWLObjectVisitor visitor)
Accepts a visitor
|
<O> O |
accept(OWLObjectVisitorEx<O> visitor)
Accepts a visitor
|
boolean |
equals(Object obj) |
ClassExpressionType |
getClassExpressionType()
Gets the class expression type for this class expression
|
isDataRestriction, isObjectRestriction, isQualified
getCardinality, getFiller
getProperty, isClassExpressionLiteral
asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isOWLNothing, isOWLThing
compareTo, containsEntityInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString
isQualified
getFiller
getProperty, isDataRestriction, isObjectRestriction
asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isClassExpressionLiteral, isOWLNothing, isOWLThing
getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
compareTo
containsEntityInSignature
getCardinality
public OWLDataMinCardinalityImpl(OWLDataPropertyExpression property, int cardinality, OWLDataRange filler)
property
- propertycardinality
- cardinalityfiller
- fillerpublic OWLDataMinCardinalityImpl(OWLDataPropertyExpression property, int cardinality)
property
- propertycardinality
- cardinalitypublic ClassExpressionType getClassExpressionType()
OWLClassExpression
getClassExpressionType
in interface OWLClassExpression
public boolean equals(Object obj)
equals
in class OWLDataCardinalityRestrictionImpl
public void accept(OWLClassExpressionVisitor visitor)
OWLClassExpression
accept
in interface OWLClassExpression
visitor
- The visitorpublic void accept(OWLObjectVisitor visitor)
OWLObject
public <O> O accept(OWLClassExpressionVisitorEx<O> visitor)
OWLClassExpression
accept
in interface OWLClassExpression
O
- visitor return typevisitor
- The visitorpublic <O> O accept(OWLObjectVisitorEx<O> visitor)
OWLObject
Copyright © 2017 The University of Manchester. All Rights Reserved.