public interface CardinalityRestrictionProvider
OWLDataExactCardinality getOWLDataExactCardinality(@Nonnegative int cardinality, OWLDataPropertyExpression property)
cardinality
- Cannot be negativeproperty
- The property that the restriction acts along.OWLDataMaxCardinality getOWLDataMaxCardinality(@Nonnegative int cardinality, OWLDataPropertyExpression property)
cardinality
- Cannot be negativeproperty
- The property that the restriction acts along.OWLDataExactCardinality getOWLDataExactCardinality(@Nonnegative int cardinality, OWLDataPropertyExpression property, OWLDataRange dataRange)
cardinality
- Cannot be negativeproperty
- The property that the restriction acts along.dataRange
- data range for restrictionOWLDataMaxCardinality getOWLDataMaxCardinality(@Nonnegative int cardinality, OWLDataPropertyExpression property, OWLDataRange dataRange)
cardinality
- Cannot be negativeproperty
- The property that the restriction acts along.dataRange
- data range for restrictionOWLDataMinCardinality getOWLDataMinCardinality(@Nonnegative int cardinality, OWLDataPropertyExpression property, OWLDataRange dataRange)
cardinality
- Cannot be negative.property
- The property that the restriction acts along.dataRange
- data range for restrictionOWLDataExactCardinality getOWLDataExactCardinality(@Nonnegative int cardinality, OWLDataPropertyExpression property, OWL2Datatype dataRange)
cardinality
- Cannot be negativeproperty
- The property that the restriction acts along.dataRange
- data range for restrictionOWLDataMaxCardinality getOWLDataMaxCardinality(@Nonnegative int cardinality, OWLDataPropertyExpression property, OWL2Datatype dataRange)
cardinality
- Cannot be negativeproperty
- The property that the restriction acts along.dataRange
- data range for restrictionOWLDataMinCardinality getOWLDataMinCardinality(@Nonnegative int cardinality, OWLDataPropertyExpression property, OWL2Datatype dataRange)
cardinality
- Cannot be negative.property
- The property that the restriction acts along.dataRange
- data range for restrictionOWLDataMinCardinality getOWLDataMinCardinality(@Nonnegative int cardinality, OWLDataPropertyExpression property)
cardinality
- Cannot be negativeproperty
- The property that the restriction acts along.OWLObjectExactCardinality getOWLObjectExactCardinality(@Nonnegative int cardinality, OWLObjectPropertyExpression property)
cardinality
- Cannot be negative.property
- The property that the restriction acts along.OWLObjectExactCardinality getOWLObjectExactCardinality(@Nonnegative int cardinality, OWLObjectPropertyExpression property, OWLClassExpression classExpression)
cardinality
- Cannot be negative.property
- The property that the restriction acts along.classExpression
- class expression for restrictionOWLObjectMinCardinality getOWLObjectMinCardinality(@Nonnegative int cardinality, OWLObjectPropertyExpression property)
cardinality
- Cannot be negative.property
- The property that the restriction acts along.OWLObjectMinCardinality getOWLObjectMinCardinality(@Nonnegative int cardinality, OWLObjectPropertyExpression property, OWLClassExpression classExpression)
cardinality
- Cannot be negative.property
- The property that the restriction acts along.classExpression
- class expression for restrictionOWLObjectMaxCardinality getOWLObjectMaxCardinality(@Nonnegative int cardinality, OWLObjectPropertyExpression property)
cardinality
- Cannot be negative.property
- The property that the restriction acts along.OWLObjectMaxCardinality getOWLObjectMaxCardinality(@Nonnegative int cardinality, OWLObjectPropertyExpression property, OWLClassExpression classExpression)
cardinality
- Cannot be negative.property
- The property that the restriction acts along.classExpression
- class expression for restrictionCopyright © 2020 The University of Manchester. All rights reserved.