DataTerminology.comNEW
Also known as: Antireflexivity
A property that never relates any individual to itself.
DESCRIPTION
Irreflexive properties forbid self-links for all individuals in a property’s domain. Typical examples include less-than and parent-of. Declaring irreflexivity helps detect invalid assertions and strengthen logical constraints. In OWL, IrreflexiveObjectProperty enforces this characteristic across instances. Ensure domains are set appropriately to avoid unintended violations.
ALTERNATIVE DEFINITIONS
W3C
A property is irreflexive if it never relates an individual to itself.
Explicitly prohibits self-relations for all individuals.
W3C
IrreflexiveObjectProperty(P) states that property P is irreflexive.
Formal OWL axiom declaration for irreflexivity.
Wolfram MathWorld
A relation R is irreflexive if xRx never holds.
Mathematical negation of reflexivity using relational notation.
RELATED TERMS
Asymmetric Property Antisymmetric Relation Transitive Property OWL Binary Relation Reasoner Constraints Property Characteristic Domain and Range
COMPETING TERMS
KNOWLEDGE AREAS
Semantic & Knowledge Modeling Mathematics Data Modeling
TARGET AUDIENCE
Data Modeler Data Architect Information Analyst
EXTERNAL SOURCES
- Wikipedia - Irreflexive relation
- W3C - Primer: irreflexive properties
- Apache Jena - Irreflexive property modeling
TOP QUESTIONS
What is an Irreflexive Property?
A relation that never links an entity to itself, such as parent-of.
Category: Definition
Why declare irreflexivity?
To prevent invalid self-relations and enable reasoners to catch errors.
Category: Relevancy
What’s a mistake when using irreflexivity?
Applying it to properties where self-links are valid or neutral, causing unnecessary constraints.
Category: Mistakes
How to enforce irreflexivity in OWL?
Use IrreflexiveObjectProperty and validate with a reasoner to detect violations.
Category: HowTo
Does irreflexivity interact with asymmetry?
Yes; many asymmetric properties are also irreflexive, but they are distinct characteristics.
Category: Concept
What is a practical example of irreflexivity?
Less-than is irreflexive because no number is less than itself.
Category: Example
What’s the opposite of irreflexivity?
Reflexivity, which asserts self-relations for all individuals.
Category: Alternatives
How to diagnose irreflexivity violations?
Run a reasoner to flag any asserted self-links for the property.
Category: HowTo
Can irreflexivity apply to data properties?
OWL irreflexivity targets object properties; data properties are value assignments, not self-relations.
Category: Opinion