CRIB: A method for integrity constraint checking on knowledge bases

Angélica de Antonio; Jaime Ramírez; Julia Clemente

首页> 外文期刊>Computacion y Sistemas >CRIB: A method for integrity constraint checking on knowledge bases

【24h】

CRIB: A method for integrity constraint checking on knowledge bases

机译：CRIB：一种基于知识库的完整性约束检查的方法

获取原文

获取外文期刊封面封底 >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

The necessity of verification tools for Knowledge Based-Systems (KBSs), that help to guarantee a certain degree of quality and reliability of these systems w...

机译：知识系统（KBS）验证工具的必要性，有助于确保这些系统具有一定程度的质量和可靠性。

著录项

来源
《Computacion y Sistemas》 |2005年第4期|共页
作者
Angélica de Antonio; Jaime Ramírez; Julia Clemente;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类应用光学;
关键词

相似文献

外文文献
中文文献
专利

1. A new method for integrity constraint checking in deductive databases [J] . Ron Seljee Data & Knowledge Engineering . 1995,第1期

机译：演绎数据库中完整性约束检查的新方法
2. Checking enforcement of integrity constraints in database applications based on code patterns [J] . Hongyu Zhang, Hee Beng Kuan Tan, Lu Zhang, The Journal of Systems and Software . 2011,第12期

机译：根据代码模式检查数据库应用程序中完整性约束的实施
3. Improved Integrity Constraints Checking in Distributed Databases by Exploiting Local Checking [J] . Ali A.Alwan, Hamidah Ibrahim, Nur Izura Udzir 计算机科学技术学报（英文版） . 2009,第004期

机译：通过利用本地检查来改进分布式数据库中的完整性约束检查
4. Constraint-based integrity checking in abductive and non-monotonic extensions of constraint logic programming [C] . Aditya K. Ghose, Srinivas Padmanabhuni National conference on artificial intelligence . 1999

机译：基于约束的完整性检查约束逻辑编程的绑架和非单调扩展
5. Global semantic integrity constraint checking for a system of databases [D] . Madiraju, Praveen 2005

机译：数据库系统的全局语义完整性约束检查
6. Combining automatic plan integrity check (APIC) with standard plan document and checklist method to reduce errors in treatment planning [O] . Ping Xia, Danielle LaHurd, Peng Qi, 2020

机译：将自动规划完整性检查（APIC）与标准计划文件和清单方法相结合以减少治疗计划中的错误
7. An Integrity Constraint Checking Method for Temporal Deductive Databases. [O] . Carme Martín, Jaume Sistac 2007

机译：时态演绎数据库的完整性约束检验方法。
8. New Method for Integrity Constraint Checking in Deductive Databases [R] . Seljee, R. 1994

机译：演绎数据库中完整性约束检验的新方法

CRIB: A method for integrity constraint checking on knowledge bases

摘要

著录项

相似文献

相关主题

期刊订阅