org.semanticweb.owl.model
Interface OWLDifferentIndividualsAxiom

All Superinterfaces:

Cloneable, OWLIndividualAxiom, OWLObject, OWLOntologyObject, Serializable

All Known Implementing Classes:

OWLDifferentIndividualsAxiomImpl

public interface OWLDifferentIndividualsAxiom

extends OWLIndividualAxiom

An axiom asserting that a number of individuals are different.

Version:

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

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

accept, getIndividuals

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

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

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

getOntologies