org.semanticweb.owl.impl.model
Class OWLDifferentIndividualsAxiomImpl

java.lang.Object
  |
  +--org.semanticweb.owl.impl.model.OWLObjectImpl
        |
        +--org.semanticweb.owl.impl.model.OWLIndividualAxiomImpl
              |
              +--org.semanticweb.owl.impl.model.OWLDifferentIndividualsAxiomImpl

All Implemented Interfaces:

Cloneable, OWLDifferentIndividualsAxiom, OWLIndividualAxiom, OWLObject, OWLOntologyObject, Serializable

public class OWLDifferentIndividualsAxiomImpl

extends OWLIndividualAxiomImpl

implements OWLDifferentIndividualsAxiom

An axiom asserting that a number of individuals are different.

Version:

$Id: OWLDifferentIndividualsAxiomImpl.java,v 1.1.1.1 2003/10/14 17:10:14 sean_bechhofer Exp $

See Also:

Serialized Form

Constructor Summary

OWLDifferentIndividualsAxiomImpl(OWLDataFactoryImpl factory, Set set)

Method Summary

void	accept(OWLIndividualAxiomVisitor visitor) Accept a visit from a visitor
void	accept(OWLObjectVisitor visitor) Accept a visit from a visitor

Methods inherited from class org.semanticweb.owl.impl.model.OWLIndividualAxiomImpl

addOntology, getIndividuals, getOntologies, removeOntology

Methods inherited from class org.semanticweb.owl.impl.model.OWLObjectImpl

clone, getAnnotations, getAnnotations, getContainedObjects, getMetadata, getOWLConnection, getOWLDataFactory

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.semanticweb.owl.model.OWLIndividualAxiom

getIndividuals

Methods inherited from interface org.semanticweb.owl.model.OWLObject

clone, getAnnotations, getAnnotations, getContainedObjects, getMetadata, getOWLConnection, getOWLDataFactory

Methods inherited from interface org.semanticweb.owl.model.OWLOntologyObject

getOntologies

Constructor Detail

OWLDifferentIndividualsAxiomImpl

public OWLDifferentIndividualsAxiomImpl(OWLDataFactoryImpl factory,
                                        Set set)

Method Detail

accept

public void accept(OWLObjectVisitor visitor)
            throws OWLException

Description copied from interface: OWLObject

Accept a visit from a visitor

Specified by:

accept in interface OWLObject

Specified by:

accept in class OWLObjectImpl

OWLException

accept

public void accept(OWLIndividualAxiomVisitor visitor)
            throws OWLException

Description copied from interface: OWLIndividualAxiom

Accept a visit from a visitor

Specified by:

accept in interface OWLIndividualAxiom

OWLException