public abstract class OWLDataCardinalityRestrictionImpl extends OWLCardinalityRestrictionImpl<OWLDataRange,OWLDataPropertyExpression,OWLDataRange> implements OWLDataCardinalityRestriction
Modifier | Constructor and Description |
---|---|
protected |
OWLDataCardinalityRestrictionImpl(OWLDataPropertyExpression property,
int cardinality,
OWLDataRange filler) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
boolean |
isDataRestriction()
Determines if this is a data restriction.
|
boolean |
isObjectRestriction()
Determines if this is an object restriction.
|
boolean |
isQualified()
Determines if this restriction is qualified.
|
compareObjectOfSameType, getCardinality, getFiller
getProperty, isClassExpressionLiteral
asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isOWLNothing, isOWLThing
compareLists, compareSets, compareTo, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, isBottomEntity, isTopEntity, setOWLDataFactory, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getCardinality
getFiller
getProperty
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
protected OWLDataCardinalityRestrictionImpl(OWLDataPropertyExpression property, int cardinality, OWLDataRange filler)
public boolean isQualified()
OWLCardinalityRestriction
isQualified
in interface OWLCardinalityRestriction<OWLDataRange,OWLDataPropertyExpression,OWLDataRange>
true
if this restriction is qualified, or false
if
this restriction is unqualified.public boolean isObjectRestriction()
OWLRestriction
isObjectRestriction
in interface OWLRestriction<OWLDataRange,OWLDataPropertyExpression,OWLDataRange>
true
if this is an object restriction, otherwise false
public boolean isDataRestriction()
OWLRestriction
isDataRestriction
in interface OWLRestriction<OWLDataRange,OWLDataPropertyExpression,OWLDataRange>
true
if this is a data restriction, otherwise false
public boolean equals(java.lang.Object obj)
equals
in class OWLCardinalityRestrictionImpl<OWLDataRange,OWLDataPropertyExpression,OWLDataRange>