Difference between revisions of "Data Property Axioms"
Adminofwiki (Talk | contribs) (→SubDataPropertyOf axioms count) |
Adminofwiki (Talk | contribs) |
||
| Line 7: | Line 7: | ||
It also means that the instances of the subproperty are subsets to the property extension of the second property. | It also means that the instances of the subproperty are subsets to the property extension of the second property. | ||
| − | ==Equivalent data properties | + | ==Equivalent data properties axiom== |
Equivalent property axioms exist when two properties have the same property extension. | Equivalent property axioms exist when two properties have the same property extension. | ||
| − | ==Disjoint data properties | + | ==Disjoint data properties axiom== |
Two properties are disjoint when they don't have individuals in common. | Two properties are disjoint when they don't have individuals in common. | ||
| − | ==Functional data property | + | ==Functional data property axiom== |
A functional property is a property which can only have one value. E.g. a woman can have at most one husband. | A functional property is a property which can only have one value. E.g. a woman can have at most one husband. | ||
| − | ==Data property domain | + | ==Data property domain axiom== |
The domain links a property to a class description. | The domain links a property to a class description. | ||
| Line 23: | Line 23: | ||
There can be more than one domain for a property. | There can be more than one domain for a property. | ||
| − | ==Data Property range | + | ==Data Property range axiom== |
The range links the property to either a class description or a data range. | The range links the property to either a class description or a data range. | ||
There can be more than one range for a property. | There can be more than one range for a property. | ||
| + | |||
==Sources== | ==Sources== | ||
#''https://www.w3.org/TR/owl-ref/#Property'' | #''https://www.w3.org/TR/owl-ref/#Property'' | ||
Revision as of 13:58, 16 June 2016
Data properties link individuals to data values.
A set of instances connected to the property is called a property extension.
Contents
SubDataPropertyOf axiom
This axiom says that a property is a subproperty of another property. It also means that the instances of the subproperty are subsets to the property extension of the second property.
Equivalent data properties axiom
Equivalent property axioms exist when two properties have the same property extension.
Disjoint data properties axiom
Two properties are disjoint when they don't have individuals in common.
Functional data property axiom
A functional property is a property which can only have one value. E.g. a woman can have at most one husband.
Data property domain axiom
The domain links a property to a class description.
There can be more than one domain for a property.
Data Property range axiom
The range links the property to either a class description or a data range.
There can be more than one range for a property.
