Interface MinCardinalityQRestriction

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

public interface MinCardinalityQRestriction extends QualifiedRestriction

Interface representing the ontology abstraction for a qualified minimum 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

    • setMinCardinalityQ

      void setMinCardinalityQ(int minCardinality)

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

      Parameters:
      minCardinality - The minimum cardinality of the restricted property
      Throws:
      ProfileException - If the Profile.MIN_CARDINALITY_Q() property is not supported in the current language profile.
    • getMinCardinalityQ

      int getMinCardinalityQ()

      Answer the min qualified cardinality of the restricted property.

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

      boolean hasMinCardinalityQ(int minCardinality)

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

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

      void removeMinCardinalityQ(int minCardinality)

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

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