org.semanticweb.owlapi.model
Interface OWLSubPropertyChainOfAxiom
- All Superinterfaces:
- java.lang.Comparable<OWLObject>, OWLAxiom, OWLLogicalAxiom, OWLObject, OWLObjectPropertyAxiom, OWLPropertyAxiom
- All Known Implementing Classes:
- OWLSubPropertyChainAxiomImpl
public interface OWLSubPropertyChainOfAxiom
- extends OWLObjectPropertyAxiom
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 22-Nov-2006
Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiom |
accept, accept, getAnnotatedAxiom, getAnnotations, getAxiomType, getNNF, getReferencedEntities, isAnnotated, isLogicalAxiom, isOfType, isOfType |
Methods inherited from interface java.lang.Comparable |
compareTo |
getPropertyChain
java.util.List<OWLObjectPropertyExpression> getPropertyChain()
getSuperProperty
OWLObjectPropertyExpression getSuperProperty()
isEncodingOfTransitiveProperty
boolean isEncodingOfTransitiveProperty()
- Determines if this axiom is of the form: P o P -> P, which
is an encoding of Transitive(P)
- Returns:
true
if this encodes that the super property
is transitive, otherwise false
.
getAxiomWithoutAnnotations
OWLSubPropertyChainOfAxiom getAxiomWithoutAnnotations()
- Description copied from interface:
OWLAxiom
- Gets an axiom that is structurally equivalent to this axiom without annotations. This essentially
returns a version of this axiom stripped of any annotations
- Specified by:
getAxiomWithoutAnnotations
in interface OWLAxiom
- Returns:
- The annotationless version of this axiom