public interface OWLDisjointUnionAxiom extends OWLClassAxiom
Modifier and Type | Method and Description |
---|---|
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. |
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getNNF, isAnnotated, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfType
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
OWLClass getOWLClass()
java.util.Set<OWLClassExpression> getClassExpressions()
Set
containing the operands of the disjoint union, note
that this does not include the OWLClass
that is equivalent
to the disjoint union.OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom()
EquivalentClasses
axiom.EquivalentClasses(CE, CEUnion)
where CEUnion
is the union of the classes
returned by the getClassExpressions()
method and CE
is the class returned by
the getOWLClass()
method.OWLDisjointClassesAxiom getOWLDisjointClassesAxiom()
DisjointClasses
axiom.DisjointClasses(CE1, ..., CEn)
where CEi in {CE1, ..., CEn}
is
contained in the classes returned by the getClassExpressions()
method.OWLDisjointUnionAxiom getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom