org.semanticweb.kaon2.api.owl.elements
Interface ObjectCardinality

All Superinterfaces:

Description, Predicate

public interface ObjectCardinality
extends Description

A description specifying the cardinality of some object property.

Field Summary

static int

UNLIMITED The unlimited cardinality.

Method Summary

Description	getDescription() Returns the description to which the cardinality is restricted.
int	getMaximumCardinality() Returns the maximum cardinality.
int	getMinimumCardinality() Returns the minimum cardinality.
ObjectProperty	getObjectProperty() Returns the object property.

Methods inherited from interface org.semanticweb.kaon2.api.owl.elements.Description

accept, getComplementNNF, getDataPropertiesFrom, getDisjointDescriptions, getEquivalentDescriptions, getMemberIndividuals, getNNF, getObjectPropertiesFrom, getObjectPropertiesTo, getSimplified, getSubDescriptions, getSuperDescriptions, isInNNF, toString

Methods inherited from interface org.semanticweb.kaon2.api.rules.Predicate

getArity

Field Detail

UNLIMITED

static final int UNLIMITED

The unlimited cardinality.

See Also:

Constant Field Values

Method Detail

getMinimumCardinality

int getMinimumCardinality()

Returns the minimum cardinality.

Returns:

the minimum cardinality

getMaximumCardinality

int getMaximumCardinality()

Returns the maximum cardinality.

Returns:

the maximum cardinality (Integer.MAX_VALUE means unlimited)

getObjectProperty

ObjectProperty getObjectProperty()

Returns the object property.

Returns:

the object property

getDescription

Description getDescription()

Returns the description to which the cardinality is restricted.

Returns:

the description to which the cardinality is restricted