Difference between revisions of "Individual Axioms"
Adminofwiki (Talk | contribs) (→Class assertion axiom) |
Adminofwiki (Talk | contribs) |
||
| Line 19: | Line 19: | ||
==Negative data property assertion axiom== | ==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'. | + | 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== | ==Same individuals axiom== | ||
| Line 26: | Line 26: | ||
==Different individuals axiom== | ==Different individuals axiom== | ||
| − | Other than the same | + | Other than the same individual's axiom, this one states that all contained individuals are not equal to each other. |
==Sources== | ==Sources== | ||
#''https://www.w3.org/TR/owl2-syntax/'' | #''https://www.w3.org/TR/owl2-syntax/'' | ||
Revision as of 19:45, 23 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.
