Examples are contained in a classical book about semimodular lattice theory: F.~Maeda Maeda and S.~Maeda ``theory Maeda "theory of symmetric lattices''lattices". See that book for details and refernces concerning what follows.
The babylonian method for completing the square (m'ethode connue
'egalment, dans dans la litt'erature, sous le noms de m\'ethode de Jacobi'' et
m'ethode"m'ethode de
Jacobi" et "m'ethode d'ortogonalization de Schmidt''Schmidt", `a moins qu'il
ne conviene plut^ot de l'attribuer `a quelque savant russe, wrote
A.~Weil Weil in 1957) shows that each separable (and also each complete)
pre-Hilbert space has an orthogonal basis (but not always so in every
non-separable pre-Hilbert space). Hence every element in $L$ is a
orthogonal join of atoms.
To show that $L$ is not orthomodular precisely because it is metrically incomplete, now apply the theorem of Piron - Amemya / Araki - Morash - Gross / Keller - Wilbur - Holland.
(OneDigression: One does not need the much deeper
and mathematically wonderful theorem of M.~P P.~Soler; Soler; neither one does
need the even deeper, and unfortunately well forgotten by modern quantum
logicians, characterization by von Neumann of ``continuous"continuous geometries
with transition probability''probability". This characterization, even when applied
to its easier subcase, the type I finite case, provides an
axiomatization of Hilberian quantum logics of lenght at lest 4 which
physically much more meaningful that the one obtained by modern quantum
logicians form Soler's theorem, which is moreover restricted to the
infinite dimensional case only. End digression).
The above example $L$ has infinite lengh. I have no well known examples of finite lenght lenght (I am familiar only with the semimodular case, which implies modularity in finite lenght with anti-automorphism). However, some related comments follow, ending in a candidate example.
Note that the usual meaning of ``atomistic''"atomistic" is: each element is join of atoms. Equivalently (see again Maeda - Maeda): atomic (each nonzero element contains an atom) and sectionally semi-complemented (if $x<y$ then $y$ contains a nonzero $z$ disjoint from $x$).
Since orthomodular'' means
relatively orthocomplemented''"orthomodular" means "relatively orthocomplemented" (if $x<y$ then a $z$ orthogonal to $x$ exists whose join with $x$ is $y$), one
sees that atomic orthomodular'' imples atomistic. More exactly, for complete orthocomplemented atomic lattices, one sees that orthomodular is equivalent to
each"atomic orthomodular" imples atomistic. Besides, for
complete orthocomplemented atomic lattices, one sees that orthomodular
is equivalent to "each set of orthogonal atoms contained in a element
$x$ expands to one such set with join $x$''", and is also equivalent to
each maximal orthogonal set of atoms contained in a element $x$ has join $x$''. These equivalent conditions for orthomodularity are strictly stronger than
each"each maximal orthogonal set of atoms contained in a element $x$ has
join $x$". These equivalent conditions for orthomodularity are strictly
stronger than "each element is a orthogonal join of atoms''atoms" as shown by
incomplete separable pre-Hilbert spaces.
On the other hand, atomistic is strictly weaker than ``each element"each element is a join of orthogonal atoms''atoms". Infact, the following method produces finite, atomistic orthocomplemented lattices which are not orthomodular orthomodular because some elements have no orthogonal basis of atoms.
[Form Henstock (his general theory of integration, in division spaces), a
illuminating non-example: in the cartesian plane, consider figures that
modulo the border'' are finite disjoint unions of rectangles with sides either parallel to the axes or to the bisectors of the axes (formally, work in the boolean algebra of regular open sets, or equivalently open / closed sets modulo nowhere dense sets). It is a non-example since (besides being atomless) it has no top element and no joins despite being sup-directed; it is instructive since one has two unitless Boolean rings
accidentally"modulo the border" are finite disjoint unions of rectangles with
sides either parallel to the axes or to the bisectors of the axes (formally, work in the boolean algebra of regular open sets, or equivalently open / closed sets modulo nowhere dense sets). It is a non-example since (besides being atomless) it has no top element and no joins despite being sup-directed; it is instructive since one has two unitless Boolean rings "accidentally pasted together''together" using the
inclusion inclusion order in the plane, a order which has nothing to say about the
"intrinsic" state-induced order (the associated $L'$, a poset whose bounded intervals are Boolean algebras). A $L$, if it exists, would be
intrinsic'' state-induced order (the associated $L'$, a poset whose bounded intervals are Boolean algebras). A $L$, if it exists, would be in same way analogous: the orthomodular structures associated to $L$ might be the horizontal sum of two finite boolean algebras, but $L$ itself has more pairs in the ordering relation, with
nonin same way analogous: the orthomodular structures associated to $L$
might be the horizontal sum of two finite boolean algebras, but $L$
itself has more pairs in the ordering relation, with "non splitting
atoms''atoms" inside an element that kill orthomodularity of $L$.]