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
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 java.lang.Comparable |
compareTo |
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