Difference between revisions of "Individual Axioms"
Adminofwiki (Talk | contribs) |
Adminofwiki (Talk | contribs) (→Sources) |
||
| (4 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
| − | + | These are axioms concerning individuals. | |
| − | ==Class assertion | + | |
| − | ==Object property assertion | + | |
| − | == | + | ==Class assertion axiom== |
| − | == | + | The class assertion axiom states that an individual is an instance of an class expression. |
| − | ==Negative data property assertion | + | |
| − | ==Same individuals | + | ==Object property assertion axiom== |
| − | ==Different individuals | + | |
| + | It states that the individual 'a1' is connected by the object property 'op' to an individual 'a2'. | ||
| + | |||
| + | ==Negative object property assertion axiom== | ||
| + | It states that the individual 'a1' is not connected by the object property 'op' to an individual 'a2'. | ||
| + | |||
| + | ==Data property assertion axiom== | ||
| + | |||
| + | With this axiom it is possible to state that an individual 'a' is connected by a data property 'dp' expression to a literal 'l1'. | ||
| + | |||
| + | ==Negative data property assertion axiom== | ||
| + | |||
| + | The opposite of the data property assertion, so the individual 'a' is not connected by a data property 'dp' expression to a literal 'l1'. | ||
| + | |||
| + | ==Same individuals axiom== | ||
| + | |||
| + | This axiom states that all individuals contained by this axiom are equal to each other. | ||
| + | |||
| + | ==Different individuals axiom== | ||
| + | Other than the same individual's axiom, this one states that all contained individuals are not equal to each other. | ||
| + | |||
| + | ==Sources== | ||
| + | #''https://www.w3.org/TR/owl2-syntax/#Assertions'' | ||
| + | #''https://www.w3.org/TR/owl2-primer/#Equality_and_Inequality_of_Individuals'' | ||
Latest revision as of 16:14, 30 June 2016
These are axioms concerning individuals.
Contents
Class assertion axiom
The class assertion axiom states that an individual is an instance of an class expression.
Object property assertion axiom
It states that the individual 'a1' is connected by the object property 'op' to an individual 'a2'.
Negative object property assertion axiom
It states that the individual 'a1' is not connected by the object property 'op' to an individual 'a2'.
Data property assertion axiom
With this axiom it is possible to state that an individual 'a' is connected by a data property 'dp' expression to a literal 'l1'.
Negative data property assertion axiom
The opposite of the data property assertion, so the individual 'a' is not connected by a data property 'dp' expression to a literal 'l1'.
Same individuals axiom
This axiom states that all individuals contained by this axiom are equal to each other.
Different individuals axiom
Other than the same individual's axiom, this one states that all contained individuals are not equal to each other.
