Method, a web document description language, a web server, a web document transfer protocol and a computer software product for retrieving a web document

1. A method for retrieving a web document provided by a web server, the web document being a structured markup like document, the method comprising:

requesting a first web document from the web server, the first web document being a first structured markup like document; and

replying with the first web document; wherein said method further comprises:

requesting a content analysis of a second web document from a web server according to an inspection requirement, said second web document being a structured markup like document and said inspection requirement being comprised by the first web document, analyzing the content of the second web document according to the inspection requirement, and

integrating an analyzing result into the first web document;

wherein said first web document comprises said inspection requirement on the second web document which triggers the content analysis at the server,

wherein the inspection requirement is a unification problem and the analyzing is a unification;

wherein the unification problem relates to a set of hypermedia objects comprising variables with respect to relations; and

wherein the first and second web documents are terms of the unification and where the first web document comprises variable bindings that are the analyzing result.

2. The method according claim 1 , wherein the unification has constraints.

3. A computer implemented method for executing a web document transfer protocol comprising:

transmitting a web document request, from a client to a server, requesting a first web document, the first web document being a first structured markup like document, and

replying with the first web document according to the web document request, wherein said first web document comprises an inspection requirement on a second web document that is triggering an analyzing at the server,

wherein said second web document is a second structured markup like document, and the result of the analysis is replied; and

wherein the inspection requirement is a unification problem and the analyzing is a unification;

wherein the unification problem relates to a set of hypermedia objects comprising variables with respect to relations; and

the first and second web documents are terms of the unification and wherein the first web document comprises variable bindings that are the analyzing result.

4. A web server comprising:

a processor and memory;

wherein said web server performs operations o 1 ˜

receiving a web document request, the web document request requesting a first web document, the first web document being a first structured markup like document comprising an inspection requirement;

retrieving a web document, and replying the first web document, wherein the web server further performs operations of:

analyzing the content of a second web document according to the inspection requirement, wherein said replying replies an analyzing result; and integrating an analyzing result into the first web document;

wherein the inspection requirement is a unification problem and the analyzing is a unification;

wherein the unification problem relates to a set of hypermedia objects comprising variables with respect to relations; and

the first and second web documents are terms of the unification and the first web document comprises variable bindings that are the analyzing result;

wherein the processor, operating on the memory, performs at least one of the receiving, the retrieving, the replying, the analyzing, and the integrating.

5. A non-transitory computer readable medium having computer instructions for enabling a computer executing the computer instructions to perform a method for retrieving a web document provided by a web server, the web document being a structured markup like document, the method comprising:

requesting a first web document from the web server, the first web document being a first structured markup like document; and

replying with the first web document;

wherein said method further comprises:

requesting a content analysis of a second web document from a web server according to an inspection requirement, said second web document being a structured markup like document and said inspection requirement being comprised by the first web document,

analyzing the content of the second web document according to the inspection requirement, and

integrating an analyzing result into the first web document;

wherein said first web document comprises said inspection requirement on the second web document which triggers the content analysis at the server,

wherein the inspection requirement is a unification problem and the analyzing is a unification;

wherein the unification problem relates to a set of hypermedia objects comprising variables with respect to relations; and

wherein the first and second web documents are terms of the unification and where the first web document comprises variable bindings that are the analyzing result.

6. The non-transitory computer readable medium according to claim 5 , wherein a web document description language is used to represent web documents, said web document description language comprising expression means for presenting information and information access, wherein said web document description language further comprises expression means for requesting a web document analysis according to the inspection requirement and for integrating an analyzing result.

7. The method of claim 1 , wherein the second web document is a web page.