public class OWLDatatypeDefinitionAxiomImpl extends OWLAxiomImpl implements OWLDatatypeDefinitionAxiom
Constructor and Description |
---|
OWLDatatypeDefinitionAxiomImpl(OWLDatatype datatype,
OWLDataRange dataRange,
java.util.Collection<? extends OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
void |
accept(OWLAxiomVisitor visitor) |
<O> O |
accept(OWLAxiomVisitorEx<O> visitor) |
void |
accept(OWLObjectVisitor visitor) |
<O> O |
accept(OWLObjectVisitorEx<O> visitor) |
protected int |
compareObjectOfSameType(OWLObject object) |
boolean |
equals(java.lang.Object obj) |
OWLDatatypeDefinitionAxiom |
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.
|
OWLAxiom |
getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without annotations.
|
OWLDataRange |
getDataRange()
Gets the datarange that defines the datatype
|
OWLDatatype |
getDatatype()
Gets the
OWLDatatype that is assigned a definition |
boolean |
isAnnotationAxiom()
Determines if this axioms in an annotation axiom (an instance of
OWLAnnotationAxiom ) |
boolean |
isLogicalAxiom()
Determines if this axiom is a logical axiom.
|
accept, equalsIgnoreAnnotations, getAnnotations, getAnnotations, getNNF, isAnnotated, isOfType, isOfType, mergeAnnos
compareLists, compareSets, compareTo, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, isBottomEntity, isTopEntity, setOWLDataFactory, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
equalsIgnoreAnnotations, getAnnotations, getAnnotations, getNNF, isAnnotated, isOfType, isOfType
getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
public OWLDatatypeDefinitionAxiomImpl(OWLDatatype datatype, OWLDataRange dataRange, java.util.Collection<? extends OWLAnnotation> annotations)
public OWLAxiom getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom
public OWLDatatypeDefinitionAxiom 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 axiomOWLAxiom#getAnnotations()
method.public OWLDatatype getDatatype()
OWLDatatypeDefinitionAxiom
OWLDatatype
that is assigned a definitiongetDatatype
in interface OWLDatatypeDefinitionAxiom
public OWLDataRange getDataRange()
OWLDatatypeDefinitionAxiom
getDataRange
in interface OWLDatatypeDefinitionAxiom
public void accept(OWLAxiomVisitor visitor)
accept
in interface OWLAxiom
accept
in interface OWLDatatypeDefinitionAxiom
public <O> O accept(OWLAxiomVisitorEx<O> visitor)
accept
in interface OWLAxiom
accept
in interface OWLDatatypeDefinitionAxiom
public boolean isLogicalAxiom()
OWLAxiom
isLogicalAxiom
in interface OWLAxiom
true
if the axiom is a logical axiom, false
if the axiom is not a logical axiom.public boolean isAnnotationAxiom()
OWLAxiom
OWLAnnotationAxiom
)isAnnotationAxiom
in interface OWLAxiom
true
if this axiom is an instance of OWLAnnotationAxiom
, otherwise false
.public AxiomType<?> getAxiomType()
OWLAxiom
getAxiomType
in interface OWLAxiom
public void accept(OWLObjectVisitor visitor)
public <O> O accept(OWLObjectVisitorEx<O> visitor)
protected int compareObjectOfSameType(OWLObject object)
compareObjectOfSameType
in class OWLObjectImpl
public boolean equals(java.lang.Object obj)
equals
in class OWLAxiomImpl