org.semanticweb.owlapi.model
Interface OWLNaryClassAxiom

All Superinterfaces:
java.lang.Comparable<OWLObject>, OWLAxiom, OWLClassAxiom, OWLLogicalAxiom, OWLObject
All Known Subinterfaces:
OWLDisjointClassesAxiom, OWLDisjointUnionAxiom, OWLEquivalentClassesAxiom, OWLSubClassOfAxiom
All Known Implementing Classes:
OWLDisjointClassesAxiomImpl, OWLDisjointUnionAxiomImpl, OWLEquivalentClassesAxiomImpl, OWLNaryClassAxiomImpl, OWLSubClassOfAxiomImpl

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<OWLClassExpression> getClassExpressions()
          Gets all of the top level class expressions that appear in this axiom.
 java.util.Set<OWLClassExpression> getClassExpressionsMinus(OWLClassExpression... desc)
          Gets the set of class expressions that appear in this axiom minus the specfied class expressions.
 
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

getClassExpressions

java.util.Set<OWLClassExpression> getClassExpressions()
Gets all of the top level class expressions that appear in this axiom.

Returns:
A Set of class expressions that appear in the axiom.

getClassExpressionsMinus

java.util.Set<OWLClassExpression> getClassExpressionsMinus(OWLClassExpression... desc)
Gets the set of class expressions that appear in this axiom minus the specfied class expressions.

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