public abstract class OWLObjectCardinalityRestrictionImpl extends OWLCardinalityRestrictionImpl<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression> implements OWLObjectCardinalityRestriction
Modifier | Constructor and Description |
---|---|
protected |
OWLObjectCardinalityRestrictionImpl(OWLObjectPropertyExpression property,
int cardinality,
OWLClassExpression 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 OWLObjectCardinalityRestrictionImpl(OWLObjectPropertyExpression property, int cardinality, OWLClassExpression filler)
public boolean isQualified()
OWLCardinalityRestriction
isQualified
in interface OWLCardinalityRestriction<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>
true
if this restriction is qualified, or false
if
this restriction is unqualified.public boolean isObjectRestriction()
OWLRestriction
isObjectRestriction
in interface OWLRestriction<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>
true
if this is an object restriction, otherwise false
public boolean isDataRestriction()
OWLRestriction
isDataRestriction
in interface OWLRestriction<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>
true
if this is a data restriction, otherwise false
public boolean equals(java.lang.Object obj)
equals
in class OWLCardinalityRestrictionImpl<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>