org.dllearner.core.owl
Class ObjectCardinalityRestriction

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

All Implemented Interfaces:

Cloneable, KBElement, PropertyRange

Direct Known Subclasses:

ObjectExactCardinalityRestriction, ObjectMaxCardinalityRestriction, ObjectMinCardinalityRestriction

public abstract class ObjectCardinalityRestriction
extends CardinalityRestriction

Constructor Summary

ObjectCardinalityRestriction(int number, ObjectPropertyExpression role, Description c)

Method Summary

int	getLength() Gets the length of this knowledge base element.
int	getNumber()
ObjectPropertyExpression	getRole()

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

getCardinality, 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, 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, toKBSyntaxString, toString

Constructor Detail

ObjectCardinalityRestriction

public ObjectCardinalityRestriction(int number,
                                    ObjectPropertyExpression role,
                                    Description c)

Method Detail

getLength

public int getLength()

Description copied from interface: KBElement

Gets the length of this knowledge base element. For instance, A AND B should have length 3 (as three constructs are involved). There are different ways to define the length of an axiom, class description etc., but this method provides a straightforward definition of it.

Returns:

The syntactic length of the KB element, defined as the number of syntactic constructs not including brackets.

getNumber

public int getNumber()

getRole

public ObjectPropertyExpression getRole()