com.clarkparsia.pellet.api.term.axiom
Interface Transitive

All Superinterfaces:
AtomicQueryAtom, Axiom, PropertyAxiom, QueryAtom, Term, UnaryPropertyAxiom<ObjectProperty>

public interface Transitive
extends UnaryPropertyAxiom<ObjectProperty>

An axiom to represent that an object property is transitive.

Author:
Evren Sirin

Method Summary
 
Methods inherited from interface com.clarkparsia.pellet.api.term.axiom.UnaryPropertyAxiom
getProperty
 
Methods inherited from interface com.clarkparsia.pellet.api.term.Term
accept, accept, isNamed
 



Copyright 2010 Clark & Parsia, LLC. All Rights Reserved.