R
- the rangeP
- the property expressionF
- the valuepublic abstract class OWLCardinalityRestrictionImpl<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>,F extends OWLPropertyRange> extends OWLRestrictionImpl<R,P,F> implements OWLCardinalityRestriction<R,P,F>
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object obj) |
int |
getCardinality()
Gets the cardinality.
|
F |
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
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
compareTo
containsEntityInSignature
public int getCardinality()
HasCardinality
getCardinality
in interface HasCardinality
public F getFiller()
getFiller
in interface HasFiller<F extends OWLPropertyRange>
getFiller
in interface OWLQuantifiedRestriction<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>,F extends OWLPropertyRange>
public boolean equals(Object obj)
equals
in class OWLRestrictionImpl<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>,F extends OWLPropertyRange>
Copyright © 2017 The University of Manchester. All Rights Reserved.