public interface OWLObjectCardinalityRestriction extends OWLCardinalityRestriction<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>
getCardinality, isQualified
getFiller
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