时态扩展相关论文
随着计算机技术，通信技术和网络技术的飞速发展，计算机系统的安全性日益受到重视。访问控制作为一种重要的安全技术，已经渗透到操......
近年来，描述逻辑由于其强大的表达能力和良好的计算性质，在知识工程领域受到广泛关注。但是，描述逻辑适用于表达静态信息，难以表示在许......
