帕特里克·科普曼;雷娜特·施密特（Renate A.Schmidt）。 数一数二：（mathcal{SHQ}）本体的统一插值。 （英语） Zbl 1423.68482号 Demri，Stéphane（编辑）等人，《自动推理》。2014年7月19日至22日，第七届国际联合会议（IJCAR 2014）在奥地利维也纳举行，作为维也纳逻辑之夏的一部分，VSL 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8562, 434-448 (2014). 摘要：我们提出了一种遗忘（mathcal{SHQ}）-本体的概念符号和非及物角色符号的方法，或计算（mathcal{SHQneneneep）-本体中的一致插值的方法。统一插值将出现在本体中的符号限制为指定的集合，同时保留可以在考虑的描述逻辑中使用该集合表示的所有逻辑蕴涵。统一插值在本体重用、信息隐藏和本体分析中有着广泛的应用，但迄今为止，还没有开发出计算具有数量限制的表达描述逻辑的统一插值的方法。我们的结果不仅有趣，因为它们允许使用更具表现力的语言计算本体的统一插值。使用数字限制还可以在不太复杂的逻辑中，如\（\mathcal{ALC}\）或\（\mathcal{EL}\），在本体的统一插值中保留更多信息。该方法基于（mathcal{SHQ}）的一种新的分辨率演算计算均匀插值。我们的方法的输出是用（mathcal{SHQ}\mu）表示的，它是用不动点操作符扩展的（mathcal{SHQneneneep），以始终实现统一插值的有限表示。如果统一插值使用不动点操作符，则可以用\（mathcal{SHQ}\）表示，而不用使用其他概念符号或近似值的不动点运算符。关于整个系列，请参见[Zbl 1293.68021号]. 引用于7文件 MSC公司： 68T27型 人工智能中的逻辑 68立方英尺 知识表示 PDF格式BibTeX公司 XML格式引用 \textit｛P.Koopmann｝和\textit｛R.A.Schmidt｝，Lect。注释计算。科学。8562、434--448（2014年；Zbl 1423.68482） 全文： DOI程序