org.semanticweb.owl.model
Interface OWLNaryIndividualAxiom

All Superinterfaces:

java.lang.Comparable<OWLObject>, OWLAxiom, OWLIndividualAxiom, OWLLogicalAxiom, OWLObject

All Known Subinterfaces:

OWLDifferentIndividualsAxiom, OWLSameIndividualsAxiom

public interface OWLNaryIndividualAxiom
extends OWLIndividualAxiom

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

Method Summary

java.util.Set<OWLIndividual>

getIndividuals()

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, getSignature

Methods inherited from interface java.lang.Comparable

compareTo

Method Detail

getIndividuals

java.util.Set<OWLIndividual> getIndividuals()