🔀Transitive Property

NEW

Also known as: Transitivity

A property where A relates to B and B to C implies A relates to C.

DESCRIPTION

Transitive properties support chaining inferences across linked entities. Common examples include ancestor-of, part-of in certain contexts, and greater-than. Declaring transitivity enables reasoners to compute transitive closures for queries and validation. Misapplied transitivity can produce unwanted inferences, so use only where logically sound. In OWL, TransitiveObjectProperty marks properties whose relations propagate.

ALTERNATIVE DEFINITIONS

W3C

A property is transitive if whenever it relates an individual x to an individual y and y to z, then it also relates x to z.

Defines transitivity with explicit individual-level propagation.

Source

W3C

TransitiveObjectProperty(P) states that property P is transitive.

Formal axiom declaration for transitivity in OWL.

Source

Wolfram MathWorld

A binary relation R is transitive if xRy and yRz imply xRz.

Mathematical characterization using relational notation.

Source

RELATED TERMS

Symmetric Property Reflexive Property Irreflexive Property Property Chain SubProperty Inference Reasoner OWL Binary Relation Transitive Closure

COMPETING TERMS

Non-transitive Property

KNOWLEDGE AREAS

Semantic & Knowledge Modeling Mathematics Data Modeling

TARGET AUDIENCE

Data Modeler Data Architect Information Analyst AI Engineer Data Scientist

EXTERNAL SOURCES

• Wikipedia - Transitive relation
• W3C - Primer: transitive properties
• Apache Jena - Property characteristics in Jena

TOP QUESTIONS

When should a property be declared transitive?

Only when logical chaining is valid, such as ancestor-of or part-of in strict hierarchies.

Category: Requirements

What is a mistake with Transitive Properties?

Using transitivity for non-chaining relations like friend-of can produce nonsensical inferences.

Category: Mistakes

How does transitivity affect query performance?

It can expand result sets; reasoners may compute closures, so use judiciously to avoid explosion.

Category: Impact

How to model Transitive Properties in OWL?

Declare TransitiveObjectProperty for the relation and test with a reasoner.

Category: HowTo

What is a real-world example of transitivity?

If A is ancestor of B and B of C, then A is ancestor of C.

Category: Example

Do transitive properties interact with symmetry?

Yes; combining symmetry and transitivity can lead to dense closures and caution is needed.

Category: Concept

How to limit transitive inference?

Avoid overbroad domains/ranges, and consider property hierarchies or scoped reasoning.

Category: HowTo

Is transitivity relevant in graph algorithms?

Yes, it relates to reachability and transitive closure computations.

Category: Relevancy

What is the opposite of transitivity?

Non-transitive properties do not guarantee chain propagation.

Category: Alternatives