Automated Reasoning
Automated Reasoning
复制标题
自动推理
DOI：
10.1007/978-3-319-08587-6_36
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Carral D
中科院分区：
文献类型：
--
作者：
Carral D
OWL 2配置文件是本体语言OWL 2的片段，标准推理任务在多项式时间内可行。然而，许多OWL本体通常包含少量的外轮廓公理，这可能对推理结果几乎没有影响。我们调查的技术重写公理到EL和RL配置文件的OWL 2。我们已经在分类和数据推理任务上测试了我们的技术，结果令人鼓舞。
The OWL 2 profiles are fragments of the ontology language OWL 2 for which standard reasoning tasks are feasible in polynomial time. Many OWL ontologies, however, contain a typically small number of out-of-profile axioms, which may have little or no influence on reasoning outcomes. We investigate techniques for rewriting axioms into the EL and RL profiles of OWL 2. We have tested our techniques on both classification and data reasoning tasks with encouraging results.