基于動態描述邏輯的語義Web服務PE匹配算法

郭媛香

（晉中學院信息技術與工程學院，山西 晉中 030619）

基于動態描述邏輯的語義Web服務PE匹配算法

郭媛香

（晉中學院信息技術與工程學院，山西 晉中 030619）

將基于描述邏輯斷言構成的PE描述公理的有限集合看作一個本體知識庫，因此有關PE的語義匹配問題就轉化到兩個基于描述邏輯的本體知識庫之間的邏輯蘊含判定問題，然后將邏輯蘊含推理問題轉化為本體庫的可滿足性檢測問題，并通過可判的擴展算法解決，同時對匹配結果進行有意義的排序及分類.所提方法與現有方法相當的情況下，具有更高的查全率，能夠更好地區分匹配結果.

語義Web服務；前提/效果；動態描述邏輯；服務匹配

W eb服務[1]是一個嶄新的分布式計算模型，是W eb上數據和信息集成的有效機制，具有自包容、自描述性的應用模塊，可以通過W eb來發布、查詢和調用，它的出現及推廣將變革現有的W eb應用模式.語義W eb服務擴展了當前的W eb服務，賦予W eb中所有信息以良好的語義，是W eb提供的一種動態服務，每一個服務可以看成一個動作.

描述邏輯（DL）是一種基于對象的形式化知識表示工具，對概念性知識的處理非常有效，它具有清晰的模型—理論語義，具有很強的表達能力和可判定性，能夠提供有效的可判定推理服務.動態描述邏輯[2]（DDL）是描述邏輯的一種動態擴展，支持語義W eb環境下對動作的描述和推理，該DDL清晰的語義特征能夠讓系統理解語義，有效地對靜態知識和動態知識進行表示和推理……