All Downloads are FREE. Search and download functionalities are using the official Maven repository.

org.swrlapi.drools.owl.classes.OOOCE Maven / Gradle / Ivy

There is a newer version: 2.1.2
Show newest version
package org.swrlapi.drools.owl.classes;

import org.checkerframework.checker.nullness.qual.NonNull;
import org.checkerframework.dataflow.qual.SideEffectFree;
import org.swrlapi.drools.owl.core.DroolsTernaryObject;
import org.swrlapi.drools.owl.individuals.I;

/**
 * This class represents an OWL object one of class expression in Drools. Drools is supplied with an exhaustive pairwise
 * set of classes from the list in an OWL one of class expression.
 *
 * @see org.semanticweb.owlapi.model.OWLObjectOneOf
 */
public class OOOCE extends DroolsTernaryObject implements CE
{
  private static final long serialVersionUID = 1L;

  public OOOCE(@NonNull String ceid, @NonNull I i1, @NonNull I i2)
  {
    super(ceid, i1, i2);
  }

  public OOOCE(@NonNull String ceid, @NonNull String individual1ID, @NonNull String individual2ID)
  {
    super(ceid, new I(individual1ID), new I(individual2ID));
  }

  @NonNull @Override public String getceid()
  {
    return getT1();
  }

  @NonNull public I getI1()
  {
    return getT2();
  }

  @NonNull public I getI2()
  {
    return getT3();
  }

  @SideEffectFree @NonNull @Override public String toString()
  {
    return "OOOCE" + super.toString();
  }
}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy