|
|||||||||
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.OWLDatatypeDefinitionAxiomImpl
public class OWLDatatypeDefinitionAxiomImpl
Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 24-Mar-2009
Constructor Summary | |
---|---|
OWLDatatypeDefinitionAxiomImpl(OWLDataFactory dataFactory,
OWLDatatype datatype,
OWLDataRange dataRange,
java.util.Collection<? 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)
|
|
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 |
isLogicalAxiom()
Determines if this axiom is a logical axiom. |
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, 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 OWLDatatypeDefinitionAxiomImpl(OWLDataFactory dataFactory, OWLDatatype datatype, OWLDataRange dataRange, java.util.Collection<? extends OWLAnnotation> annotations)
Method Detail |
---|
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 axiom
OWLAxiom#getAnnotations()
method.public OWLDatatype getDatatype()
OWLDatatypeDefinitionAxiom
OWLDatatype
that is assigned a definition
getDatatype
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 AxiomType getAxiomType()
OWLAxiom
getAxiomType
in interface OWLAxiom
public void accept(OWLObjectVisitor visitor)
accept
in interface OWLObject
public <O> O accept(OWLObjectVisitorEx<O> visitor)
accept
in interface OWLObject
protected int compareObjectOfSameType(OWLObject object)
compareObjectOfSameType
in class OWLObjectImpl
public boolean equals(java.lang.Object obj)
equals
in class OWLAxiomImpl
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |