org.semanticweb.owl.model
Interface OWLTransitiveObjectPropertyAxiom

All Superinterfaces:

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

public interface OWLTransitiveObjectPropertyAxiom
extends OWLObjectPropertyCharacteristicAxiom

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006

Method Summary

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

accept, accept, getAnnotationAxioms, getAxiomType, getReferencedEntities, isLogicalAxiom

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

accept, accept

Methods inherited from interface java.lang.Comparable

compareTo

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

getProperty

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

accept, accept, getAnnotationAxioms, getAxiomType, getReferencedEntities, isLogicalAxiom

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

accept, accept

Methods inherited from interface java.lang.Comparable

compareTo