org.semanticweb.owl.model
Interface OWLNaryClassAxiom

All Superinterfaces:
java.lang.Comparable<OWLObject>, OWLAxiom, OWLClassAxiom, OWLLogicalAxiom, OWLObject
All Known Subinterfaces:
OWLDisjointClassesAxiom, OWLDisjointUnionAxiom, OWLEquivalentClassesAxiom, OWLSubClassAxiom

public interface OWLNaryClassAxiom
extends OWLClassAxiom

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


Method Summary
 java.util.Set<OWLDescription> getDescriptions()
          Gets all of the descriptions that appear in this axiom.
 java.util.Set<OWLDescription> getDescriptionsMinus(OWLDescription... desc)
          Gets the set of descriptions that appear in this axiom minus the specfied descriptions.
 
Methods inherited from interface org.semanticweb.owl.model.OWLAxiom
accept, accept, getAnnotationAxioms, getAxiomType, getNNF, getReferencedEntities, isLogicalAxiom
 
Methods inherited from interface org.semanticweb.owl.model.OWLObject
accept, accept, getClassesInSignature, getDataPropertiesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature, getSignature
 
Methods inherited from interface java.lang.Comparable
compareTo
 

Method Detail

getDescriptions

java.util.Set<OWLDescription> getDescriptions()
Gets all of the descriptions that appear in this axiom.

Returns:
A Set of descriptions that appear in the axiom.

getDescriptionsMinus

java.util.Set<OWLDescription> getDescriptionsMinus(OWLDescription... desc)
Gets the set of descriptions that appear in this axiom minus the specfied descriptions.

Parameters:
desc - The descriptions to subtract from the descriptions in this axiom
Returns:
A set containing all of the description in this axiom (the descriptions returned by getDescriptions()) minus the specified list of descriptions