Protégé-OWL 3.4.1

edu.stanford.smi.protegex.owl.swrl.bridge.impl
Class OWLSameIndividualsAxiomImpl

java.lang.Object
  extended by edu.stanford.smi.protegex.owl.swrl.bridge.impl.OWLNaryIndividualAxiomImpl
      extended by edu.stanford.smi.protegex.owl.swrl.bridge.impl.OWLSameIndividualsAxiomImpl
All Implemented Interfaces:
OWLAxiom, OWLIndividualAxiom, OWLNaryIndividualAxiom, OWLObject, OWLSameIndividualsAxiom

public class OWLSameIndividualsAxiomImpl
extends OWLNaryIndividualAxiomImpl
implements OWLSameIndividualsAxiom


Constructor Summary
OWLSameIndividualsAxiomImpl(OWLIndividual individual1, OWLIndividual individual2)
           
 
Method Summary
 OWLIndividual getIndividual1()
           
 OWLIndividual getIndividual2()
           
 String toString()
           
 
Methods inherited from class edu.stanford.smi.protegex.owl.swrl.bridge.impl.OWLNaryIndividualAxiomImpl
getIndividuals
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface edu.stanford.smi.protegex.owl.swrl.bridge.OWLNaryIndividualAxiom
getIndividuals
 

Constructor Detail

OWLSameIndividualsAxiomImpl

public OWLSameIndividualsAxiomImpl(OWLIndividual individual1,
                                   OWLIndividual individual2)
Method Detail

getIndividual1

public OWLIndividual getIndividual1()
Specified by:
getIndividual1 in interface OWLSameIndividualsAxiom

getIndividual2

public OWLIndividual getIndividual2()
Specified by:
getIndividual2 in interface OWLSameIndividualsAxiom

toString

public String toString()
Overrides:
toString in class OWLNaryIndividualAxiomImpl

Protégé-OWL 3.4.1

Submit a bug report or feature request
Copyright (c) 1998-2009 Stanford University.