AAAINov, 2019

面向易处理本体中介查询应答的通用语言

TL;DR本文研究了三类 OMQA 语言,并提出了一种新的性质,locality,用于近似一阶重写。证明了对于每一类 OMQA 语言并不存在通用的语言,但是存在一种包含离散嵌入依赖的语言可以表示 OMQA 语言簇。