public interface OWLSubPropertyChainOfAxiom extends OWLObjectPropertyAxiom
Modifier and Type | Method and Description |
---|---|
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)
|
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getNNF, isAnnotated, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfType
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
java.util.List<OWLObjectPropertyExpression> getPropertyChain()
OWLObjectPropertyExpression getSuperProperty()
boolean isEncodingOfTransitiveProperty()
true
if this encodes that the super property
is transitive, otherwise false
.OWLSubPropertyChainOfAxiom getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom