Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

WonderWeb