中文

基于本体构建语义网规则:归纳逻辑编程方法

人工智能 2007-11-13 v1 机器学习

摘要

在本体之上构建规则是语义网逻辑层的终极目标。为此,目前正讨论一种用于该层的专用标记语言。其旨在遵循混合知识表示与推理系统的传统,例如集成了描述逻辑 ALC\mathcal{ALC} 和无函数 Horn 子句语言 \textsc{Datalog} 的 AL\mathcal{AL}-log。本文探讨了自动化获取语义网这些规则的问题。我们提出了一个通用的规则归纳框架,该框架采用归纳逻辑编程的方法论装置,并依赖于 AL\mathcal{AL}-log 的表达力和演绎能力。无论归纳的范围(描述与预测)如何,该框架均有效。然而,出于说明目的,我们还讨论了该框架的一个实例,旨在描述并证明在本体细化中非常有用。关键词:归纳逻辑编程,混合知识表示与推理系统,本体,语义网。注:将发表于《逻辑编程的理论与实践》(TPLP)

关键词

引用

@article{arxiv.0711.1814,
  title  = {Building Rules on Top of Ontologies for the Semantic Web with Inductive Logic Programming},
  author = {Francesca A. Lisi},
  journal= {arXiv preprint arXiv:0711.1814},
  year   = {2007}
}

评论

30 pages, 6 figures

R2 v1 2026-06-29T05:34:12.717Z