public class OWLDeclarationAxiomImpl extends OWLAxiomImpl implements OWLDeclarationAxiom
Constructor and Description |
---|
OWLDeclarationAxiomImpl(OWLEntity entity,
Collection<? 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) |
OWLDeclarationAxiom |
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.
|
OWLDeclarationAxiom |
getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without
annotations.
|
OWLEntity |
getEntity()
Gets the entity that this axiom declares.
|
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
compareTo, containsEntityInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString
equalsIgnoreAnnotations, getAnnotations, getAnnotations, getNNF, isAnnotated, isOfType, isOfType
getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
compareTo
containsEntityInSignature
public OWLDeclarationAxiomImpl(OWLEntity entity, Collection<? extends OWLAnnotation> annotations)
entity
- entity to declareannotations
- annotations on the axiompublic 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 OWLDeclarationAxiom getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom
getAxiomWithoutAnnotations
in interface OWLDeclarationAxiom
public OWLDeclarationAxiom 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 OWLEntity getEntity()
OWLDeclarationAxiom
getEntity
in interface OWLDeclarationAxiom
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
Copyright © 2017 The University of Manchester. All Rights Reserved.