推理闭包相关论文
XML动态推理控制的一个重要技术环节是如何简洁完整地记录用户获得的信息。文中采用模式树的形式将用户获得的信息保存在历史信息......
提出了一种新的基于RDF的XML安全推理控制方法，将文档节点封装为XML对象，通过XML对象和类型刻画节点之间的语义关系，极大地拓展了推理......
