NEW
Also known as: Inverse Relation
A property that reverses the direction of another property.
DESCRIPTION
Inverse properties relate pairs of properties where one expresses the reverse relationship of the other. Declaring inverses lets reasoners infer reverse assertions without duplication. Symmetric properties are special cases where a property is its own inverse. In OWL, use InverseObjectProperties to specify the pairing. Correct domain and range choices ensure consistent inference and validation.
ALTERNATIVE DEFINITIONS
W3C
The inverse of a property P relates y to x whenever P relates x to y.
Describes inverse mapping between subject and object in OWL.
W3C
InverseObjectProperties(P Q) states that properties P and Q are inverses.
Formal OWL axiom for declaring inverse property pairs.
RELATED TERMS
Functional Property Inverse Functional Property Object Property Property Chain SubProperty OWL Binary Relation Reasoner Domain and Range
COMPETING TERMS
KNOWLEDGE AREAS
Semantic & Knowledge Modeling Data Modeling Mathematics
TARGET AUDIENCE
Data Modeler Data Architect Information Analyst
EXTERNAL SOURCES
- Wikipedia - Inverse relation
- W3C - Primer: inverse properties
- Apache Jena - Declaring inverse properties
- Stanford Protégé - Tutorial: inverse property setup
TOP QUESTIONS
What is an Inverse Property in OWL?
It defines that one property reverses the subject-object direction of another property.
Category: Definition
Why declare inverse properties?
To infer reverse links automatically and reduce redundant assertions.
Category: Relevancy
How to declare inverse properties?
Use InverseObjectProperties(P Q) and ensure consistent domain-range alignment.
Category: HowTo
What is a mistake with inverse properties?
Declaring inverses without matching domains/ranges can cause unintended type inferences.
Category: Mistakes
When is a property its own inverse?
When it is symmetric; e.g., married-to.
Category: Concept
Can data properties have inverses?
OWL inverse applies to object properties; data properties do not have inverses.
Category: Opinion
What’s an example of inverse properties?
hasParent and hasChild are inverses if properly modeled.
Category: Example
How do inverse properties affect inference?
They allow reasoners to derive reverse assertions, enhancing completeness.
Category: Impact
Do inverse properties impact performance?
Slightly; additional inferred triples increase graph size. Use judiciously.
Category: Impact