org.semanticweb.owl.model
Interface OWLDisjointUnionAxiom

All Superinterfaces:

java.lang.Comparable<OWLObject>, OWLAxiom, OWLClassAxiom, OWLLogicalAxiom, OWLNaryClassAxiom, OWLObject

All Known Implementing Classes:

OWLDisjointUnionAxiomImpl

public interface OWLDisjointUnionAxiom
extends OWLNaryClassAxiom

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006

Method Summary

java.util.Set<OWLDescription>	getDescriptions() Gets the descriptions which are operands of the disjoint union.
OWLClass	getOWLClass() Gets the class which is equivalent to the disjoint union.

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

accept, accept, getAnnotationAxioms, getAxiomType, getReferencedEntities, isLogicalAxiom

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

accept, accept, getSignature

Methods inherited from interface java.lang.Comparable

compareTo

Method Detail

getOWLClass

OWLClass getOWLClass()

Gets the class which is equivalent to the disjoint union.

getDescriptions

java.util.Set<OWLDescription> getDescriptions()

Gets the descriptions which are operands of the disjoint union.

Specified by:

getDescriptions in interface OWLNaryClassAxiom

Returns:

A Set containing the operands of the disjoint union, note that this does not include the OWLClass that is equivalent to the disjoint union.