Reasoning about relative position of directed lines as a ternary relation algebra (RA) presentation of the RA and of its use in the concrete domain of an ALC(D)-like description logic - Isli, Amar (Mitteilung, 2002)