一种基于重写技术的完整性约束验证方法

摘要

一种基于重写技术的完整性约束验证方法，属于语义网络数据处理技术领域。技术要点是：将IC公理转化为连接查询与not的结合，其中not在连接查询中表示否定；将查询主体中的分离词分解为具有相同头部的不同查询，进而转化为连接查询；重写IC验证；根据转换规则对DL‑LiteR知识库进行规范化；使用算法检验DL‑LiteR知识库是否满足完整性约束。有益效果：本发明所述的基于重写技术的完整性约束验证方法能得到完整性约束的推理，从而改进DL‑LiteR的完整性约束验证效果，得到更直观的完整性约束验证结果；该方法可应用于基于本体的软件工程中的需求获取、工作流模型验证和基于本体的科技文献检索过程等本体应用中，可以进一步提高其验证和检索效率。