语义Web规则标记语言OWLRule+的设计与实现
| Data(s) |
2004
|
|---|---|
| Resumo |
语义Web是对未来Web体系结构的一个伟大设想 ,其研究分层次进行 目前足够成熟的最高层是以OWL语言为代表的ontology层 但它的语义仅限于描述逻辑 ,该逻辑主要表示对象和类的层次结构 ,而规则的表达能力弱 因此在其之上需要一种表达力更丰富的逻辑语言 设计了一种新的语义Web规则标记语言OWLRule+:其语法扩展了OWL ;语义基于CARIN ,一种结合描述逻辑和Horn规则的表示语言 ;实现基于Jess规则推理机 实例学习展示了它对目前的Webontology语言在规则表示和推理能力上的扩展 |
| Identificador | |
| Idioma(s) |
中文 |
| Fonte |
梁晟; 付弘宇; 李明树.语义Web规则标记语言OWLRule+的设计与实现,计算机研究与发展,2004,41(7):1088-1096 |
| Palavras-Chave | #语义Web #ontology #DAML+OIL #OWL #描述逻辑 #Horn规则 #CARIN |
| Tipo |
期刊论文 |
