计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2005年
4期
603-614
,共12页
语义Web服务%描述逻辑%分布式描述逻辑%服务发现%本体
語義Web服務%描述邏輯%分佈式描述邏輯%服務髮現%本體
어의Web복무%묘술라집%분포식묘술라집%복무발현%본체
在语义Web服务中, 确认分布式本体变动、维护其一致性并实现基于进化的分布式本体的Web服务语义查询成为了一个重要挑战.该文使用SHOQ(D)的分布式描述逻辑扩展 (DDL) 描述相互关联的异构分布式本体,提出了优先分布式知识库(PDK)的概念,探讨了PDK方法的一些重要属性.PDK用来描述分布式本体的进化和更新, 它适用于语义Web服务环境.基于PDK, 文中还给出了相应的语义查询方法,Web服务的语义查询可以归结为检测同这个查询对应的概念在最优先PDK中的p -可满足性.
在語義Web服務中, 確認分佈式本體變動、維護其一緻性併實現基于進化的分佈式本體的Web服務語義查詢成為瞭一箇重要挑戰.該文使用SHOQ(D)的分佈式描述邏輯擴展 (DDL) 描述相互關聯的異構分佈式本體,提齣瞭優先分佈式知識庫(PDK)的概唸,探討瞭PDK方法的一些重要屬性.PDK用來描述分佈式本體的進化和更新, 它適用于語義Web服務環境.基于PDK, 文中還給齣瞭相應的語義查詢方法,Web服務的語義查詢可以歸結為檢測同這箇查詢對應的概唸在最優先PDK中的p -可滿足性.
재어의Web복무중, 학인분포식본체변동、유호기일치성병실현기우진화적분포식본체적Web복무어의사순성위료일개중요도전.해문사용SHOQ(D)적분포식묘술라집확전 (DDL) 묘술상호관련적이구분포식본체,제출료우선분포식지식고(PDK)적개념,탐토료PDK방법적일사중요속성.PDK용래묘술분포식본체적진화화경신, 타괄용우어의Web복무배경.기우PDK, 문중환급출료상응적어의사순방법,Web복무적어의사순가이귀결위검측동저개사순대응적개념재최우선PDK중적p -가만족성.
