//
//  Created by Ivano Bilenchi on 27/05/16.
//  Copyright © 2016 SisInf Lab. All rights reserved.
//

#import "OWLObjectPropertyCharacteristicAxiom.h"

/// Represents a TransitiveObjectProperty axiom in the OWL 2 Specification.
@protocol OWLTransitiveObjectPropertyAxiom <OWLObjectPropertyCharacteristicAxiom> @end
