Difference between revisions of "Individual Axioms"
Adminofwiki (Talk | contribs) |
Adminofwiki (Talk | contribs) (→Class assertion axiom) |
||
| Line 5: | Line 5: | ||
==Class assertion axiom== | ==Class assertion axiom== | ||
The class assertion axiom states that an individual is an instance of an class expression. | The class assertion axiom states that an individual is an instance of an class expression. | ||
| − | |||
==Object property assertion axiom== | ==Object property assertion axiom== | ||
Revision as of 14:57, 16 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 individuals axiom, this one states that all contained individuals are not equal to each other.
