新疆大学学报（自然科学版）
新疆大學學報（自然科學版）
신강대학학보（자연과학판）
XINJIANG UNIVERSITY JOURNAL(NATURAL SCIENCE EDITION)
2012年
4期
460-465
,共6页
刘华鹏%刘胜全%刘艳%张华楠%李鹏
劉華鵬%劉勝全%劉豔%張華楠%李鵬
류화붕%류성전%류염%장화남%리붕
动作理论%动态描述逻辑%语义web服务%智能主体
動作理論%動態描述邏輯%語義web服務%智能主體
동작이론%동태묘술라집%어의web복무%지능주체
动态描述逻辑提供了一种基于描述逻辑的动作理论,适应于语义web环境下对动态领域知识的刻画和推理,是目前语义web服务技术的重要研究内容.本文归纳分析了语义web服务中的各类动作理论,重点讨论了动态描述逻辑的基本理论、扩展方法和改进方向及其当前主要的应用领域,最后对动态描述逻辑的研究前景进行了探讨.
動態描述邏輯提供瞭一種基于描述邏輯的動作理論,適應于語義web環境下對動態領域知識的刻畫和推理,是目前語義web服務技術的重要研究內容.本文歸納分析瞭語義web服務中的各類動作理論,重點討論瞭動態描述邏輯的基本理論、擴展方法和改進方嚮及其噹前主要的應用領域,最後對動態描述邏輯的研究前景進行瞭探討.
동태묘술라집제공료일충기우묘술라집적동작이론,괄응우어의web배경하대동태영역지식적각화화추리,시목전어의web복무기술적중요연구내용.본문귀납분석료어의web복무중적각류동작이론,중점토론료동태묘술라집적기본이론、확전방법화개진방향급기당전주요적응용영역,최후대동태묘술라집적연구전경진행료탐토.
