Cuenca Grau,B。;霍洛克斯,I。;Y.哈萨克夫。;美国萨特勒。 本体的模块化重用:理论与实践。 (英语) Zbl 1183.68479号 J.阿蒂夫。智力。研究(JAIR) 31, 273-318 (2008). 摘要:在本文中,我们提出了一组与本体的模块化重用相关的任务。为了将这些任务形式化为推理问题,我们为一类非常普遍的基于逻辑的本体语言引入了保守扩展、安全和模块的概念。我们研究这些概念的一般性质和它们之间的关系,并研究我们之前确定的相关推理问题之间的关系。为了研究这些问题的可计算性,我们特别考虑了描述逻辑(DL),它提供了W3C Web本体语言(OWL)的形式基础,并表明我们考虑的所有问题对于OWL DL下的描述逻辑来说都是不可判定的或算法上无法解决的。为了实现一个实用的解决方案,我们确定了一个本体能够“安全”重用一组符号的充分条件,也就是说,不改变它们的含义。我们提供了安全等级的概念,它描述了安全的任何充分条件,并确定了一系列安全等级——称为位置——它具有一系列理想的属性。我们使用安全类的概念从本体中提取模块,并提供各种模块化算法,这些算法适用于所使用的特定安全类的属性。最后,我们展示了我们的安全检查和模块提取算法的实际好处。 引用于27文件 MSC公司: 68T05型 人工智能中的学习和自适应系统 关键词:保守扩张;基于逻辑的本体语言 软件:故障电流互感器++ PDF格式BibTeX公司 XML格式引用 \textit{B.Cuenca Grau}等人,J.Artif。智力。决议(JAIR)31,273--318(2008;Zbl 1183.68479)