扩展 RDF 作为规则标记语言的语义基础
人工智能
2011-11-02 v1
摘要
本体与自动推理是语义网倡议的基石。推导规则可被纳入本体以定义派生概念，这些概念基于基础概念而建立。例如，规则允许基于同一或其他类与属性之间的复杂关系来定义某个类或属性的外延。另一方面，以否定即失败和显式否定信息形式呈现的否定信息之纳入，对于实现多种推理形式也是必要的。本文将 RDF 图扩展以包含弱否定与强否定以及推导规则。该扩展框架（Extended RDF）的 ERDF 稳定模型语义被定义，扩展了 RDF(S) 语义。我们理论的一个显著特征——其基于偏逻辑（Partial Logic）——在于同时考虑了属性与类的真值外延和假值外延，从而允许真值间隙的存在。我们的框架通过显式表示特定的封闭世界假设以及 ERDF 的本体类别——全性质（total properties）与全类（total classes）——来支持封闭世界推理与开放世界推理。
引用
@article{arxiv.1111.0055,
title = {Extended RDF as a Semantic Foundation of Rule Markup Languages},
author = {Anastasia Analyti and Grigoris Antoniou and Carlos Viegas Damásio and Gerd Wagner},
journal= {arXiv preprint arXiv:1111.0055},
year = {2011}
}