org.semanticweb.owlapi.model.providers

Interface CardinalityRestrictionProvider

All Known Subinterfaces:

OWLDataFactory

All Known Implementing Classes:

OWLDataFactoryImpl

public interface CardinalityRestrictionProvider

Cardinality restriction provider interface.

Method Summary

Modifier and Type	Method and Description
OWLDataExactCardinality	getOWLDataExactCardinality(int cardinality, OWLDataPropertyExpression property)
OWLDataExactCardinality	getOWLDataExactCardinality(int cardinality, OWLDataPropertyExpression property, OWL2Datatype dataRange)
OWLDataExactCardinality	getOWLDataExactCardinality(int cardinality, OWLDataPropertyExpression property, OWLDataRange dataRange)
OWLDataMaxCardinality	getOWLDataMaxCardinality(int cardinality, OWLDataPropertyExpression property)
OWLDataMaxCardinality	getOWLDataMaxCardinality(int cardinality, OWLDataPropertyExpression property, OWL2Datatype dataRange)
OWLDataMaxCardinality	getOWLDataMaxCardinality(int cardinality, OWLDataPropertyExpression property, OWLDataRange dataRange)
OWLDataMinCardinality	getOWLDataMinCardinality(int cardinality, OWLDataPropertyExpression property)
OWLDataMinCardinality	getOWLDataMinCardinality(int cardinality, OWLDataPropertyExpression property, OWL2Datatype dataRange)
OWLDataMinCardinality	getOWLDataMinCardinality(int cardinality, OWLDataPropertyExpression property, OWLDataRange dataRange)
OWLObjectExactCardinality	getOWLObjectExactCardinality(int cardinality, OWLObjectPropertyExpression property)
OWLObjectExactCardinality	getOWLObjectExactCardinality(int cardinality, OWLObjectPropertyExpression property, OWLClassExpression classExpression)
OWLObjectMaxCardinality	getOWLObjectMaxCardinality(int cardinality, OWLObjectPropertyExpression property)
OWLObjectMaxCardinality	getOWLObjectMaxCardinality(int cardinality, OWLObjectPropertyExpression property, OWLClassExpression classExpression)
OWLObjectMinCardinality	getOWLObjectMinCardinality(int cardinality, OWLObjectPropertyExpression property)
OWLObjectMinCardinality	getOWLObjectMinCardinality(int cardinality, OWLObjectPropertyExpression property, OWLClassExpression classExpression)

Method Detail

getOWLDataExactCardinality

OWLDataExactCardinality getOWLDataExactCardinality(@Nonnegative
                                                   int cardinality,
                                                   OWLDataPropertyExpression property)

Parameters:

cardinality - Cannot be negative

property - The property that the restriction acts along.

Returns:

an ExactCardinality on the specified property

getOWLDataMaxCardinality

OWLDataMaxCardinality getOWLDataMaxCardinality(@Nonnegative
                                               int cardinality,
                                               OWLDataPropertyExpression property)

Parameters:

cardinality - Cannot be negative

property - The property that the restriction acts along.

Returns:

an ExactCardinality on the specified property

getOWLDataExactCardinality

OWLDataExactCardinality getOWLDataExactCardinality(@Nonnegative
                                                   int cardinality,
                                                   OWLDataPropertyExpression property,
                                                   OWLDataRange dataRange)

Parameters:

cardinality - Cannot be negative

property - The property that the restriction acts along.

dataRange - data range for restricition

Returns:

an ExactCardinality on the specified property

getOWLDataMaxCardinality

OWLDataMaxCardinality getOWLDataMaxCardinality(@Nonnegative
                                               int cardinality,
                                               OWLDataPropertyExpression property,
                                               OWLDataRange dataRange)

Parameters:

cardinality - Cannot be negative

property - The property that the restriction acts along.

dataRange - data range for restriction

Returns:

an ExactCardinality on the specified property

getOWLDataMinCardinality

OWLDataMinCardinality getOWLDataMinCardinality(@Nonnegative
                                               int cardinality,
                                               OWLDataPropertyExpression property,
                                               OWLDataRange dataRange)

Parameters:

cardinality - Cannot be negative.

property - The property that the restriction acts along.

dataRange - data range for restriction

Returns:

an ExactCardinality on the specified property

getOWLDataExactCardinality

OWLDataExactCardinality getOWLDataExactCardinality(@Nonnegative
                                                   int cardinality,
                                                   OWLDataPropertyExpression property,
                                                   OWL2Datatype dataRange)

Parameters:

cardinality - Cannot be negative

property - The property that the restriction acts along.

dataRange - data range for restricition

Returns:

an ExactCardinality on the specified property

getOWLDataMaxCardinality

OWLDataMaxCardinality getOWLDataMaxCardinality(@Nonnegative
                                               int cardinality,
                                               OWLDataPropertyExpression property,
                                               OWL2Datatype dataRange)

Parameters:

cardinality - Cannot be negative

property - The property that the restriction acts along.

dataRange - data range for restriction

Returns:

an ExactCardinality on the specified property

getOWLDataMinCardinality

OWLDataMinCardinality getOWLDataMinCardinality(@Nonnegative
                                               int cardinality,
                                               OWLDataPropertyExpression property,
                                               OWL2Datatype dataRange)

Parameters:

cardinality - Cannot be negative.

property - The property that the restriction acts along.

dataRange - data range for restriction

Returns:

an ExactCardinality on the specified property

getOWLDataMinCardinality

OWLDataMinCardinality getOWLDataMinCardinality(@Nonnegative
                                               int cardinality,
                                               OWLDataPropertyExpression property)

Parameters:

cardinality - Cannot be negative

property - The property that the restriction acts along.

Returns:

an ExactCardinality on the specified property

getOWLObjectExactCardinality

OWLObjectExactCardinality getOWLObjectExactCardinality(@Nonnegative
                                                       int cardinality,
                                                       OWLObjectPropertyExpression property)

Parameters:

cardinality - Cannot be negative.

property - The property that the restriction acts along.

Returns:

an ExactCardinality on the specified property

getOWLObjectExactCardinality

OWLObjectExactCardinality getOWLObjectExactCardinality(@Nonnegative
                                                       int cardinality,
                                                       OWLObjectPropertyExpression property,
                                                       OWLClassExpression classExpression)

Parameters:

cardinality - Cannot be negative.

property - The property that the restriction acts along.

classExpression - class expression for restriction

Returns:

an ExactCardinality on the specified property

getOWLObjectMinCardinality

OWLObjectMinCardinality getOWLObjectMinCardinality(@Nonnegative
                                                   int cardinality,
                                                   OWLObjectPropertyExpression property)

Parameters:

cardinality - Cannot be negative.

property - The property that the restriction acts along.

Returns:

an ExactCardinality on the specified property

getOWLObjectMinCardinality

OWLObjectMinCardinality getOWLObjectMinCardinality(@Nonnegative
                                                   int cardinality,
                                                   OWLObjectPropertyExpression property,
                                                   OWLClassExpression classExpression)

Parameters:

cardinality - Cannot be negative.

property - The property that the restriction acts along.

classExpression - class expression for restriction

Returns:

an ExactCardinality on the specified property

getOWLObjectMaxCardinality

OWLObjectMaxCardinality getOWLObjectMaxCardinality(@Nonnegative
                                                   int cardinality,
                                                   OWLObjectPropertyExpression property)

Parameters:

cardinality - Cannot be negative.

property - The property that the restriction acts along.

Returns:

an ExactCardinality on the specified property

getOWLObjectMaxCardinality

OWLObjectMaxCardinality getOWLObjectMaxCardinality(@Nonnegative
                                                   int cardinality,
                                                   OWLObjectPropertyExpression property,
                                                   OWLClassExpression classExpression)

Parameters:

cardinality - Cannot be negative.

property - The property that the restriction acts along.

classExpression - class expression for restriction

Returns:

an ExactCardinality on the specified property