面向推理服务的Web本体语言与描述逻辑

Web ontology language and description logic oriented inference service

本体在语义WEB中起着极其重要的作用,通过本体提供的可以共享的预先精确定义的术语在一定程度上扩展了语义WEB互操作性。OWL本体语言是W3C最近推荐的专门为基于WEB的应用设计的本体语言;该语言充分利用了现存的WEB技术标准XML和RDF,并在XML和RDF标准基础上,增加了面向对象和基于框架体系的本体概念,将其与具有表达力的描述逻辑结合在一起。该语言与描述逻辑的组合可以实现一定程度上的推理服务。

Ontology is set to play a key role in the Semantic Web extending syntactic interoperability to semantic interoperability by providing a source of shared and precisely defined terms. OWL is an ontology language recommended by W3C specifically designed for use on the Web; it exploits existing Web standards （XML and RDF）, adding the familiar ontological primitives of object oriented and frame based systems, and the formal rigor of a very expressive description logic. The logical basis of the language means that reasoning services can be provided, both to support ontology design and to make OWL described Web resources more accessible to automated processes.