朱塞佩·德·贾科莫;莫里齐奥·伦泽里尼;安东尼拉·波吉;里卡多·罗萨蒂 描述逻辑本体中的实例级更新和擦除。 （英语） Zbl 1181.68274号 J.日志。计算。 19，第5期，745-770（2009）. 摘要：描述逻辑（DL）本体由两个组件组成，一个是表示概念及其关系的一般知识的TBox，另一个是描述作为概念实例的个体属性的ABox。我们解决的问题是，当这些更改仅影响ABox时，即当TBox被视为不变时，如何处理DL本体的更改。我们考虑两个基本更改，即实例级更新和实例级擦除，大致对应于添加和删除一组涉及个人的事实。在Winslett、Katsuno和Mendelzon提出的方法的基础上，我们描述了实例级更新和擦除的语义。有趣的是，DL在实例级更新和擦除方面通常是不封闭的，因为在DL（mathcal L）的知识库中应用这些操作所对应的模型集可能无法用\（mathcall L）中的ABoxe表示。特别是，我们证明了\（DL\）-\（Lite_{mathcal F}\）的情况是这样的，这是一个面向数据密集型应用程序的易处理DL。为了解决这个问题，我们首先引入了\（DL\）-\（Lite_{mathcal{FS}}\），这是一个最小限度地扩展\（DL \）-~（Lite_{mathcal{F}}\）并对实例级更新关闭的DL，并在此逻辑中提出了计算实例级更新的多项式算法。然后，我们提供了关于实例级更新和擦除的固定语言（mathcal L）的最佳逼近的原则性概念，并利用（DL）-（Lite_{mathcal{FS}}）的实例级更新算法，得到了（DL-（Lite{mathcal{F}}。这些结果证实了\（DL\）-\（Lite_{mathcal{F}}\）对于数据密集型应用程序的良好计算特性，即使在不仅读取而且写入实例信息的情况下也是如此。 引用于14文件 MSC公司： 68立方英尺 知识表示 68T27型 人工智能中的逻辑 关键词：描述逻辑;本体;更新;擦除 PDF格式BibTeX公司 XML格式引用 \textit{G.de Giacomo}等人，J.Log。计算。19，第5号，745--770（2009；Zbl 1181.68274） 全文： 内政部