Difference between revisions of "Individual Axioms"
Adminofwiki (Talk | contribs) |
Adminofwiki (Talk | contribs) (→Sources) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 29: | Line 29: | ||
==Sources== | ==Sources== | ||
| − | #''https://www.w3.org/TR/owl2-syntax/'' | + | #''https://www.w3.org/TR/owl2-syntax/#Assertions'' |
| + | #''https://www.w3.org/TR/owl2-primer/#Equality_and_Inequality_of_Individuals'' | ||
Latest revision as of 15: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.
