AllValuesFromRestriction.java

/*
 * AllValuesFromRestriction.java
 *
 * Created on Nov 10, 2010, 8:34:17 PM
 *
 * Description: Provides an OWL all-values restriction on a property's values.
 *
 * Copyright (C) Nov 10, 2010, Stephen L. Reed.
 *
 * This program is free software; you can redistribute it and/or modify it under the terms
 * of the GNU General Public License as published by the Free Software Foundation; either
 * version 3 of the License, or (at your option) any later version.
 *
 * This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY;
 * without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
 * See the GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License along with this program;
 * if not, write to the Free Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
 */
package org.texai.kb.restriction.domainEntity;

import net.jcip.annotations.NotThreadSafe;
import org.openrdf.model.URI;
import org.texai.kb.persistence.RDFEntity;
import org.texai.kb.persistence.RDFProperty;
import org.texai.kb.persistence.RDFUtility;

/** Provides an OWL all-values restriction on a property's values.
 *
 * @author reed
 */
@NotThreadSafe
@RDFEntity(context = "texai:KBObjectContext", subClassOf = {"owl:Restriction"})
public class AllValuesFromRestriction extends AbstractRestriction {

  /** the serial version UID */
  private static final long serialVersionUID = 1L;
  /** the class that constrains all of the values of the associated property */
  @RDFProperty
  private final URI allValuesClass;

  /** Constructs a new AllValuesFromRestriction instance. */
  public AllValuesFromRestriction() {
    allValuesClass = null;
  }

  /** Constructs a new AllValuesFromRestriction instance.
   *
   * @param onProperty the property for which this restriction applies
   * @param allValuesClass the class that constrains all of the values of the associated property
   */
  public AllValuesFromRestriction(
          final URI onProperty,
          final URI allValuesClass) {
    super(onProperty);
    //Preconditions
    assert allValuesClass != null : "allValuesClass must not be null";

    this.allValuesClass = allValuesClass;
  }

  /** Gets the class that constrains all of the values of the associated property.
   *
   * @return the class that constrains all of the values of the associated property
   */
  public URI getAllValuesClass() {
    return allValuesClass;
  }

  /** Returns a hash code for this object.
   *
   * @return a hash code for this object
   */
  @Override
  public int hashCode() {
    return getOnProperty().hashCode() + allValuesClass.hashCode();
  }

  /** Returns whether this object equals the given object.
   *
   * @param obj the given object
   * @return whether this object equals the given object
   */
  @Override
  public boolean equals(final Object obj) {
    if (obj instanceof AllValuesFromRestriction) {
      final AllValuesFromRestriction that = (AllValuesFromRestriction) obj;
      return this.getOnProperty().equals(that.getOnProperty()) && this.allValuesClass.equals(that.allValuesClass);
    } else {
      return false;
    }
  }

  /** Returns a string representation of this object.
   *
   * @return a string representation of this object
   */
  @Override
  public String toString() {
    final StringBuilder stringBuilder = new StringBuilder();
    stringBuilder.append("[Restriction on ");
    stringBuilder.append(RDFUtility.formatResource(getOnProperty()));
    stringBuilder.append(", allVauesFrom ");
    stringBuilder.append(RDFUtility.formatResource(allValuesClass));
    stringBuilder.append(']');
    return stringBuilder.toString();
  }
}