中国科学E辑
中國科學E輯
중국과학E집
SCIENCE IN CHINA (SERIES E)
2004年
10期
1123-1138
,共16页
史忠植%董明楷%蒋运承%张海俊
史忠植%董明楷%蔣運承%張海俊
사충식%동명해%장운승%장해준
语义Web%描述逻辑%动态描述逻辑%逻辑基础
語義Web%描述邏輯%動態描述邏輯%邏輯基礎
어의Web%묘술라집%동태묘술라집%라집기출
分析了目前语义Web理论的研究现状和存在的问题, 分析了用传统描述逻辑作为语义Web逻辑基础的不充分性, 根据语义Web的特点和需求, 提出了一种新的动态描述逻辑DDL, 该DDL将静态知识和动态知识表示与推理有机地整合在一起. 特别的是, 给出了具体的动作描述方法, 并按照传统描述逻辑的语义解释方法给出了动作的语义解释, 从而该DDL形成了一种能同时处理静态知识和动态知识的统一的形式化逻辑框架. 该DDL具有清晰的语义特征, 既提供了可判定的推理服务, 又能有效地对静态知识、动态过程和运行机制进行表示和推理(动作的可实现性和动作之间的包含关系), 因此, 提出的动态描述逻辑DDL可以为语义Web提供合理的逻辑基础, 弥补了传统描述逻辑作为语义Web逻辑基础的不足.
分析瞭目前語義Web理論的研究現狀和存在的問題, 分析瞭用傳統描述邏輯作為語義Web邏輯基礎的不充分性, 根據語義Web的特點和需求, 提齣瞭一種新的動態描述邏輯DDL, 該DDL將靜態知識和動態知識錶示與推理有機地整閤在一起. 特彆的是, 給齣瞭具體的動作描述方法, 併按照傳統描述邏輯的語義解釋方法給齣瞭動作的語義解釋, 從而該DDL形成瞭一種能同時處理靜態知識和動態知識的統一的形式化邏輯框架. 該DDL具有清晰的語義特徵, 既提供瞭可判定的推理服務, 又能有效地對靜態知識、動態過程和運行機製進行錶示和推理(動作的可實現性和動作之間的包含關繫), 因此, 提齣的動態描述邏輯DDL可以為語義Web提供閤理的邏輯基礎, 瀰補瞭傳統描述邏輯作為語義Web邏輯基礎的不足.
분석료목전어의Web이론적연구현상화존재적문제, 분석료용전통묘술라집작위어의Web라집기출적불충분성, 근거어의Web적특점화수구, 제출료일충신적동태묘술라집DDL, 해DDL장정태지식화동태지식표시여추리유궤지정합재일기. 특별적시, 급출료구체적동작묘술방법, 병안조전통묘술라집적어의해석방법급출료동작적어의해석, 종이해DDL형성료일충능동시처리정태지식화동태지식적통일적형식화라집광가. 해DDL구유청석적어의특정, 기제공료가판정적추리복무, 우능유효지대정태지식、동태과정화운행궤제진행표시화추리(동작적가실현성화동작지간적포함관계), 인차, 제출적동태묘술라집DDL가이위어의Web제공합리적라집기출, 미보료전통묘술라집작위어의Web라집기출적불족.
