DataTerminology.comNEW
Also known as: Functional Relation, Right-unique Relation
A property that has at most one value for each subject.
DESCRIPTION
Functional properties enforce uniqueness of object per subject, modeling one-to-one or one-to-zero-or-one relations. They are useful for identifiers, primary contacts, or canonical links. In OWL, FunctionalObjectProperty constrains object properties; FunctionalDataProperty applies to data properties. Misuse can block valid multi-valued data. Combine with inverse functionality and keys for robust identity.
ALTERNATIVE DEFINITIONS
W3C
A property is functional if it has at most one value for each individual.
Defines uniqueness constraint at the individual level.
W3C
FunctionalObjectProperty(P) states that property P is functional.
Formal OWL axiom for object property functionality.
Apache Jena
A functional property has at most one value for any given subject.
Developer-oriented phrasing consistent with OWL semantics.
RELATED TERMS
Inverse Functional Property Cardinality Constraint Unique Key Data Property Object Property OWL Description Logic Reasoner Domain and Range Multiplicity
COMPETING TERMS
Non-functional Property Many-valued Property
RELATIONS
- Narrower: Inverse Functional Property
KNOWLEDGE AREAS
Semantic & Knowledge Modeling Data Modeling Data Management
TARGET AUDIENCE
Data Modeler Data Architect Information Analyst Data Steward
EXTERNAL SOURCES
- Wikipedia - Functional binary relation
- W3C - Primer: functional properties
- Apache Jena - Functional property characteristic
- Stanford Protégé - Tutorial: declaring functional properties
TOP QUESTIONS
What is a Functional Property in OWL?
It restricts a property to have at most one value per subject individual.
Category: Definition
When should a property be functional?
Use it for identifiers or canonical assignments like primaryEmail or hasBirthDate.
Category: Requirements
What is a common mistake with functional properties?
Declaring multi-valued properties like phoneNumber functional, blocking legitimate multiple values.
Category: Mistakes
How to declare functionality in OWL?
Use FunctionalObjectProperty or FunctionalDataProperty, depending on the property type.
Category: HowTo
How does functionality relate to keys?
OWL keys and inverse functionality strengthen identity; combine for deduplication.
Category: Concept
Can functionality be scoped?
OWL functionality applies globally to the property’s domain; scoping requires modeling patterns.
Category: Opinion
How to test a functional property?
Assert two different values for the same subject; a reasoner should flag inconsistency.
Category: HowTo
What performance impact arises from functionality?
Reasoners may do consistency checks; the cost is usually modest compared to benefits.
Category: Impact
What is the opposite of a Functional Property?
A non-functional property allows multiple values per subject.
Category: Alternatives