edu.stanford.smi.protegex.owl.swrl.bridge.impl
Class OWLDifferentIndividualsAxiomImpl
java.lang.Object
edu.stanford.smi.protegex.owl.swrl.bridge.impl.OWLNaryIndividualAxiomImpl
edu.stanford.smi.protegex.owl.swrl.bridge.impl.OWLDifferentIndividualsAxiomImpl
- All Implemented Interfaces:
- OWLAxiom, OWLDifferentIndividualsAxiom, OWLIndividualAxiom, OWLNaryIndividualAxiom, OWLObject
public class OWLDifferentIndividualsAxiomImpl
- extends OWLNaryIndividualAxiomImpl
- implements OWLDifferentIndividualsAxiom
OWLDifferentIndividualsAxiomImpl
public OWLDifferentIndividualsAxiomImpl(Set<OWLIndividual> individuals)
OWLDifferentIndividualsAxiomImpl
public OWLDifferentIndividualsAxiomImpl(OWLIndividual individual1,
OWLIndividual individual2)
toString
public String toString()
- Overrides:
toString
in class OWLNaryIndividualAxiomImpl
Submit a bug report or feature request
Copyright (c) 1998-2009 Stanford University.