public class OWLDisjointUnionAxiomImpl extends OWLClassAxiomImpl implements OWLDisjointUnionAxiom
Constructor and Description |
---|
OWLDisjointUnionAxiomImpl(OWLClass owlClass,
java.util.Set<? extends OWLClassExpression> classExpressions,
java.util.Set<? extends OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
void |
accept(OWLAxiomVisitor visitor) |
<O> O |
accept(OWLAxiomVisitorEx<O> visitor) |
void |
accept(OWLObjectVisitor visitor) |
<O> O |
accept(OWLObjectVisitorEx<O> visitor) |
protected int |
compareObjectOfSameType(OWLObject object) |
boolean |
equals(java.lang.Object obj) |
OWLDisjointUnionAxiom |
getAnnotatedAxiom(java.util.Set<OWLAnnotation> annotations)
Gets a copy of this axiom that is annotated with the specified annotations.
|
AxiomType<?> |
getAxiomType()
Gets the axiom type for this axiom.
|
OWLDisjointUnionAxiom |
getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without annotations.
|
java.util.Set<OWLClassExpression> |
getClassExpressions()
Gets the class expressions which are operands of the disjoint union.
|
OWLClass |
getOWLClass()
Gets the class which is equivalent to the disjoint union.
|
OWLDisjointClassesAxiom |
getOWLDisjointClassesAxiom()
Gets the part of this axiom that corresponds to an
DisjointClasses axiom. |
OWLEquivalentClassesAxiom |
getOWLEquivalentClassesAxiom()
Gets the part of this axiom that corresponds to an
EquivalentClasses axiom. |
isAnnotationAxiom, isLogicalAxiom
accept, equalsIgnoreAnnotations, getAnnotations, getAnnotations, getNNF, isAnnotated, isOfType, isOfType, mergeAnnos
compareLists, compareSets, compareTo, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, isBottomEntity, isTopEntity, setOWLDataFactory, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
equalsIgnoreAnnotations, getAnnotations, getAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfType
getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
public OWLDisjointUnionAxiomImpl(OWLClass owlClass, java.util.Set<? extends OWLClassExpression> classExpressions, java.util.Set<? extends OWLAnnotation> annotations)
public java.util.Set<OWLClassExpression> getClassExpressions()
OWLDisjointUnionAxiom
getClassExpressions
in interface OWLDisjointUnionAxiom
Set
containing the operands of the disjoint union, note
that this does not include the OWLClass
that is equivalent
to the disjoint union.public OWLDisjointUnionAxiom getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom
getAxiomWithoutAnnotations
in interface OWLDisjointUnionAxiom
public OWLDisjointUnionAxiom getAnnotatedAxiom(java.util.Set<OWLAnnotation> annotations)
OWLAxiom
getAnnotatedAxiom
in interface OWLAxiom
annotations
- The annotations that will be added to existing annotations to annotate the copy of this axiomOWLAxiom#getAnnotations()
method.public OWLClass getOWLClass()
OWLDisjointUnionAxiom
getOWLClass
in interface OWLDisjointUnionAxiom
public boolean equals(java.lang.Object obj)
equals
in class OWLAxiomImpl
public void accept(OWLAxiomVisitor visitor)
public void accept(OWLObjectVisitor visitor)
public <O> O accept(OWLAxiomVisitorEx<O> visitor)
public <O> O accept(OWLObjectVisitorEx<O> visitor)
public AxiomType<?> getAxiomType()
OWLAxiom
getAxiomType
in interface OWLAxiom
public OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom()
OWLDisjointUnionAxiom
EquivalentClasses
axiom.getOWLEquivalentClassesAxiom
in interface OWLDisjointUnionAxiom
EquivalentClasses(CE, CEUnion)
where CEUnion
is the union of the classes
returned by the OWLDisjointUnionAxiom.getClassExpressions()
method and CE
is the class returned by
the OWLDisjointUnionAxiom.getOWLClass()
method.public OWLDisjointClassesAxiom getOWLDisjointClassesAxiom()
OWLDisjointUnionAxiom
DisjointClasses
axiom.getOWLDisjointClassesAxiom
in interface OWLDisjointUnionAxiom
DisjointClasses(CE1, ..., CEn)
where CEi in {CE1, ..., CEn}
is
contained in the classes returned by the OWLDisjointUnionAxiom.getClassExpressions()
method.protected int compareObjectOfSameType(OWLObject object)
compareObjectOfSameType
in class OWLObjectImpl