Patent ID: 7058883

Claim:
A computer implemented method for automatically forming a document link that links a portion of a first document with a portion of a second document, the method comprising: describing at least two characteristics of portions of respective documents using an Atom predicate expression, wherein the portions are less than the whole of each respective document; describing at least one link establishing condition configured to specify portions of first and second documents to be linked using a Horn clause predicate expression including the Atom predicate; registering the at least one link establishing condition in a file; running a prescribed program configured to calculate the at least one link establishing condition while referring to the file; and forming at least one document link between the at least one pair of the portions of the first and second documents, specified by the prescribed program, wherein the at least one link describes a nature of document elements of the first document and the second document, wherein the first document is a link source and the second document is a linking destination.