用于SROEL理性扩展中极小蕴含的ASP
人工智能
2016-08-09 v1
摘要
在本文中，我们利用答案集编程（Answer Set Programming, ASP）在理性扩展SROEL-R-T中进行推理，该扩展底层为OWL EL本体语言所基于的低复杂度描述逻辑SROEL。在该扩展语言中，允许典型性算子T在理性语义下定义概念T(C)（典型的C）。已证明在理性蕴含下的实例检查具有多项式复杂度。为强化理性蕴含，本文我们考虑极小模型语义。我们证明，对于任意SROEL-R-T知识库，极小蕴含下的实例检查是-完全的。基于一个小模型结果（其中模型对应于合适ASP编码的答案集），我们利用答案集偏好（特别是asprin框架）进行极小蕴含下的推理。该论文正在Theory and Practice of Logic Programming考虑接受。
引用
@article{arxiv.1608.02450,
title = {ASP for Minimal Entailment in a Rational Extension of SROEL},
author = {Laura Giordano and Daniele Theseider Dupré},
journal= {arXiv preprint arXiv:1608.02450},
year = {2016}
}
备注
Paper presented at the 32nd International Conference on Logic Programming (ICLP 2016), New York City, USA, 16-21 October 2016