|
|||||||||
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.OWLNaryClassAxiomImpl uk.ac.manchester.cs.owl.owlapi.OWLEquivalentClassesAxiomImpl
public class OWLEquivalentClassesAxiomImpl
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date:
26-Oct-2006
Constructor Summary | |
---|---|
OWLEquivalentClassesAxiomImpl(OWLDataFactory dataFactory,
java.util.Set<? extends OWLClassExpression> classExpressions,
java.util.Collection<? extends OWLAnnotation> annotations)
|
Method Summary | ||
---|---|---|
void |
accept(OWLAxiomVisitor visitor)
|
|
|
accept(OWLAxiomVisitorEx<O> visitor)
|
|
void |
accept(OWLObjectVisitor visitor)
|
|
|
accept(OWLObjectVisitorEx<O> visitor)
|
|
java.util.Set<OWLSubClassOfAxiom> |
asOWLSubClassOfAxioms()
|
|
java.util.Set<OWLEquivalentClassesAxiom> |
asPairwiseAxioms()
Gets this axiom as a set of pairwise axioms. |
|
boolean |
containsNamedEquivalentClass()
Determines if this equivalent classes axiom contains at least one named class (excluding owl:Thing or owl:Nothing). |
|
boolean |
containsOWLNothing()
Determines if this class axiom makes a class expression equivalent to nothing. |
|
boolean |
containsOWLThing()
Determines if this class axiom makes a class expression equivalent to thing. |
|
boolean |
equals(java.lang.Object obj)
|
|
OWLEquivalentClassesAxiom |
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. |
|
OWLEquivalentClassesAxiom |
getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without annotations. |
|
java.util.Set<OWLClass> |
getNamedClasses()
Gets the named classes (excluding owl:Thing and owl:Nothing) that are in this equivalent classes axiom. |
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLNaryClassAxiomImpl |
---|
compareObjectOfSameType, contains, getClassExpressions, getClassExpressionsAsList, getClassExpressionsMinus |
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.OWLNaryClassAxiom |
---|
contains, getClassExpressions, getClassExpressionsAsList, getClassExpressionsMinus |
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 OWLEquivalentClassesAxiomImpl(OWLDataFactory dataFactory, java.util.Set<? extends OWLClassExpression> classExpressions, java.util.Collection<? extends OWLAnnotation> annotations)
Method Detail |
---|
public OWLEquivalentClassesAxiom getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom
getAxiomWithoutAnnotations
in interface OWLEquivalentClassesAxiom
public OWLEquivalentClassesAxiom 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 java.util.Set<OWLEquivalentClassesAxiom> asPairwiseAxioms()
OWLNaryAxiom
asPairwiseAxioms
in interface OWLEquivalentClassesAxiom
asPairwiseAxioms
in interface OWLNaryAxiom
public boolean containsNamedEquivalentClass()
OWLEquivalentClassesAxiom
containsNamedEquivalentClass
in interface OWLEquivalentClassesAxiom
true
if the axiom contains at least one named class
otherwise false
. Note that this method will return false
if the only named classes are owl:Thing or owl:Nothing.public boolean containsOWLNothing()
OWLEquivalentClassesAxiom
containsOWLNothing
in interface OWLEquivalentClassesAxiom
true
if this axiom contains owl:Nothing as an equivalent
class.public boolean containsOWLThing()
OWLEquivalentClassesAxiom
containsOWLThing
in interface OWLEquivalentClassesAxiom
true
if this axioms contains owl:Thing as an equivalent class.public java.util.Set<OWLClass> getNamedClasses()
OWLEquivalentClassesAxiom
getNamedClasses
in interface OWLEquivalentClassesAxiom
public java.util.Set<OWLSubClassOfAxiom> asOWLSubClassOfAxioms()
asOWLSubClassOfAxioms
in interface OWLSubClassOfAxiomSetShortCut
public boolean equals(java.lang.Object obj)
equals
in class OWLNaryClassAxiomImpl
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
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |