Reasoning with OWL - system support and insights
Reasoning with OWL - system support and insights
复制标题
使用 OWL 进行推理 - 系统支持和见解
DOI：
10.18725/oparu-2489
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Thorsten Liebig
中科院分区：
文献类型：
--
作者：
Thorsten Liebig
这份报告的目的是总结当前围绕OWL（Web本体语言）的活动。首先，该报告将详细介绍当前为修订OWL W3C官方建议（称为OWL 1.1）所做的努力。其次，它描述了推理机的选择，同时讨论了不同的方法以及概念上的限制。然后，这些系统使用一组现场测试进行经验评估，这些现场测试被故意设计为难以解决，但尺寸很小。第三，讨论了本体论发展和本体论推理的实际趋势和未来发展。作为一个整体，这份报告试图提供一些见解，目前可用的推理系统，以作为一个决策帮助语义Web应用程序设计师。
This report aim at summarizing the current activities around OWL, the Web Ontology Language. At first, the report will present details about the current effort towards a revision of the official OWL W3C recommendation, known as OWL 1.1. Secondly, it describes a selection of inference engines while discussing different approaches as well as conceptual limits. These systems are then empirically evaluated using a set of spot tests which are intentionally designed to be hard to solve but small in size. Thirdly, it discusses actual trends and forthcoming developments in the context of ontology development and ontology reasoning. As a whole this report tries to provide some insights into currently available reasoning systems in order to serve as a decision help for Semantic Web application designers.