org.semanticweb.owl.model
Interface OWLObjectPropertyChainSubPropertyAxiom

All Superinterfaces:

java.lang.Comparable<OWLObject>, OWLAxiom, OWLLogicalAxiom, OWLObject, OWLObjectPropertyAxiom, OWLPropertyAxiom

public interface OWLObjectPropertyChainSubPropertyAxiom
extends OWLObjectPropertyAxiom

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 22-Nov-2006

Method Summary

java.util.List<OWLObjectPropertyExpression>	getPropertyChain()
OWLObjectPropertyExpression	getSuperProperty()
boolean	isEncodingOfTransitiveProperty() Determines if this axiom is of the form: P o P -> P, which is an encoding of Transitive(P)

Methods inherited from interface org.semanticweb.owl.model.OWLAxiom

accept, accept, getAnnotationAxioms, getAxiomType, getNNF, getReferencedEntities, isLogicalAxiom

Methods inherited from interface org.semanticweb.owl.model.OWLObject

accept, accept, getSignature

Methods inherited from interface java.lang.Comparable

compareTo

Method Detail

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.