public class OWLHasKeyAxiomImpl extends OWLLogicalAxiomImpl implements OWLHasKeyAxiom
Constructor and Description |
---|
OWLHasKeyAxiomImpl(OWLClassExpression expression,
java.util.Set<? extends OWLPropertyExpression<?,?>> propertyExpressions,
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) |
OWLHasKeyAxiom |
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.
|
OWLHasKeyAxiom |
getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without annotations.
|
OWLClassExpression |
getClassExpression()
Gets the class expression, instances of which, this axiom acts as the key for
|
java.util.Set<OWLDataPropertyExpression> |
getDataPropertyExpressions()
Gets the set of data property expressions that make up the key.
|
java.util.Set<OWLObjectPropertyExpression> |
getObjectPropertyExpressions()
Gets the set of object property expressions that make up the key.
|
java.util.Set<OWLPropertyExpression<?,?>> |
getPropertyExpressions()
Gets the set of property expressions that form the key
|
boolean |
isLogicalAxiom()
Determines if this axiom is a logical axiom.
|
isAnnotationAxiom
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, isAnnotationAxiom, isOfType, isOfType
getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
public OWLHasKeyAxiomImpl(OWLClassExpression expression, java.util.Set<? extends OWLPropertyExpression<?,?>> propertyExpressions, java.util.Collection<? extends OWLAnnotation> annotations)
public OWLHasKeyAxiom getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom
getAxiomWithoutAnnotations
in interface OWLHasKeyAxiom
public OWLHasKeyAxiom 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 AxiomType<?> getAxiomType()
OWLAxiom
getAxiomType
in interface OWLAxiom
public boolean isLogicalAxiom()
OWLAxiom
isLogicalAxiom
in interface OWLAxiom
isLogicalAxiom
in class OWLLogicalAxiomImpl
true
if the axiom is a logical axiom, false
if the axiom is not a logical axiom.public OWLClassExpression getClassExpression()
OWLHasKeyAxiom
getClassExpression
in interface OWLHasKeyAxiom
public java.util.Set<OWLPropertyExpression<?,?>> getPropertyExpressions()
OWLHasKeyAxiom
getPropertyExpressions
in interface OWLHasKeyAxiom
public java.util.Set<OWLDataPropertyExpression> getDataPropertyExpressions()
OWLHasKeyAxiom
OWLHasKeyAxiom.getPropertyExpressions()
method.getDataPropertyExpressions
in interface OWLHasKeyAxiom
public java.util.Set<OWLObjectPropertyExpression> getObjectPropertyExpressions()
OWLHasKeyAxiom
OWLHasKeyAxiom.getPropertyExpressions()
method.getObjectPropertyExpressions
in interface OWLHasKeyAxiom
protected int compareObjectOfSameType(OWLObject object)
compareObjectOfSameType
in class OWLObjectImpl
public void accept(OWLObjectVisitor visitor)
public <O> O accept(OWLObjectVisitorEx<O> visitor)
public void accept(OWLAxiomVisitor visitor)
public <O> O accept(OWLAxiomVisitorEx<O> visitor)
public boolean equals(java.lang.Object obj)
equals
in class OWLAxiomImpl