| http://www.w3.org/ns/prov#value | - This use of lattices is also related to the fact that, even if preorders and lattices appare everywhere, the theory of such structures is not so important: that theory is rarely used to prove things outside itself, one usually prefers other tools and other languages.
|
