Checking Content Consistency of Integrated Web Documents

Franz Weitl; Burkhard Freitag

首页> 外文期刊>Journal of Computer Science & Technology >Checking Content Consistency of Integrated Web Documents

【24h】

Checking Content Consistency of Integrated Web Documents

机译：检查集成Web文档的内容一致性

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

A conceptual framework for the specification and verification of constraints on the content and narrative structure of documents is proposed. As a specification formalism, CTL_(DL) is defined, which is an extension of the temporal logic CTL by description logic concepts. In contrast to existing solutions this approach allows for the integration of ontologies to achieve interoperability and abstraction from implementation aspects of documents. This makes CTL_(DL) specifically suitable for the integration of heterogeneous and distributed information resources in the semantic web.

机译：提出了规范和验证文件内容和叙述结构约束的概念框架。作为规范形式主义，定义了CTL_（DL），它是描述逻辑概念对时间逻辑CTL的扩展。与现有解决方案相反，此方法允许集成本体，以实现互操作性并从文档的实现方面进行抽象。这使得CTL_（DL）特别适合在语义Web中集成异构和分布式信息资源。

著录项

来源
《Journal of Computer Science & Technology》 |2006年第3期|p.418-429|共12页
作者
Franz Weitl; Burkhard Freitag;
展开▼
作者单位

Department of Mathematics and Computer Science, University of Passau, D-94030 Passau, Germany;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词
document verification; content consistency; model checking; temporal description logics; CTL; DL;

机译：文档验证;内容一致性;模型检查;时间描述逻辑;CTL;DL;

相似文献

外文文献
中文文献
专利

1. Checking Content Consistency of Integrated Web Documents [J] . Franz Weitl, Burkhard Freitag 计算机科学技术学报（英文版） . 2006,第003期

机译：检查集成Web文档的内容一致性
2. Static consistency checking of web applications with WebDSL [J] . Zef Hemel, Danny M. Groenewegen, Lennart C.L Kats, Journal of symbolic computation . 2011,第2期

机译：使用WebDSL的Web应用程序的静态一致性检查
3. An Integrated Approach for Improving Brand Consistency of Web Content: Modeling, Analysis, and Recommendation [J] . Roy Soumyadeep, Sural Shamik, Chhaya Niyati, ACM transactions on the web . 2021,第2期

机译：提高Web内容品牌一致性的综合方法：建模，分析和推荐
4. Checking Semantic Integrity Constraints on Integrated Web Documents [C] . Franz Weitl, Burkhard Freitag International Conference on Conceptual Modeling(ER 2004): Workshops on CoMoGIS, CoMWIM, ECDM, CoMoA, DGOV, and eCOMO; 20041108-12; Shanghai(CN) . 2004

机译：检查集成Web文档上的语义完整性约束
5. The efficacy of a Web site evaluation checklist as a pedagogical approach for teaching students to critically evaluate Internet content [D] . Bronstein, Dawn M. 2007

机译：网站评估清单作为一种教学方法，可帮助学生批判性地评估Internet内容的功效
6. Selection of Policy Instruments on Integrated Care in China: Based on Documents Content Analysis [O] . Xin Yue, Kaining Mu, Lihang Liu 2020

机译：基于文件内容分析的中国综合医疗政策工具选择
7. Static consistency checking of web applications with WebDSL [O] . Hemel Zef, Groenewegen Danny M., Kats Lennart C.L., 2011

机译：使用WebDSL的Web应用程序的静态一致性检查

Checking Content Consistency of Integrated Web Documents

摘要

著录项

相似文献

相关主题

期刊订阅