org.dllearner.core.owl
Class CardinalityRestriction

java.lang.Object
  org.dllearner.core.owl.Description
      org.dllearner.core.owl.Restriction
          org.dllearner.core.owl.CardinalityRestriction

All Implemented Interfaces:

Serializable, Cloneable, KBElement, PropertyRange

Direct Known Subclasses:

DatatypeCardinalityRestriction, ObjectCardinalityRestriction

public abstract class CardinalityRestriction
extends Restriction

Author:

Jens Lehmann

See Also:

Serialized Form

Constructor Summary

CardinalityRestriction(PropertyExpression propertyExpression, PropertyRange propertyRange, int cardinality)

Method Summary

int	getCardinality()
PropertyRange	getPropertyRange()

Methods inherited from class org.dllearner.core.owl.Restriction

getRestrictedPropertyExpression

Methods inherited from class org.dllearner.core.owl.Description

accept, addChild, addChild, clone, getArity, getChild, getChildren, getDepth, getNumberOfNodes, getParent, getSubtree, isRoot, removeChild, removeChild, replaceChild, setParent, toKBSyntaxString, toManchesterSyntaxString, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.dllearner.core.owl.KBElement

accept, getLength, toKBSyntaxString, toString

Constructor Detail

CardinalityRestriction

public CardinalityRestriction(PropertyExpression propertyExpression,
                              PropertyRange propertyRange,
                              int cardinality)

Method Detail

getCardinality

public int getCardinality()

Returns:

the cardinality

getPropertyRange

public PropertyRange getPropertyRange()

Returns:

the propertyRange