Automated Deduction—CADE-18
Automated Deduction—CADE-18
复制标题
自动推导—CADE-18
DOI：
10.1007/3-540-45620-1
复制
发表时间：
2002
影响因子：
1
通讯作者：
A. Voronkov
中科院分区：
文献类型：
--
作者：
A. Voronkov
描述逻辑是一个基于类的知识表示形式主义，其特征是使用各种构造函数从更简单的类中构建复杂的类，并强调提供声音，完整和（经验）可拖动的推理服务。在应用程序中，它们作为本体语言的使用已被最近的“语义网”兴趣爆炸来强调说明基于专门在网络上使用的本体语言的逻辑。
Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ones, and by an emphasis on the provision of sound, complete and (empirically) tractable reasoning services. They have a wide range of applications, but their use as ontology languages has been highlighted by the recent explosion of interest in the “Semantic Web”, where ontologies are set to play a key role. DAML+OIL is a description logic based ontology language specifically designed for use on the web. The logical basis of the language means that reasoning services can be provided, both to support ontology design and to make DAML+OIL described web resources more accessible to automated processes.