public class OWLDisjointUnionAxiomImpl extends OWLClassAxiomImpl implements OWLDisjointUnionAxiom
Constructor and Description |
---|
OWLDisjointUnionAxiomImpl(OWLClass owlClass,
Set<? extends OWLClassExpression> classExpressions,
Set<? extends OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
void |
accept(OWLAxiomVisitor visitor) |
<O> O |
accept(OWLAxiomVisitorEx<O> visitor) |
void |
accept(OWLObjectVisitor visitor)
Accepts a visitor
|
<O> O |
accept(OWLObjectVisitorEx<O> visitor)
Accepts a visitor
|
boolean |
equals(Object obj) |
OWLDisjointUnionAxiom |
getAnnotatedAxiom(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.
|
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
compareTo, containsEntityInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString
equalsIgnoreAnnotations, getAnnotations, getAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfType
getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
compareTo
containsEntityInSignature
public OWLDisjointUnionAxiomImpl(OWLClass owlClass, Set<? extends OWLClassExpression> classExpressions, Set<? extends OWLAnnotation> annotations)
owlClass
- unionclassExpressions
- disjoint classesannotations
- annotationspublic 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(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(Object obj)
equals
in class OWLAxiomImpl
public void accept(OWLAxiomVisitor visitor)
public void accept(OWLObjectVisitor visitor)
OWLObject
public <O> O accept(OWLAxiomVisitorEx<O> visitor)
public <O> O accept(OWLObjectVisitorEx<O> visitor)
OWLObject
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.Copyright © 2017 The University of Manchester. All Rights Reserved.