public class OWLSubPropertyChainAxiomImpl extends OWLPropertyAxiomImpl implements OWLSubPropertyChainOfAxiom
Constructor and Description |
---|
OWLSubPropertyChainAxiomImpl(java.util.List<? extends OWLObjectPropertyExpression> propertyChain,
OWLObjectPropertyExpression superProperty,
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) |
OWLSubPropertyChainOfAxiom |
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.
|
OWLSubPropertyChainOfAxiom |
getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without annotations.
|
java.util.List<OWLObjectPropertyExpression> |
getPropertyChain()
Gets the chain of properties that represents the subproperty in this axiom.
|
OWLObjectPropertyExpression |
getSuperProperty()
Gets the super property of this axiom
|
boolean |
isEncodingOfTransitiveProperty()
Determines if this axiom is of the form: P o P -> P, which
is an encoding of Transitive(P)
|
isAnnotationAxiom, isLogicalAxiom
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, isLogicalAxiom, isOfType, isOfType
getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
public OWLSubPropertyChainAxiomImpl(java.util.List<? extends OWLObjectPropertyExpression> propertyChain, OWLObjectPropertyExpression superProperty, java.util.Collection<? extends OWLAnnotation> annotations)
public OWLSubPropertyChainOfAxiom 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 OWLSubPropertyChainOfAxiom getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom
getAxiomWithoutAnnotations
in interface OWLSubPropertyChainOfAxiom
public java.util.List<OWLObjectPropertyExpression> getPropertyChain()
OWLSubPropertyChainOfAxiom
getPropertyChain
in interface OWLSubPropertyChainOfAxiom
public OWLObjectPropertyExpression getSuperProperty()
OWLSubPropertyChainOfAxiom
getSuperProperty
in interface OWLSubPropertyChainOfAxiom
public boolean isEncodingOfTransitiveProperty()
OWLSubPropertyChainOfAxiom
isEncodingOfTransitiveProperty
in interface OWLSubPropertyChainOfAxiom
true
if this encodes that the super property
is transitive, otherwise false
.public void accept(OWLObjectVisitor visitor)
public void accept(OWLAxiomVisitor visitor)
public <O> O accept(OWLAxiomVisitorEx<O> visitor)
public <O> O accept(OWLObjectVisitorEx<O> visitor)
public boolean equals(java.lang.Object obj)
equals
in class OWLAxiomImpl
public AxiomType<?> getAxiomType()
OWLAxiom
getAxiomType
in interface OWLAxiom
protected int compareObjectOfSameType(OWLObject object)
compareObjectOfSameType
in class OWLObjectImpl