Protégé-OWL 3.4

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

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

public class OWLDifferentIndividualsAxiomImpl
extends OWLNaryIndividualAxiomImpl
implements OWLDifferentIndividualsAxiom


Constructor Summary
OWLDifferentIndividualsAxiomImpl(OWLIndividual individual1, OWLIndividual individual2)
           
OWLDifferentIndividualsAxiomImpl(Set<OWLIndividual> individuals)
           
 
Method Summary
 String toString()
           
 void write2OWL(OWLModel owlModel)
           
 
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

OWLDifferentIndividualsAxiomImpl

public OWLDifferentIndividualsAxiomImpl(Set<OWLIndividual> individuals)

OWLDifferentIndividualsAxiomImpl

public OWLDifferentIndividualsAxiomImpl(OWLIndividual individual1,
                                        OWLIndividual individual2)
Method Detail

write2OWL

public void write2OWL(OWLModel owlModel)
               throws SWRLRuleEngineBridgeException
Specified by:
write2OWL in interface OWLObject
Throws:
SWRLRuleEngineBridgeException

toString

public String toString()
Overrides:
toString in class OWLNaryIndividualAxiomImpl

Protégé-OWL 3.4

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