專利名稱：檢索網(wǎng)絡文件的方法和網(wǎng)絡服務器的制作方法
技術領域：
本發(fā)明涉及一種檢索網(wǎng)絡文件的方法。更具體地，本發(fā)明涉及網(wǎng)絡文件描述語言、網(wǎng)絡服務器、網(wǎng)絡文件傳輸協(xié)議和計算機軟件產(chǎn)品。
本發(fā)明基于在先申請EP 04291846.6，在此引入作為參考。
背景技術：
互聯(lián)網(wǎng)主要包括網(wǎng)絡服務器和客戶機。網(wǎng)絡服務器是傳遞(提供)超文本標記語言(HTML)頁面的計算機。每臺網(wǎng)絡服務器都有一個網(wǎng)際協(xié)議(IP)地址，還可能有一個域名。如果客戶機通過統(tǒng)一資源定位器/標識符(URL/URI)請求資源，則請求被發(fā)送到對應URL/URI的服務器。
網(wǎng)絡文件是用描述語言(例如HTML或XHTML)表現(xiàn)的信息，它專用于從服務器傳輸(根據(jù)某一協(xié)議)到客戶機，并且(信息)可以在客戶機上提取，即呈現(xiàn)。
超文本傳輸協(xié)議(HTTP)是服務器和客戶機使用的底層協(xié)議。HTTP定義了消息如何構成和傳送，以及網(wǎng)絡服務器和客戶機應采取什么動作響應各種命令。例如，當在客戶機上請求URL輸入時，這實際上是向網(wǎng)絡服務器發(fā)送HTTP命令，指示它取得并傳送所請求的頁面。
另一個控制萬維網(wǎng)如何工作的主要標準是超文本標記語言(HTML)，它管理網(wǎng)頁如何構成及顯示。
HTTP被稱作無狀態(tài)協(xié)議，因為每個命令都是獨立執(zhí)行的，不需要任何之前的命令的信息。這是很難實現(xiàn)智能反應的網(wǎng)站的主要原因。
萬維網(wǎng)協(xié)會在http//www.w3.org/MarkUp/和http//www.w3.org/Protocols/上對HTML和HTTP進行了具體說明。
HTTP目前的通用方法集是GET、HEAD、POST、PUT、DELETE、TRACE和CONNECT。GET方法檢索由Request-URI標識的任何信息(以實體的形式)。如果Request-URI涉及數(shù)據(jù)產(chǎn)生進程，則是產(chǎn)生的數(shù)據(jù)應作為實體在響應中返回，而不是進程的源文本，除非該文本恰好是進程的輸出。
如果請求消息包括If-Modified-Since、If-Unmodified-Since、If-Match、If-None-Match或If-Range頭字段，則GET方法的語義可以變?yōu)椤皸l件GET(conditional GET)”。條件GET方法要求實體只在由條件頭字段描述的環(huán)境下傳輸。條件GET方法是用來通過允許儲存的實體無需要求多個請求或傳輸客戶機已經(jīng)掌握的數(shù)據(jù)來更新以減少不必要的網(wǎng)絡使用。
如果請求消息包括范圍頭字段，則GET方法的語義變?yōu)椤安糠諫ET(partial GET)”。部分GET要求只傳輸實體的一部分。部分GET方法是用來通過允許部分檢索的實體無需傳輸客戶機已掌握的數(shù)據(jù)來完成以減少不必要的網(wǎng)絡使用。
所有HTTP實體在HTTP消息中都表現(xiàn)為字節(jié)序列，字節(jié)范圍的概念對于任何用于部分GET方法的HTTP實體都有意義。字節(jié)范圍操作可以指定字節(jié)的單個范圍，或單個實體中的一組范圍。
為了實現(xiàn)(動態(tài)的)反應或交互網(wǎng)站，必須用到其他技術。例如客戶機服務器交互的窗體(form)技術通過在X個窗體中集成簡單對象應用協(xié)議得到增強。目前有某些增強的網(wǎng)絡服務器，如生成動態(tài)網(wǎng)頁的應用服務器或能夠執(zhí)行多種小服務程序(servelet)(例如Tomcat、現(xiàn)用服務器頁面ASP或類似Java腳本或PHP的腳本語言)的網(wǎng)絡服務器。
目前的互聯(lián)網(wǎng)傳輸協(xié)議既不適合于交換也沒有在語義(基于內(nèi)容)級上交互。它們主要通過超鏈接和基于地址傳輸信息，如URI，即引用交互，支持導航。
檢索進程通常被分成頁面提供裝置(如窗體)以將請求公式化，該請求強制查詢一些外部顯示(foreign presentation)，例如數(shù)據(jù)庫，根據(jù)查詢結果生成新的頁面，并將新頁面?zhèn)魉偷秸埱蠓健?br> 目前例如Xcerpt(說明性的基于規(guī)則的查詢)和XML的轉(zhuǎn)換語言(由邏輯編程引起的)的開發(fā)不能嵌入或集成類似呈現(xiàn)的信息。(不同于由例如XSLT和Xquery的語言使用的基于路徑的導航方法，Xcerpt使用基于模式的位置查詢，其中模式是包含綁定內(nèi)容的變量的數(shù)據(jù)庫的“實例”。)當搜尋特定內(nèi)容時，搜索引擎必須集合已公開的內(nèi)容以使其可以索引訪問，例如通過模式匹配搜索或者對數(shù)據(jù)庫的布爾查詢?；ヂ?lián)網(wǎng)搜索引擎通常是具有大型數(shù)據(jù)庫的大規(guī)模計算機群，這些數(shù)據(jù)庫存儲有索引的網(wǎng)絡內(nèi)容，并不間斷地掃描和/或引用每個關鍵字或搜索表達式的鏈接。
本發(fā)明解決的問題是增強如互聯(lián)網(wǎng)的網(wǎng)絡的檢索能力，以及通過替換當前采用的直接(引用)方法(即提供自動概述的自組織網(wǎng)絡文件，而不是提供多種組合概要信息的搜索引擎)以增強相關網(wǎng)絡文件的結合。
目前，不可能要求服務器其是否提供滿足某一特性的頁面。這樣的特性例如可以是合一(unification)條件。
簡略地，合一是模式匹配的概括，模式匹配是與邏輯中的實例化等效的邏輯編程。當兩個項，例如網(wǎng)絡文件，要被合一時，它們被相互比較以標識出使其彼此相似的信息。變量部分(例如占位符或通配符)被綁定或例示，這樣兩個文件是相似的。這個想法可以例如采用羅賓遜(Robinson)算法實現(xiàn)。合一的結果是一組變量綁定(已知如合一器)的成功或失敗。對任何兩項來說，可能有很多這樣的合一器。Baader和Snyder在他們1999年由Elsevier出版社出版的“自動推理手冊”中關于合一理論的章節(jié)中給出了關于合一理論的概括。

發(fā)明內(nèi)容
檢索能力被增強，即通過一種檢索由網(wǎng)絡服務器提供的網(wǎng)絡文件的方法解決問題，該方法包括以下步驟-向網(wǎng)絡服務器請求第一網(wǎng)絡文件；-根據(jù)第一網(wǎng)絡文件包含的檢查要求請求第二網(wǎng)絡文件的內(nèi)容分析；
-根據(jù)檢查要求分析第二網(wǎng)絡文件的內(nèi)容；-將分析結果集成到第一網(wǎng)絡文件中；并最終-回復該第一網(wǎng)絡文件。
當在分析中使用合一時，結果網(wǎng)絡文件可能包含變量。另外，應注意到信息交換不再象在以前的客戶機服務器方法中一樣被定向，即綁定可以從請求站點傳送到服務站點，反之亦然。
通過一種網(wǎng)絡文件描述語言解決問題，該語言包括用于公布分發(fā)信息和檢索交互信息的表達方式，還包括用于根據(jù)檢查要求主動請求網(wǎng)絡文件分析的表達方式和用于集成分析結果的表達方式。
通過一種網(wǎng)絡文件傳輸協(xié)議解決問題，該協(xié)議包括以下步驟-從客戶機向服務器傳送網(wǎng)絡文件請求；以及-根據(jù)網(wǎng)絡文件請求回復；其中，所述網(wǎng)絡文件請求包括對在服務器上觸發(fā)分析的網(wǎng)絡文件的檢查要求，并且回復分析結果。
通過一種網(wǎng)絡服務器解決問題，該服務器包括用于接收網(wǎng)絡文件請求的接收裝置，用于檢索網(wǎng)絡文件的檢索裝置以及用于回復網(wǎng)絡文件的回復裝置，該服務器還包括用于根據(jù)檢查要求分析網(wǎng)絡文件的內(nèi)容的檢查裝置以及適用于回復分析結果的回復裝置。
換句話說，在網(wǎng)絡文件上增加用于分析語法項的應用程序界面，其中網(wǎng)絡文件包括占位符(變量)，適合于嵌入分析結果。優(yōu)選地，該分析是基于合一的。它可以是具有變量的網(wǎng)絡文件的語法合一，可以是匹配機制，即限制的合一，或者甚至是以某一理論為模的合一，所謂的語義合一，具有約束或不具有約束的合一，關于任何同余關系而非等同性的分析，等等。
正式地，合一問題被抽象地當作一組包含關于關系R1，…，Rk的變量X1，…，Xm的相關(超媒體)對象O1，…，On，例如O1(X1，X2)R1O2(X2，X3)O2(X2，X3)R2O3(X4)O1(X1，X2)R1O3(X4)。
一種解決方案是變量綁定，即映射X1-＞S1，X2-＞S2，X3-＞S3，和X4-＞S4，使得O1(S1，S2)R1O2(X2，X3)O2(S2，S3)R2O3(S4)O1(S1，S2)R1O3(S4)適用。就是說，占位符可以用滿足約束的替代物(實際對象)代替(例示)，即使得對象是相關的。
因此，本發(fā)明的目的和優(yōu)點是提供具有允許基于內(nèi)容和結構的信息訪問和交換的界面的動態(tài)網(wǎng)絡文件資源。
本發(fā)明的另一個優(yōu)點是它歸納了眾所周知的網(wǎng)絡文件的請求回復交互隱喻。本發(fā)明歸納了當前的服務器和客戶機，例如瀏覽器。其思想容易理解并易于使用。它增強了信息檢索和一致性，因此期待大量的應用。為此存在有效的合一算法可用。
本發(fā)明的另一個優(yōu)點是由于分析復雜性的分布(自然分布，負載平衡)，減少了特別是搜索引擎的存儲器和處理要求。當應用合一時，分析甚至變得相關聯(lián)和可交換，其優(yōu)點是合一(分析)的分布的高自由度；即合一的關聯(lián)性和可交換性支持平行分布式處理unify(A，unify(B，C))＝unify(unify(A，B)，C)unify(A，B)＝unify(B，A)。本發(fā)明支持未來的“網(wǎng)絡中心(WEB-centric)”應用，例如非常依賴內(nèi)容(信息)交換的語義網(wǎng)絡。


根據(jù)附圖及隨后的說明，本發(fā)明的上述和許多其他目的和優(yōu)點對于本領域普通技術人員變得更明顯，其中圖1是示出現(xiàn)有技術中檢索網(wǎng)絡文件的客戶機服務器關系的示意圖；圖2是說明根據(jù)本發(fā)明的檢索由網(wǎng)絡服務器提供的網(wǎng)絡文件的方法的示意圖；
圖3是根據(jù)本發(fā)明的方法的迭代應用的示意圖；圖4是說明根據(jù)本發(fā)明的網(wǎng)絡文件傳輸協(xié)議的示意圖。
具體實施例方式
本領域普通技術人員會認識到以下對本發(fā)明的描述只是說明性的，并不是以任何方式限定。根據(jù)公開的一個測試，本領域普通技術人員可以很容易聯(lián)想到本發(fā)明的其他實施例。
網(wǎng)絡內(nèi)容合一(信息適應)在智能多媒體合作和交流中起到中心作用。特別地，需要增強在瀏覽器內(nèi)的多媒體信息的訪問和檢索。單純基于地址的訪問不適合。本體和層級與搜索引擎都不適合于在網(wǎng)絡中恰當?shù)靥幚硇畔⒊尸F(xiàn)和檢索。
目前，有許多多媒體信息的搜索引擎和訪問方法，如Netscape(網(wǎng)景)的漏斗(funnel)、google、個人化門戶、統(tǒng)一資源(定位器)標識符、信息的分層或關系組織等等?；拘畔⒔粨Q是使用訪問的語法模式匹配。這是低效的，并且在訪問進程中隱藏信息(如圖形或上下文)。
因此，建議增強采用包含變量的語法項查詢的適合于合一的網(wǎng)絡文件訪問，并在網(wǎng)絡服務器端進行作為檢索機制的匹配或甚至合一。
目前的HTML文件提供超引用(hyper reference)概念以取得整個文件。這對于例如搜索引擎應用或語義網(wǎng)絡不利。目前克服這個信息檢索的不足的趨勢是通過自動設備和類似設備收集、分析、計算和存儲(索引)網(wǎng)頁。
目前，如圖1所示，客戶機C，通常是網(wǎng)絡瀏覽器，使用資源標識符ID如URI向服務器S請求(1)req網(wǎng)絡文件D。在第二步驟中，服務器S檢索(2)ret請求的文件D并根據(jù)某個傳輸協(xié)議(例如http)向客戶機C回復(3)rep文件D或更精確地回復文件的描述，如HTTP。客戶機C呈現(xiàn)(4)pre該文件D。
HTTP/http技術允許請求和傳輸完整的網(wǎng)絡文件(或部分前綴)。這項技術的應用是眾所周知的，例如通過搜索引擎連續(xù)地收集網(wǎng)頁信息(或僅僅存儲網(wǎng)頁信息的詞典)，即網(wǎng)絡文件，并集合該信息用于原文檢索。
下面利用某些類的Java應用編程接口解釋本發(fā)明。
類HttpURLConnection的實例用于產(chǎn)生單個請求，除了產(chǎn)生與HTTP的底層網(wǎng)絡連接以外。該類的方法準確反映了http/HTML通信的特性


類HTMLDocument擴展了DefaultStyledDocument。它是模擬HTML的文件。該模型的目的是既支持瀏覽又支持編輯。結果，由HTML文件描述的結構沒有準確地被默認復制。由默認模擬的元素結構由類HTMLDocument.HTMLReader建立，該類執(zhí)行解析器期望的HTMLEditorKit.ParserCallback協(xié)議。為了改變結構，可以將HTMLReader分成子集，并重新執(zhí)行getReader(int)方法以返回新的閱讀器工具。對于產(chǎn)生的默認結構的細節(jié)應參考HTMLReader的文件。其目的是文件是無損失的(盡管重新產(chǎn)生HTML格式可能導致不同的格式)。
文件只模擬HTML，并且沒有試圖在其中存儲視圖屬性。元素由標識元素種類的StyleContext.NameAttribute屬性標識。Base特性確定URL，對照它決定相關的URL。該文件的默認內(nèi)容存儲機制是間隙緩存器。
在該類中有許多方法，如擴展和構造器方法。



甚至在具有規(guī)定為HTML字符串的內(nèi)容的父元素中的給定元素的替換也通過setOuterHTML(Element elem，String htmlText)實現(xiàn)。
這個實現(xiàn)明確指出的是它不支持任何文件、內(nèi)容的掃描本發(fā)明通過信息檢索API提供增強的文件(搜索結果文件和被搜索的文件)交互能力。這樣的API可以首先瀏覽語法匹配，例如public boolean matches(DocumentExpression regex)指出“它”(網(wǎng)絡文件對象本身)是否與給定的規(guī)范文件表達相匹配。它的調(diào)用當且僅當它(文件)與給定的規(guī)范表達匹配時可能正好產(chǎn)生真?？蛇x地，它甚至可能利用例示該文件中的變量的邊界效應將兩個文件在語法或結構上進行合一。
該方法可以與例如HTMLdocument類相關聯(lián)。結果，對象即文件可以通過建議的交互方法逐漸地交換信息，即合一、受約束的合一或概括的合一，其中等同性是規(guī)定的等價關系。舒服的界面可以是unifyElements(VariableHTMLdocument htmlExpression，Constraintsconstraints，Relation relation)，其返回合一器，即綁定htmlExpression中的自由變量的元素的替代物，使得替換了變量的HTMLdocument和htmlExpression在約束下相關。
圖2示出了由該增強促成的合作。在第一步驟中，客戶機C請求(1)req由資源標識符ID和類似上述參數(shù)的合一問題RE標識的合一器(或網(wǎng)絡文件匹配器)。然后服務器S必須評價，即執(zhí)行相應的回復。在第二步驟，它必須分析、檢索和計算(2)anl/ret請求的合一器。之后，服務器S應將結果網(wǎng)絡文件D與信息綁定BI進行通信(3)rep，如果合一，則BI是合一器。在下一步驟中，客戶機C可以接收該信息，并將其嵌入(4)emb/pre已裝載的網(wǎng)絡文件中，或只呈現(xiàn)該信息。
在服務器結合分析和檢查方法的請求的概括允許用通配符查詢。這樣的檢索(也是合一問題)可以是例如“親愛的telco-vendor服務器，能否請你將你所有包含詞語“產(chǎn)品”和“移動”且有產(chǎn)品表格pdf的鏈接的頁面的頁面主體提供給我?！逼淝擅畹男Ч前兄慌c例如產(chǎn)品、移動或.pdf的變量、類型和結構信息對應的表達式都由合一處理，該合一將可用頁面從定義的一組所有頁面中分離，該組頁面由定義一組頁面即位于telco-vendor服務器上的頁面的表達式定義。，即使服務器地址也可以應用這個思想合一。
分配器可以使用該自動搜集的信息來提供具有信息集合的頁面，而無需內(nèi)部鏈接網(wǎng)站和考慮引用(鏈接)的完整性。
圖3示出了圖2所示原理的迭代應用?？蛻魴CC請求(1)req由資源標識符ID和合一問題RE標識的合一器。服務器S在第二步驟(2)anl/ret中執(zhí)行該請求。當進行合一時，服務器S注意到可能涉及由資源標識符ID’和合一問題RE’標識的另一個網(wǎng)絡文件S’。因此，服務器請求(2.1)req外部網(wǎng)絡文件(合一器)S’提供未知的信息綁定BI’，該BI’在任何服務器S’上在另一個檢索、檢查和分析步驟(2)anl/ret中導出。然后，結果即外部網(wǎng)絡文件D’被回復給服務器S，并且當根據(jù)由資源標識符ID和合一問題RE標識的第一請求(1)req導出合一器時在服務器S上考慮該文件D’。當服務器S已經(jīng)計算后，向客戶機C回復(3)rep具有綁定BI的結果網(wǎng)絡文件D。最后在另一個步驟中，客戶機C能夠?qū)⑽募﨑嵌入(4)emb/pre已經(jīng)裝載的網(wǎng)絡文件中，或只呈現(xiàn)該文件。
附圖和場景都說明這樣增強的網(wǎng)絡文件好像是變體的實體。它們好像活著，并且只要外部嵌入的合一網(wǎng)絡文件的結果改變，它們就會改變。實例還示出了負載分布于整個網(wǎng)絡。實例教導服務器可以以規(guī)范的方式作為客戶機。
總的說來，信息的檢索是通過經(jīng)由檢查機制通知檢索器內(nèi)容(語義)訪問網(wǎng)絡文件來增強的。
從客戶機服務器實現(xiàn)中抽取實例并集中于網(wǎng)絡文件和傳輸協(xié)議產(chǎn)生了圖4。這里，示出了網(wǎng)絡文件D具有嵌入的網(wǎng)絡文件D’，而網(wǎng)絡文件D’遞歸地具有嵌入文件D”。文件D的描述包含合一請求，假設其通過檢查ins外部文件D’并集成或嵌入emb檢查結果導致相應的合一器綁定BI，例如前述的合一器。外部文件D’可能本身也包含合一請求，假設其導致相應的合一器綁定BI’。遞歸地，通過檢查ins’另一個外部文件D”并嵌入emb’檢查結果，導致相應的合一器綁定BI。為了避免無限的循環(huán)關系，協(xié)議可以不允許涉及已經(jīng)涉及的文件。
雖然在此介紹并描述了本發(fā)明的優(yōu)選實施例和應用，但可以在本發(fā)明的思想、范圍和精神內(nèi)做出很多變形和修改，對于本領域技術人員在熟讀本發(fā)明后，這些變形會變得更清楚。
例如可以安排檢索進程，使得最后的合一器即所有中間合一器的級聯(lián)可以在最初的請求發(fā)起方完成。
作為合一機制，例如語法合一可以與例如Martelli、Montanari算法一起應用，盡管合一的惰性窗體(lazy form)(例如變量匹配、微弱合一、樸素模式匹配)和例如Knuth、Morris和Pratt算法可能可行。
有許多具有已知變量的項的快速重組機制，例如聯(lián)合查找算法可以用于級聯(lián)以及提供集合的網(wǎng)絡文件的呈現(xiàn)。應當注意，所有可應用于項的技術也可應用于網(wǎng)絡文件，因為它們只呈現(xiàn)為(標簽)樹，即項。因此，例如子項、替代、合一、重寫等的思想可以直接應用。如果有不確定的合一結果，則相應的迭代器可提供所有的結果。
為了教導網(wǎng)絡文件和代表項之間的聯(lián)系，給出了下面的HTML 4.01(見例如HTML 4.0W3C規(guī)范)實例。類似的技術應用于任何類似文件表達語言的結構標記，例如XHTMS，SGML，XML等等。
HTML文件通常包含三個部分包含版本信息的行，說明性的頭部分(由頭元素定界)，和包含文件實際內(nèi)容的主體。這里是一個簡單的HTML文件的例子<！DOCTYPE HTML PUBLIC“-//W3C//DTD HTML 4.01//EN”
“http//www.w3.org/TR/html4/strict.dtd”>
<HTML>
<HEAD>
<TITLE>My first HTML document</TITLE>
</HEAD>
<BODY>
<P>Hello world!</BODY>
</HTML>
相應項可以讀取為DOCUMENT(<！DOCTYPE HTML PUBLIC“-//W3C//DTD HTML 4.01//EN”“http//www.w3.org/TR/html4/strict.dtd”>，<HTML>(<HEAD>(<TITLE>(My first HTML document))，<BODY>(<P>(Hello world！)))其中，黑體字“(”、“)”和“，”是定界符號。通常，標記標簽<begin tag param 1，…，param2> <end tag>
被翻譯成項tag(param1，…，param2，[|term of nested tag1|]，…，[|term of nested tag2|])這個原則適用于所有標記類似語言(或者至少完成的版本(見HTML實例中的段落的結尾標簽“<\p>”被刪掉了))。因為上述映射(實際是同形)是注入的，而且每個(結構良好的)項對應一個(標記)文件。
如在Baader和Snyder的論文的第二部分(即在一組變量符號上的結構良好的項產(chǎn)生的自由代數(shù)學)介紹的這樣的具有變量的(結構良好的)項對應具有空位(占位符)的文件描述，即變量。參見實例DOCUMENT(<！DOCTYPE HTML PUBLIC“-//W3C//DTD HTML 4.01//EN”“http//www.w3.org/TR/html4/strict.dtd”>，<HTML>(<HEAD>(<TITLE>(My first HTML document))，<BODY>(X))該(結構良好的)項具有作為BODY的變量“X”。當對上述給定的第一個示例進行合一時(或更精確的匹配-因為第一個實例沒有變量)，合一器將“X”與“<P>(Hello world！)”綁定。
變量即文件的空位可能具有專用的語義，例如限制合一領域，即關于理論，規(guī)定相對于應由特殊算法(例如沒有出現(xiàn)檢查等等)所合一的內(nèi)容或位置(即哪個網(wǎng)站)或方式(例如惰性)的組。
Prolog代表邏輯編程、邏輯編程范例，與該思想密切相關。邏輯和由此的Prolog都基于數(shù)學的關系概念和邏輯推理。Prolog是說明性的語言，意味著不是描述如何計算解決方案，而是程序包含事實的基礎和描述保持給定應用維持的關系的邏輯關系(規(guī)則)。不是運行程序以得到解決方案，而是用戶問問題。當問問題時，運行時間系統(tǒng)搜索事實和規(guī)則的數(shù)據(jù)庫以確定(通過邏輯推論)答案。
在Prolog的特性中是邏輯變量，其是指它們表現(xiàn)得像數(shù)學變量，有力的模式匹配工具(合一)、搜索證據(jù)的反向跟蹤策略、統(tǒng)一數(shù)據(jù)結構以及輸入輸出是可以互換的。
經(jīng)常會有多于一個的方式推導出答案，或者有多于一個的解決方案，在這樣的情況下，可要求運行時間系統(tǒng)找到其他解決方案(例如通過反向跟蹤或并行提供可選擇的方案)。
換句話說本發(fā)明是使網(wǎng)絡文件具備接口機制，允許在語法上交換所述文件的特定部分。任何Prolog指南都提供類似合一的信息交換的優(yōu)點，以及如何用于對信息結構建模。即使網(wǎng)絡搜索引擎的復雜檢索機制也變成簡單的元翻譯器，例如在類似Prolog的符號中，find(A)-site(C)，find(A at C).
find(A op B at C)-find(A at C)op find(B at C).
find(A at C)-retrieve(B)，unify(A，B).
其中，表述“retrieve”代表檢查文件數(shù)據(jù)庫，“unify”代表將兩個網(wǎng)絡文件合一，“site”代表檢索網(wǎng)站。插入詞“op”是類似布爾(插入)的運算器。
權利要求
1.一種檢索由網(wǎng)絡服務器提供的網(wǎng)絡文件的方法，其包括以下步驟-向所述網(wǎng)絡服務器請求第一網(wǎng)絡文件；以及-將所述第一網(wǎng)絡文件回復；其中所述方法還包括以下步驟-根據(jù)所述第一網(wǎng)絡文件包含的檢查要求，請求第二網(wǎng)絡文件的內(nèi)容分析；-根據(jù)所述檢查要求分析所述第二網(wǎng)絡文件的內(nèi)容；-將分析結果集成到所述第一網(wǎng)絡文件中。
2.如權利要求1所述的方法，其中，所述檢查要求是合一問題；所述分析是所述變量綁定是分析結果的合一。
3.如權利要求2所述的方法，其中，所述合一具有約束。
4.一種網(wǎng)絡文件描述語言，其包含用于表示信息和信息訪問的表達方式，其中，所述網(wǎng)絡文件描述語言還包含用于根據(jù)檢查要求請求網(wǎng)絡文件分析和集成分析結果的表達方式。
5.如權利要求4所述的網(wǎng)絡文件描述語言，其中，所述表達方式是規(guī)定分析模式和集成模式的標記。
6.一種網(wǎng)絡文件傳輸協(xié)議，包含以下步驟-從客戶機向服務器傳送網(wǎng)絡文件請求；以及-根據(jù)所述網(wǎng)絡文件請求回復；其中，所述網(wǎng)絡文件請求包含對在所述服務器上觸發(fā)分析的網(wǎng)絡文件的檢查要求；所述分析結果被回復。
7.一種網(wǎng)絡服務器，其包括用于接收網(wǎng)絡文件請求的接收裝置，用于檢索網(wǎng)絡文件的檢索裝置，以及用于回復所述網(wǎng)絡文件的回復裝置，其中，所述網(wǎng)絡服務器還包括用于根據(jù)檢查要求分析所述網(wǎng)絡文件的內(nèi)容的檢查裝置；所述回復裝置適用于回復分析結果。
8.如權利要求7所述的網(wǎng)絡服務器，其中，所述網(wǎng)絡服務器進一步包括用于將分析結果集成到網(wǎng)絡文件中的集成裝置。
9.一種計算機軟件產(chǎn)品，其中所述計算機軟件產(chǎn)品包括適用于執(zhí)行如權利要求1所述方法的編程裝置。
10.如權利要求9所述的計算機軟件產(chǎn)品，其中，如權利要求4所述的網(wǎng)絡文件描述語言被用于表現(xiàn)網(wǎng)絡文件。
全文摘要
本發(fā)明涉及一種檢索由網(wǎng)絡服務器提供的網(wǎng)絡文件的方法，其中所述方法包括向網(wǎng)絡服務器請求網(wǎng)絡文件以及將網(wǎng)絡文件回復的普通步驟，還進一步包括根據(jù)檢查要求請求分析、根據(jù)檢查要求在網(wǎng)絡服務器分析網(wǎng)絡文件的內(nèi)容以及回復分析結果的步驟。本發(fā)明還涉及網(wǎng)絡文件描述語言、網(wǎng)絡服務器、網(wǎng)絡文件傳輸協(xié)議以及檢索網(wǎng)絡文件的計算機軟件產(chǎn)品。
文檔編號G06F17/30GK1728710SQ200510085120
公開日2006年2月1日 申請日期2005年7月20日 優(yōu)先權日2004年7月20日
發(fā)明者P·薩博, H·勒斯勒爾, M·W·霍赫 申請人:阿爾卡特公司