org.semanticweb.owlapi.model
Interface OWLNaryIndividualAxiom

All Superinterfaces:
java.lang.Comparable<OWLObject>, OWLAxiom, OWLIndividualAxiom, OWLLogicalAxiom, OWLObject
All Known Subinterfaces:
OWLDifferentIndividualsAxiom, OWLSameIndividualAxiom
All Known Implementing Classes:
OWLDifferentIndividualsAxiomImpl, OWLNaryIndividualAxiomImpl, OWLSameIndividualAxiomImpl

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.owlapi.model.OWLAxiom
accept, accept, getAnnotatedAxiom, getAnnotations, getAxiomType, getAxiomWithoutAnnotations, getNNF, getReferencedEntities, isAnnotated, isLogicalAxiom, isOfType, isOfType
 
Methods inherited from interface org.semanticweb.owlapi.model.OWLObject
accept, accept, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature, getSignature
 
Methods inherited from interface java.lang.Comparable
compareTo
 

Method Detail

getIndividuals

java.util.Set<OWLIndividual> getIndividuals()