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] | 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. |