t them in an appropriate way. In this subsection, we'll discuss an approach that should work for InheritanceLink, SubsetLink, Impli- cationLink, and ExtensionalImplicationLink and other related link types. But we'll explicitly present it only for the InheritanceLink case. Although the embedding algorithm described above w