Checking Content Consistency of Integrated Web Documents

摘要

为内容和文件的记事结构上的限制的说明和确认的概念结构被建议。作为一个说明形式体系， CTL_(DL ) 被定义，它是由描述逻辑概念的时序逻辑 CTL 的延期。与存在答案相对照，这条途径允许本体论到的集成从文件的实现方面完成互操作性和抽象。这在语义网为异构、分布式的信息资源的集成使 CTL_(DL ) 明确地合适。