| 语义Web规则标记语言OWLRule+的设计与实现 |
| |
| 引用本文： | 梁晟,付弘宇,李明树.语义Web规则标记语言OWLRule+的设计与实现[J].计算机研究与发展,2004,41(7):1088-1096. |
| |
| 作者姓名： | 梁晟 付弘宇 李明树 |
| |
| 作者单位： | 中国科学院软件研究所互联网软件技术实验室,北京,100080 |
| |
| 基金项目： | 国家“八六三”高技术研究发展计划基金项目 ( 2 0 0 2AA1160 80 )，国家自然科学基金项目 ( 60 2 73 0 2 6) |
| |
| 摘 要： | 语义Web是对未来Web体系结构的一个伟大设想，其研究分层次进行．目前足够成熟的最高层是以OWL语言为代表的ontology．但它的语义仅限于描述逻辑，该逻辑主要表示对象和类的层次结构，而规则的表达能力弱，因此在其之上需要一种表达力更丰富的逻辑语言．设计了一种新的语义Web规则标记语言OWLRule ：其语法扩展了OWL；语义基于CARIN，一种结合描述逻辑和Horn规则的表示语言；实现基于Jess规则推理机．实例学习展示了它对目前的Web ontology语言在规则表示和推理能力上的扩展．
|
| 关 键 词： | 语义Web ontology DAML＋OIL OWL 描述逻辑 Horn规则 CARIN |
Design and Implementation of a Semantic Web Rule Markup Language OWLRule+ |
| |
| LIANG Sheng,FU Hong-Yu,and LI Ming-Shu.Design and Implementation of a Semantic Web Rule Markup Language OWLRule+[J].Journal of Computer Research and Development,2004,41(7):1088-1096. |
| |
| Authors: | LIANG Sheng FU Hong-Yu and LI Ming-Shu |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
