We use cookies to improve your experience with our site.

Indexed in:

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

Submission System
(Author / Reviewer / Editor)
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.

Checking Content Consistency of Integrated Web Documents

More Information
  • Received Date: January 24, 2005
  • Revised Date: March 19, 2006
  • Published Date: May 14, 2006
  • 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.
  • [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.
  • Related Articles

    [1]K. Robert Lai, Yi-Yuan Chiang. Constraint-Based Fuzzy Models for an Environment with Heterogeneous Information-Granules[J]. Journal of Computer Science and Technology, 2006, 21(3): 401-411.
    [2]Jingzhou Yang, R. Timothy Marler, Steven Beck, Karim Abdel-Malek, Joo Kim. Real-Time Optimal Reach-Posture Prediction in a New Interactive Virtual Environment[J]. Journal of Computer Science and Technology, 2006, 21(2): 189-198.
    [3]TU Gang, YANG FuMin, LU YanSheng. Scheduling Algorithms Based on Weakly Hard Real-Time Constraints[J]. Journal of Computer Science and Technology, 2003, 18(6).
    [4]CHENG Cheng, WANG HongAn, DAI GuoZhong. Construction of Feature-Matching Perception in Virtual Assembly[J]. Journal of Computer Science and Technology, 2003, 18(2).
    [5]WANG Wei, WaNG Yujun, SHI Baile. Dynamic Interval Index Structure in Constraint Database Systems[J]. Journal of Computer Science and Technology, 2000, 15(6): 542-551.
    [6]HE Taosong. Volumetric Virtual Environments[J]. Journal of Computer Science and Technology, 2000, 15(1): 37-46.
    [7]Gao Shuming, Peng Qunsheng. Hierarchical Geometric Constraint Model for Parametric Feature Based Modeling[J]. Journal of Computer Science and Technology, 1997, 12(3): 193-201.
    [8]Zhao Yu, Zhang Qiong, Xiang Hui, Shi Jiaosing, He Zhijun. A Simplified Model for Generating 3D Realistic Sound in the Multimedia and Virtual Reality Systems[J]. Journal of Computer Science and Technology, 1996, 11(4): 461-470.
    [9]Liao Lejian, Shi Zhongzhi. Minimal Model Semantics for Sorted Constraint Representation[J]. Journal of Computer Science and Technology, 1995, 10(5): 439-446.
    [10]Yu Xiangdong. Some Hard Examples for the Resolution Method[J]. Journal of Computer Science and Technology, 1990, 5(3): 302-304.

Catalog

    Article views (16) PDF downloads (1645) Cited by()
    Related

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return