org.semanticweb.owlapi.model
Interface OWLDisjointUnionAxiom
- All Superinterfaces:
- java.lang.Comparable<OWLObject>, OWLAxiom, OWLClassAxiom, OWLLogicalAxiom, OWLNaryClassAxiom, OWLObject
- All Known Implementing Classes:
- OWLDisjointUnionAxiomImpl
public interface OWLDisjointUnionAxiom
- extends OWLNaryClassAxiom
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, getNNF, getReferencedEntities, isAnnotated, isLogicalAxiom, isOfType, isOfType |
Methods inherited from interface java.lang.Comparable |
compareTo |
getOWLClass
OWLClass getOWLClass()
- Gets the class which is equivalent to the disjoint union.
getClassExpressions
java.util.Set<OWLClassExpression> getClassExpressions()
- Gets the class expressions which are operands of the disjoint union.
- Specified by:
getClassExpressions
in interface OWLNaryClassAxiom
- Returns:
- A
Set
containing the operands of the disjoint union, note
that this does not include the OWLClass
that is equivalent
to the disjoint union.
getAxiomWithoutAnnotations
OWLDisjointUnionAxiom getAxiomWithoutAnnotations()
- Description copied from interface:
OWLAxiom
- Gets an axiom that is structurally equivalent to this axiom without annotations. This essentially
returns a version of this axiom stripped of any annotations
- Specified by:
getAxiomWithoutAnnotations
in interface OWLAxiom
- Returns:
- The annotationless version of this axiom