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.
|
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
compareTo
containsEntityInSignature
OWLClass getOWLClass()
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
Copyright © 2017 The University of Manchester. All Rights Reserved.