|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl uk.ac.manchester.cs.owl.owlapi.OWLAxiomImpl uk.ac.manchester.cs.owl.owlapi.OWLLogicalAxiomImpl uk.ac.manchester.cs.owl.owlapi.OWLClassAxiomImpl uk.ac.manchester.cs.owl.owlapi.OWLDisjointUnionAxiomImpl
public class OWLDisjointUnionAxiomImpl
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
Constructor Summary | |
---|---|
OWLDisjointUnionAxiomImpl(OWLDataFactory dataFactory,
OWLClass owlClass,
java.util.Set<? extends OWLClassExpression> classExpressions,
java.util.Set<? extends OWLAnnotation> annotations)
|
Method Summary | ||
---|---|---|
void |
accept(OWLAxiomVisitor visitor)
|
|
|
accept(OWLAxiomVisitorEx<O> visitor)
|
|
void |
accept(OWLObjectVisitor visitor)
|
|
|
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. |
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLLogicalAxiomImpl |
---|
isLogicalAxiom |
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLAxiomImpl |
---|
equalsIgnoreAnnotations, getAnnotations, getAnnotations, getNNF, getReferencedEntities, isAnnotated, isOfType, isOfType, mergeAnnos |
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl |
---|
compareSets, compareTo, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, isBottomEntity, isTopEntity, toString |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiom |
---|
equalsIgnoreAnnotations, getAnnotations, getAnnotations, getNNF, isAnnotated, isLogicalAxiom, isOfType, isOfType |
Methods inherited from interface org.semanticweb.owlapi.model.OWLObject |
---|
getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity |
Methods inherited from interface java.lang.Comparable |
---|
compareTo |
Constructor Detail |
---|
public OWLDisjointUnionAxiomImpl(OWLDataFactory dataFactory, OWLClass owlClass, java.util.Set<? extends OWLClassExpression> classExpressions, java.util.Set<? extends OWLAnnotation> annotations)
Method Detail |
---|
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 axiom
OWLAxiom#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)
accept
in interface OWLAxiom
public void accept(OWLObjectVisitor visitor)
accept
in interface OWLObject
public <O> O accept(OWLAxiomVisitorEx<O> visitor)
accept
in interface OWLAxiom
public <O> O accept(OWLObjectVisitorEx<O> visitor)
accept
in interface 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.protected int compareObjectOfSameType(OWLObject object)
compareObjectOfSameType
in class OWLObjectImpl
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |