public interface OWLObjectExactCardinality extends OWLObjectCardinalityRestriction
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
asIntersectionOfMinMax()
Obtains an equivalent form that is a conjunction of a min cardinality and
max cardinality restriction.
|
getCardinality, isQualified
getFiller
getProperty
isDataRestriction, isObjectRestriction
accept, accept, asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getClassExpressionType, getComplementNNF, getNNF, getObjectComplementOf, isClassExpressionLiteral, isOWLNothing, isOWLThing
@Nonnull OWLClassExpression asIntersectionOfMinMax()
Copyright © 2020 The University of Manchester. All rights reserved.