Difference between revisions of "Data Property Axioms"
From OntoMetrics
Adminofwiki (Talk | contribs) |
Adminofwiki (Talk | contribs) |
||
| Line 1: | Line 1: | ||
| − | + | Data properties link individuals to data values. | |
| + | |||
| + | A set of instances connected to the property is called a property extension. | ||
==SubDataPropertyOf axioms count== | ==SubDataPropertyOf axioms count== | ||
| + | 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 axioms count== | ==Equivalent data properties axioms count== | ||
| + | |||
| + | Equivalent property axioms exist when two properties have the same property extension. | ||
| + | |||
==Disjoint data properties axioms count== | ==Disjoint data properties axioms count== | ||
==Functional data property axioms count== | ==Functional data property axioms count== | ||
| + | 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 axioms count== | ==Data property domain axioms count== | ||
==Data Property range axioms count== | ==Data Property range axioms count== | ||
| + | |||
| + | ==Sources== | ||
| + | #''https://www.w3.org/TR/owl-ref/#Property'' | ||
Revision as of 12:07, 13 June 2016
Data properties link individuals to data values.
A set of instances connected to the property is called a property extension.
Contents
SubDataPropertyOf axioms count
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 axioms count
Equivalent property axioms exist when two properties have the same property extension.
Disjoint data properties axioms count
Functional data property axioms count
A functional property is a property which can only have one value. E.g. a woman can have at most one husband.
