We use cookies to improve your experience with our site.

Indexed in:

SCIE, EI, Scopus, INSPEC, DBLP, CSCD, etc.

Submission System
(Author / Reviewer / Editor)
Advanced Search
Volume 21 Issue 3
May  2006
Turn off MathJax
Article Contents
Abstract
References
Related Articles
Franz Weitl, Burkhard Freitag. Checking Content Consistency of Integrated Web Documents[J]. Journal of Computer Science and Technology, 2006, 21(3): 418-429.
Citation: Franz Weitl, Burkhard Freitag. Checking Content Consistency of Integrated Web Documents[J]. Journal of Computer Science and Technology, 2006, 21(3): 418-429.
shu

Checking Content Consistency of Integrated Web Documents

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

More Information
  • Received Date: January 24, 2005
  • Revised Date: March 19, 2006
  • Published Date: May 14, 2006
    Abstract
  • A conceptual framework for the specification and verification ofconstraints on the content and narrative structure of documents isproposed. As a specification formalism, CTLDL isdefined, which is an extension of the temporal logic CTL by descriptionlogic concepts. In contrast to existing solutions this approach allowsfor the integration of ontologies to achieve interoperability andabstraction from implementation aspects of documents. This makes CTLDL specifically suitable for the integration of heterogeneousand distributed information resources in the semantic web.
    • FullText(HTML)
    • References (39)
  • [1]
    Bernd Krieg-Bruckner, Dieter Hutter, Arne Lindow et al. MultiMedia instruction in safe and secure systems. Recent Trends in Algebraic Development Techniques, LNCS 2755, 2003,pp.82--117.
    [2]
    Bernd Krieg-Bruckner, Arne Lindow, Christoph Luth et al. Semantic interrelation of documents via an ontology. In Proc. the 2nd E-Learning Workshop Computer Science, Engels G, Seehusen S (eds.), Paderborn, Germany, Springer-Verlag, 2004, pp.271--282.
    [3]
    Ozsoyoglu G, Balkir N H, Ozsoyoglu Z M et al. On automated lesson construction from electronic textbooks. IEEE Trans. Knowledge and Data Engineering, 2004, 16(3): 130--140.
    [4]
    Peter Brusilovsky. Adaptive and intelligent technologies for web-based education. KI---Kunstliche Intelligenz, 1999, 13(4):19--25.
    [5]
    David Stotts P, Richard Furuta, Cyrano Ruiz Cabarrus. Hyperdocuments as automata: Verification of trace-based browsing properties by model checking. Information Systems, 1998, 16(1): 1--30. %citeseer.nj.nec.com/166754.html
    [6]
    Emerson E A. Temporal and Modal Logic. Handbook of Theoretical Computer Science: Formal Models and Semantics, J van Leeuwen (ed.), Elsevier, 1990, pp.996--1072.
    [7]
    David Stotts, Jaime Navon. Model checking cobweb protocols for verification of HTML frames behavior. In Proc. the 11th Int. Conf. WWW, Hawaii, USA, ACM Press, 2002, pp.182--190.
    [8]
    Thimbleby H, Addison M A. Intelligent adaptive assistance and its automatic generation. Interacting with Computers, 1996,8(1): 51--68.
    [9]
    Thimbleby H, Ladkin P B. From logic to manuals. Software Engineering Journal, 1997, 11(6): 347--354.
    [10]
    Lloyd J W. Foundations of Logic Programming. Berlin: Springer Verlag, 1987.
    [11]
    Christian Suss, Burkhard Freitag, Peter Brossler. Metamodeling for web-based teachware management. In Advances in Conceptual Modeling, ER'99 Workshop on the World-Wide Web and Conceptual Modeling, Paris, France, LNCS 1727, Springer-Verlag, 1999, pp.360--373.
    [12]
    Lucke U, Tavangarian D, Voigt D. Multidimensional educational multimedia with 3. In Proc. World Conf. E-Learning in Corporate, Government, Healthcare and Higher Education, Phoenix, Arizona, USA, 2003, pp.101--104.
    [13]
    Michael Kohlhase. OMDoc: Towards an internet standard for the administration, distribution and teaching of mathematical knowledge. In Proc. Artificial Intelligence and Symbolic Computation, Springer-Verlag, LNCS 1930, 2000, pp.32--52.
    [14]
    Amann B, Beeria C, Fundulaki I et al. Ontology-based integration of XML web resources. In Proc. the Int. Semantic Web Conference'02, Sardinia Italy, Springer-Verlag, LNCS 2342, 2002, pp.117--131.
    [15]
    Laks V S Lakshmanan, Fereidoon Sadri. Interoperability on XML Data. In Proc. the 2nd International Semantic Web Conference (ISWC2003), Sanibel Island, Florida, USA, LNCS 2870, Springer-Verlag, 2003, pp.146--163.
    [16]
    Philipp Cimiano, Siegfried Handschuh, Steffen Staab. Towards the self-annotating web. In Proc. the 13th WWW Conference, ACM Press, 2004, pp.462--471.
    [17]
    Stephen Dill, Nadav Eiron, David Gibson et al. SemTag and seeker: Bootstrapping the semantic web via automated semantic annotation. In Proc. the Int. World Wide Web Conference (WWW 2003), Budapest, Hungary, 2003, pp.178--186.
    [18]
    Siegfried Handschuh, Steffen Staab. Annotation for the Semantic Web. IOS Press, 2003.
    [19]
    Saikat Mukherjee, Guizhen Yang, Ramakrishnan I V. Automatic annotation of content-rich HTML documents: Structural and semantic analysis. In Proc. the 2nd International Semantic Web Conference (ISWC2003), Sanibel Island, Florida, USA, LNCS 2870,Springer-Verlag, 2003, pp.533--549.
    [20]
    Borislav Popov, Atanas Kiryakov, Angel Kirilov et al. KIM --Semantic annotation platform. In Proc. the 2nd Int. Semantic Web Conference (ISWC2003), Sanibel Island, Florida, USA, LNCS 2870, Springer-Verlage, 2003, pp.834--849.
    [21]
    Niles I, Pease A. Towards a standard upper ontology. In Proc. the 2nd International Conference on Formal Ontology in Information Systems (FOIS-2001), Chris Welty, Barry Smith (eds.), Ogunquit, Maine, 2001, pp.2--9.
    [22]
    Aroyo L, Mizoguchi R. Process-aware authoring of web-based educational systems. In Proc. the First International Workshop of Semantic Web for Web-based Learning (SW-WL03), Velden, Austria, 2003, pp.212--221.
    [23]
    Inaba A, Mizoguchi R. Learners' roles and predictable educational benefits in collaborative learning --An ontological approach to support design and analysis of CSCL. In Proc. the 7th International Conference on Intelligent Tutoring Systems (ITS2004), Alagoas, Brazil, 2004, pp.285--294.
    [24]
    Kasai T, Yamaguchi H, Nagano K, Mizoguchi R. Development of a system that provides teachers with useful resources from various viewpoints based on ontology. In Proc. the 7th World Conference on Educational Multimedia, Hypermedia & Telecommunications (ED-MEDIA2004), Lugano, Switzerland, 2004, pp.3349--3356.
    [25]
    Franz Baader, Werner Nutt. Basic Description Logics. In
    [26]
    , Chapter 2, 2003, pp.47--100.
    [27]
    Ian Horrocks, Ulrike Sattler, Stephan Tobies. Reasoning with individuals for the description logic SHIQ. In Proc. the 17th International Conference on Automated Deduction, Springer-Verlag,LNCS 1831, 2000, pp.482--496.
    [28]
    Franz Baader, Diego Calvanese, Deborah McGuinness et al.(eds.)The Description Logic Handbook---Theory, Implementation and Applications. Cambridge University Press, 2003.
    [29]
    Alessandro Artale, Enrico Franconi. Temporal Description Logics. Handbook of Time and Temporal Reasoning in Artificial Intelligence, L Vila, P van Beek, M Boddy et al. (eds.),MIT Press, 2000.
    [30]
    Alessandro Artale, Enrico Franconi. A Survey of temporal extensions of description logics. Annals of Mathematics and Artificial Intelligence (AMAI), Kluwer Academic Press, 2001, 30(1-4): 171--210.
    [31]
    Hodkinson I, Wolter F, Zakharyaschev M.Decidable and undecidable fragments of first-order branching temporal logics. In Proc. the 17th Annual IEEE Symposium on Logic in Computer Science (LICS2002), 2002, 393--402.
    [32]
    Francesco M Donini. Complexity of Reasoning. In
    [33]
    , Chapter 3, 2003, pp.101--141.
    [34]
    Paolo Bouquet, Fausto Giunchiglia, Frank van Harmelen et al. C-OWL: Contextualizing ontologies. In Proc. the 2nd International Semantic Web Conference (ISWC2003), Sanibel Island, Florida, USA, LNCS 2870, Springer-Verlage, 2003, pp.164--179.
    [35]
    Baader F, Kusters R, Wolter F. Extensions to Description Logics. In
    [36]
    , Chapter 6, 2003, pp.226--268.
    [37]
    Hodkinson I, Wolter F, Zakharyaschev M. Monodic fragments of first-order temporal logics: 2000--2001 A.D.. Logic for Programming, Artificial Intelligence and Reasoning, Nieuwenhuis R, Voronkov A (eds.), LNAI 2250, Springer-Verlag, 2001, pp.1--23.
    [38]
    Wolter F, Zakharyaschev M. Temporalizing description logic. Frontier of Combining Systems 2, D Gabbay, M de Rijke (eds.), Studies Press/Wiley, 2000, pp.379--402.
    [39]
    Sean Bechhofer, Frank van Harmelen, Jim Hendler et al.OWL Web Ontology Language Reference, W3C Recommendation 10 February 2004, Mike Dean, Guus Schreiber (eds.), http://www.w3.org/TR/owl-ref/, 2004. last visited Jul. 2005.
    • Relative Articles

  • Related Articles

    [1]Liang Xu, Wei Chen, Yan-Yan Xu, Wen-Hui Zhang. Improved Bounded Model Checking for the Universal Fragment of CTL[J]. Journal of Computer Science and Technology, 2009, 24(1): 96-109.
    [2]Zhi-Hong Tao, Cong-Hua Zhou, Zhong Chen, Li-Fu Wang. Bounded Model Checking of CTL^*[J]. Journal of Computer Science and Technology, 2007, 22(1): 39-43.
    [3]Hong Pan, Hui-Min Lin, Yi Lv. Model Checking Data Consistency for Cache Coherence Protocols[J]. Journal of Computer Science and Technology, 2006, 21(5): 765-775.
    [4]Jian-Hua Zhao, Xuan-Dong Li, Tao Zheng, Guo-Liang Zheng. Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking[J]. Journal of Computer Science and Technology, 2006, 21(1): 41-51.
    [5]Jing Chen, Zi-Ning Cao. Model Checking Real-Time Value-Passing Systems[J]. Journal of Computer Science and Technology, 2004, 19(4).
    [6]ZHANG WenHui. Combining Static Analysis and Case-Based Search Space Partitioning for Reducing Peak Memory in Model Checking[J]. Journal of Computer Science and Technology, 2003, 18(6).
    [7]LI Yong, Dang Van Hung. Checking Temporal Duration Properties of Timed Automata[J]. Journal of Computer Science and Technology, 2002, 17(6).
    [8]LIN Huimin. A Graphical u-Calculus and Local Model Checking[J]. Journal of Computer Science and Technology, 2002, 17(6).
    [9]LI Xuandong, TAN Wenkai, ZHENG Guoliang. Checking MSC Specifications for Timing Inconsistency[J]. Journal of Computer Science and Technology, 2002, 17(1).
    [10]ZHAO Jianhua. Checking Timed Automata for Linear Duration Properties[J]. Journal of Computer Science and Technology, 2000, 15(5): 423-429.
    • Supplements (0)

Catalog

    Get Citation
    XML
    Article views (16) PDF downloads (1645) Cited by()
    Related

    Copyright ©2025 JCST, All Rights Reserved     京ICP备05002829号-1

    Institute of Computing Technology, Chinese Academy of Sciences
    P.O. Box 2704, Beijing 100190, P.R. China

    Tel.: 86-10-62610746 E-mail: jcst@ict.ac.cn

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return