拉斐尔·沃尔兹;斯特芬·斯塔布;鲍里斯·莫提克 增量维护存储在逻辑数据库中的本体的具体化。 （英语） 兹伯利1116.68414 Spacapietra，Stefano（编辑）等人，《数据语义学杂志II》。柏林：施普林格出版社（ISBN 3-540-24208-2/pbk）。计算机科学课堂讲稿3360。《期刊副刊》，1-34（2005）。 摘要：本文提出了一种技术来逐步维护本体论蕴涵的物化。物化包括预计算和存储一组隐式蕴涵，以便更有效地解决对本体的频繁和/或关键查询。物化产生的中心问题是当公理发生变化时它的维护，即将显式公理中的变化传播到存储的隐式蕴涵的过程。当考虑在逻辑数据库中操作的支持规则的本体语言时，我们可以区分两种类型的更改。对本体的更改通常表现为对逻辑程序规则的更改，而对事实的更改通常会导致逻辑谓词扩展的更改。后一类更改的增量维护已经在演绎数据库上下文中进行了广泛的研究，我们应用了[M.斯塔特和M.贾克“外部物化视图的增量维护”，载于：T.M.Vijayaraman（ed.）等人，《第22届超大数据库国际会议论文集》，印度孟买，1996年。加利福尼亚州旧金山：Morgan Kaufmann，75–86（1996）]。然而，前一种类型的变化以前从未得到解决。在本文中，我们详细介绍了我们之前的工作，扩展了[loc.cit.]的方法来处理逻辑程序中的更改。我们的方法不仅限于特定的本体语言，而且通常可以应用于可以翻译为数据日志程序的任意本体语言，例如O-Telos、F-Logic、RDF（S）或Description Logic程序。关于整个系列，请参见[Zbl 1062.68011号]. 引用于1文件 MSC公司： 第68页，共15页 数据库理论 68立方英尺 知识表示 软件：三倍的;OilEd公司;TELOS公司;XSB公司 PDF格式BibTeX公司 XML格式引用 \textit{R.Volz}等人，Lect。注释计算。科学。3360，1-34（2005；Zbl 1116.68414） 全文： 内政部