Interface MaxCardinalityQRestriction

All Superinterfaces:
FrontsNode, OntClass, OntResource, QualifiedRestriction, RDFNode, Resource, Restriction
All Known Implementing Classes:
MaxCardinalityQRestrictionImpl

public interface MaxCardinalityQRestriction extends QualifiedRestriction

Interface representing the ontology abstraction for a qualified maximum cardinality restriction. A qualified restriction is a DAML+OIL term for a restriction with a cardinality constraint and a constraint that the values of the restricted property must all belong to the given class. At the current time, qualified restrictions are part of DAML+OIL, but not part of OWL.

  • Method Details

    • setMaxCardinalityQ

      void setMaxCardinalityQ(int maxCardinality)

      Assert that this restriction restricts the property to have the given maximum cardinality. Any existing statements for maxCardinalityQ will be removed.

      Parameters:
      maxCardinality - The maximum cardinality of the restricted property
      Throws:
      ProfileException - If the Profile.MAX_CARDINALITY_Q() property is not supported in the current language profile.
    • getMaxCardinalityQ

      int getMaxCardinalityQ()

      Answer the max qualified cardinality of the restricted property.

      Returns:
      The cardinality of the restricted property
      Throws:
      ProfileException - If the Profile.MAX_CARDINALITY_Q() property is not supported in the current language profile.
    • hasMaxCardinalityQ

      boolean hasMaxCardinalityQ(int maxCardinality)

      Answer true if this property restriction has the given maximum qualified cardinality.

      Parameters:
      maxCardinality - The cardinality to test against
      Returns:
      True if the given cardinality is the maximum qualified cardinality of the restricted property in this restriction
      Throws:
      ProfileException - If the Profile.MAX_CARDINALITY_Q() property is not supported in the current language profile.
    • removeMaxCardinalityQ

      void removeMaxCardinalityQ(int maxCardinality)

      Remove the statement that this restriction has the given maximum qualified cardinality for the restricted property. If this statement is not true of the current model, nothing happens.

      Parameters:
      maxCardinality - A cardinality value to be removed from this restriction
      Throws:
      ProfileException - If the Profile.MAX_CARDINALITY_Q() property is not supported in the current language profile.