SCIE, EI, Scopus, INSPEC, DBLP, CSCD, etc.
Citation: | Franz Weitl, Burkhard Freitag. Checking Content Consistency of Integrated Web Documents[J]. Journal of Computer Science and Technology, 2006, 21(3): 418-429. |
[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
|
[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.
|
[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. |