Hypermedia presentation generation for semantic web information systems

Due to Web popularity many information systems have been made available through the Web, resulting in so-called Web Information Systems (WIS). Due to the complex requirements that WIS need to ful??ll, the design of these systems is not a trivial task. Design methodologies provide guidelines for the construction of WIS such that the complexity of this process becomes manageable. Based on the separation-of-concerns principle some of these methodologies propose models to specify di??erent aspects of WIS design. Model-driven WIS design methodologies have been recently in uenced by emerging technologies like the ones provided by the Semantic Web. We call WIS that use Semantic Web technologies Semantic Web Information Systems (SWIS). Hera is a SWIS design methodology that employs RDF, the foundation language of the Semantic Web, for its model representation. Using a standardized language to represent models fosters application interoperability. There are two main phases in Hera: the data collection phase, which makes available data coming from di??erent possibly heterogeneous sources, and the presentation generation phase, which builds Web hypermedia presentations based on the previously integrated data. This dissertation concentrates on the presentation generation phase of the Hera methodology. Chapter 1 introduces the research questions and provides an outline of the dissertation content. Chapter 2 gives an overview of existing model-driven (S)WIS design methodologies and their support tools. It also identi??es a number of desired (S)WIS design methodology features that are used as a comparison criteria for the analyzed methodologies. Chapter 3 describes the presentation generation phase of Hera, a model-driven SWIS design methodology. Di??erently than many of the analyzed SWIS design methodologies, Hera has most of the desired features of a SWIS design methodology like data integration support, presentation personalization, and user interaction. All Hera models and their instances are described in RDF. The presentation generation phase of the Hera methodology identi??es the following design steps: ?? conceptual design: constructs the conceptual model (CM), a uniform representation of the application's data. It de??nes the concepts and the concept relationships that are speci??c to the application's domain. ?? application design: constructs the application model (AM), the navigational structure over the application's data. It de??nes slices and slice relationships. A slice is a meaningful presentation unit of some data. There are two types of slice relationships: navigation relationships, used for links between slices, and aggregation relationships, used for embedding a slice into another slice. ?? presentation design: constructs the presentation model (PM), the look-and-feel speci ??cations of the presentation. It de??nes regions and region relationships. A region is an abstraction for a rectangular area on the user display where the contents of a slice are presented. As for slices, there are two types of region relationships: navigation relationships, used for links between regions, and aggregation relationships, used for embedding a region into another region. Regions have associated layout (positioning of inner regions inside a region) and style (fonts, colors, etc.) information. There are two types of presentation adaptation supported in the presentation generation phase of Hera: static adaptation, i.e., adaptation performed before the user starts browsing, and dynamic adaptation, i.e., adaptation performed while the user is browsing. The static adaptation is based on appearance conditions for elements in the CM, AM, and PM. These conditions use data from a user pro??le (UP) which stores the static user preferences and device capabilities. The dynamic adaptation uses AM queries in order to update the user session (US). US stores dynamic data, i.e., data created during user browsing based on user's input. The presentation generation process uses data from US in a similar way as the CM. Based on these two types of adaptation there are two variants of Hera's presentation generation phase: the static variant and the dynamic variant. Chapter 4 describes a CASE tool, the Hera Presentation Generator (HPG), that supports the presentation generation phase of Hera. There are two variants of the HPG, HPGXSLT, which corresponds to the static variant of Hera's presentation generation phase, and HPG-Java, which corresponds to the dynamic variant of Hera's presentation generation phase. HPG-XSLT implements the data transformations using XSLT stylesheets, and HPG-Java implements the data transformations in Java using Jena and Sesame libraries. HPG-Java exploits more of the RDF model semantics than HPG-XSLT. A distributed architecture of the HPG based on Web Services is also provided. Chapter 5 proposes RAL, an RDF algebra that can be used for RDF query optimization. It de??nes a data model and a set of operators. The collections (sets) of nodes are closed under all operators. There are two types of operators: extraction operators, which retrieve nodes of interest from an input collection, and construction operators that build an output model possibly using also the extracted nodes. The extraction operators satisfy equivalence laws resembling to the ones found in relational algebra. We propose a heuristic algorithm for RDF query optimization similar to the one given in relational algebra. Chapter 6 shows how one can apply a general-purpose graph visualization engine, GViz, for the visualization of the models used in the presentation generation phase of Hera. Compared with other visualization tools GViz has the advantage of being easily customizable. As Hera models have the tendency to be rather large, we de??ne visualization scenarios in order to get a better insight into the model properties. We did use GViz for the visualization of conceptual models, conceptual model instances, application models, and application model instances.

[1]  Patrick Beautement,et al.  Towards Semantic Interoperability in Agent-based Coalition Command Systems , 2001, SWWS.

[2]  Arvind Malhotra,et al.  Xml schema part 2: datatypes , 1999 .

[3]  Paolo Merialdo,et al.  The Araneus Web-based management system , 1998, SIGMOD '98.

[4]  Bernhard Thalheim,et al.  Modeling Interaction and Media Objects , 2000, NLDB.

[5]  Flavius Frasincar,et al.  Engineering Semantic Web Information Systems in Hera , 2003, J. Web Eng..

[6]  Flavius Frasincar,et al.  RAL: An Algebra for Querying RDF , 2002, Proceedings of the Third International Conference on Web Information Systems Engineering, 2002. WISE 2002..

[7]  van Boris Wessel Schooten,et al.  Development and Specification of Virtual Environments , 2003 .

[8]  Gustavo Rossi,et al.  An Object Oriented Approach to Web-Based Applications Design , 1998, Theory Pract. Object Syst..

[9]  Jeffrey D. Ullman,et al.  Principles of Database and Knowledge-Base Systems, Volume II , 1988, Principles of computer science series.

[10]  Neel Sundaresan,et al.  RDF Query Specification , 1998, QL.

[11]  Robert van Liere,et al.  GraphSplatting: Visualizing Graphs as Continuous Fields , 2003, IEEE Trans. Vis. Comput. Graph..

[12]  Alexandru Telea,et al.  An Open Toolkit for Prototyping Reverse Engineering Visualizations , 2002, VisSym.

[13]  Marisa E. Campbell,et al.  Conference preview: HCI 2000: usability or else! , 2000, INTR.

[14]  Regina Dunlea,et al.  Simple Object Access Protocol (SOAP) , 2005 .

[15]  G. Klyne,et al.  Composite Capability/Preference Profiles (CC/PP) : Structure and Vocabularies , 2001 .

[16]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[17]  Stefan Decker,et al.  A Query and Inference Service for RDF , 2007 .

[18]  Gobinda G. Chowdhury,et al.  Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential , 2004 .

[19]  Steffen Staab,et al.  OntoEdit: Multifaceted Inferencing for Ontology Engineering , 2003, J. Data Semant..

[20]  Hongjing Wu,et al.  AHAM: a Dexter-based reference model for adaptive hypermedia , 1999, Hypertext.

[21]  Gustavo Rossi,et al.  Designing personalized web applications , 2001, WWW '01.

[22]  Andreas Martin Thomas Lincke,et al.  Electronic business negotiation: some experimental studies on the interaction between medium, innovation context, and culture , 2003 .

[23]  Fernanda Lima,et al.  Application modeling for the semantic Web , 2003, Proceedings of the IEEE/LEOS 3rd International Conference on Numerical Simulation of Semiconductor Optoelectronic Devices (IEEE Cat. No.03EX726).

[24]  Gustaf Neumann,et al.  Wafe - An X Toolkit Based Frontend for Application Programs in Various Programming Languages , 1993, USENIX Winter.

[25]  Paul Raines Tcl/Tk Pocket Reference , 1998 .

[26]  Gustaf Neumann,et al.  Semantics in Web Engineering: Applying the Resource Description Framework , 2001, IEEE Multim..

[27]  Stefano Ceri,et al.  Designing Data-Intensive Web Applications , 2002 .

[28]  Fabio Vitali,et al.  Web information systems , 1998, CACM.

[29]  Cristina Cachero,et al.  OO-H Method: extending UML to model web interfaces , 2003 .

[30]  Mitsuhiko Toda,et al.  Methods for Visual Understanding of Hierarchical System Structures , 1981, IEEE Transactions on Systems, Man, and Cybernetics.

[31]  Alicia Díaz,et al.  RMC: A Tool to Design WWW Applications , 1996, World Wide Web journal.

[32]  Philip Wadler,et al.  Comprehending monads , 1990, Mathematical Structures in Computer Science.

[33]  Jessen Yu,et al.  Timed interactive multimedia extensions for html (html+time) , 1998 .

[34]  A. J. Lehmann Causation in artificial intelligence and law : a modelling approach , 2003 .

[35]  Gustavo Rossi,et al.  A Software Architecture for Structuring Complex Web Applications , 2002, J. Web Eng..

[36]  Steffen Staab,et al.  SEAL - Tying Up Information Integration and Web Site Management by Ontologies , 2002, IEEE Data Eng. Bull..

[37]  Rik Eshuis,et al.  Semantics and Verification of UML Activity Diagrams for Workflow Modelling , 2002 .

[38]  Flavius Frasincar,et al.  Engineering the Presentation Layer of Adaptable Web Information Systems , 2004, ICWE.

[39]  大島 正嗣,et al.  Simple Object Access Protocol と,その応用としてのソフトウェアの組み合わせについて (渡邉昭夫教授退任記念号) , 2001 .

[40]  Emmanuel Pietriga IsaViz, a Visual Environment for Browsing and Authoring RDF Models , 2002, WWW 2002.

[41]  C.M.T. Metselaar,et al.  Sociaal-organisatorische gevolgen van kennistechnologie : een procesbenadering en actorperspectief , 2000 .

[42]  Ben Shneiderman,et al.  Readings in information visualization - using vision to think , 1999 .

[43]  Scott Boag,et al.  XQuery 1.0 : An XML Query Language , 2007 .

[44]  Jaap Gordijn,et al.  Value-based requirements engineering: exploring innovative e-commerce ideas , 2003, Requirements Engineering.

[45]  Ian Horrocks,et al.  The Semantic Web: The Roles of XML and RDF , 2000, IEEE Internet Comput..

[46]  D. Box,et al.  Simple Object Access Protocol (SOAP) 1.1, W3C Note , 2000 .

[47]  Flavius Frasincar,et al.  Hera: Development of Semantic Web Information Systems , 2003, ICWE.

[48]  Ioana Manolescu,et al.  Model-driven Specification of Web Services Composition and Integration with Data-intensive Web Applications , 2002, IEEE Data Eng. Bull..

[49]  Martin Wigbertus Antonius Caminada For the sake of the Argument : explorations into argument-based reasoning , 1997 .

[50]  Carolyn B. Seaman Managing Corporate Information Systems Evolution and Maintenance , 2006, J. Softw. Maintenance Res. Pract..

[51]  Flavius Frasincar,et al.  XML-Based Automatic Web Presentation Generation , 2001, WebNet.

[52]  Arnold Kamis,et al.  Extending the capabilities of RMM: Russian dolls and hypertext , 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.

[53]  Professor Dr. Bernhard Thalheim Entity-Relationship Modeling , 2000, Springer Berlin Heidelberg.

[54]  Dan Brickley,et al.  Resource Description Framework (RDF) Model and Syntax Specification , 2002 .

[55]  James Clark,et al.  XSL Transformations (XSLT) Version 1.0 , 1999 .

[56]  Gustavo Rossi,et al.  Systematic hypermedia application design with OOHDM , 1996, HYPERTEXT '96.

[57]  Olga De Troyer,et al.  Designing Localized Web Sites , 2004, WISE.

[58]  W.C.A. Wijngaards,et al.  Agent-Based Modelling of Dynamics: Biological and Organisational Applications , 2002 .

[59]  Peter Boncz,et al.  UvA-DARE ( Digital Academic Repository ) Monet ; a next-Generation DBMS Kernel For Query-Intensive Applications , 2007 .

[60]  Neerincx,et al.  Human-computer interaction and presence in virtual reality exposure therapy , 2003 .

[61]  Ora Lassila,et al.  Enabling Semantic Web Programming by Integrating RDF and Common Lisp , 2001, SWWS.

[62]  S. J. Karlsson Scalable distributed data structures for database management , 2000 .

[63]  Flavius Frasincar,et al.  XAL: An Algebra For XML Query Optimization , 2002, Australasian Database Conference.

[64]  Stefano Ceri,et al.  Web Modeling Language (WebML): a modeling language for designing Web sites , 2000, Comput. Networks.

[65]  Vannevar Bush,et al.  As we may think , 1945, INTR.

[66]  Flavius Frasincar,et al.  Specification framework for engineering adaptive web applications , 2002 .

[67]  Fernanda Lima,et al.  Design and Implementation of Semantic Web Applications , 2004, WWW Workshop on Application Design, Development and Implementation Issues in the Semantic Web.

[68]  Flavius Frasincar,et al.  Hypermedia Presentation Adaptation on the Semantic Web , 2002, AH.

[69]  R. V. D. Pol Knowledge-based query formulation in information retrieval , 2000 .

[70]  Website Modeling and Website Generation , 2004, ICWE.

[71]  Patricia Vilain,et al.  Modeling Interactions and Navigation in Web Applications , 2000, ER.

[72]  Lloyd Rutledge,et al.  Finding the story: broader applicability of semantics and discourse for hypermedia generation , 2003, HYPERTEXT '03.

[73]  Juan Roberto Castelo Valdueza,et al.  The Discrete Acyclic Digraph Markov Model in Data Mining , 2002 .

[74]  Flavius Frasincar,et al.  Visualisation of RDF(S)-based information , 2003, Proceedings on Seventh International Conference on Information Visualization, 2003. IV 2003..

[75]  R. G. G. Cattell,et al.  Recent books , 2000, IEEE Spectrum.

[76]  James A. Hendler,et al.  Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential , 2002 .

[77]  Stefan Decker,et al.  TRIPLE - An RDF Query, Inference, and Transformation Language , 2001, INAP.

[78]  Nora Koch,et al.  The Authoring Process of the UML-based Web Engineering Approach , 2000 .

[79]  G. Rossi,et al.  An Object Oriented Approach to Web-Based Application Design , 1998 .

[80]  R Richard Vdovják,et al.  A model-driven approach for building distributed ontology-based web applications , 2005 .

[81]  Jan Broersen Modal Action Logics for Reasoning about Reactive Systems , 2003 .

[82]  Dan Brickley,et al.  Rdf vocabulary description language 1.0 : Rdf schema , 2004 .

[83]  Jeremy J. Carroll,et al.  Resource description framework (rdf) concepts and abstract syntax , 2003 .

[84]  Bernhard Thalheim,et al.  Reasoning About Web Information Systems Using Story Algebras , 2004, ADBIS.

[85]  Dan Brickley,et al.  Enabling Inferencing , 1998, QL.

[86]  Hongjing Wu,et al.  Making General-Purpose Adaptive Hypermedia Work , 2000, WebNet.

[87]  Jeffrey D. Uuman Principles of database and knowledge- base systems , 1989 .

[88]  Jean Vanderdonckt,et al.  A Review of XML-compliant User Interface Description Languages , 2003, DSV-IS.

[89]  Peter Brusilovsky,et al.  Adaptive Hypermedia , 2001, User Modeling and User-Adapted Interaction.

[90]  Daniel Schwabe,et al.  Interface development for hypermedia applications in the semantic Web , 2004, WebMedia and LA-Web, 2004. Proceedings.

[91]  James A. Hendler,et al.  Web ontology language (OWL) reference version 1 , 2002 .

[92]  Stefan Decker,et al.  OntoWebber: Model-Driven Ontology-Based Web Site Management , 2001, SWWS.

[93]  Stefan Decker,et al.  Creating Semantic Web Contents with Protégé-2000 , 2001, IEEE Intell. Syst..

[94]  Arjeh M. Cohen,et al.  Synchronized Multimedia Integration Language (SMIL) 2.0 , 1998 .

[95]  Jacob Lenting Informed gambling : conception and analysis of a multi-agent mechanism for discrete reallocation , 1999 .

[96]  Flavius Frasincar,et al.  An RMM-Based Methodology for Hypermedia Presentation Design , 2001, ADBIS.

[97]  Oscar Pastor,et al.  OOWS: A Method to Develop Web Applications from Web-Oriented Conceptual Models , 2003 .

[98]  Tomás Isakowitz,et al.  RMM: a methodology for structured hypermedia design , 1995, CACM.

[99]  Frank Wehner,et al.  A Component-based Approach for Adaptive, Dynamic Web Documents , 2003, J. Web Eng..

[100]  Olga De Troyer,et al.  Structuring Web Sites Using Audience Class Hierarchies , 2001, ER.

[101]  Gustavo Rossi,et al.  Web Application Models Are More Than Conceptual Models , 1999, ER.

[102]  Olga De Troyer,et al.  WSDM: A User Centered Design Method for Web Sites , 1998, Comput. Networks.

[103]  Gustaf Neumann,et al.  XOTcl: an object-oriented scripting language , 2000 .

[104]  Flavius Frasincar,et al.  Adapting Graph Visualization Techniques for the Visualization of RDF Data , 2006, Visualizing the Semantic Web, 2nd Edition.

[105]  Peter W. Eklund,et al.  OntoRama: Browsing RDF ontologies using a hyperbolic-style browser , 2002, First International Symposium on Cyber Worlds, 2002. Proceedings..

[106]  Lai Xu Monitoring multi-party contracts for E-business , 2004 .

[107]  Gustaf Neumann,et al.  Applying the Resource Description Framework to Web Engineering , 2000, EC-Web.

[108]  Irene Garrigós,et al.  Using Adaptive Techniques to Validate and Correct an Audience Driven Design of Web Sites , 2004, ICWE.

[109]  P. Groot,et al.  A Theoretical and Empirical Analysis of Approximation in Symbolic Problem Solving , 2004 .

[110]  H. Stuckenschmidt,et al.  Ontology-Based Information Sharing in Weakly Structured Environments , 2003 .

[111]  Olga De Troyer,et al.  Design time support for adaptive behavior in Web sites , 2003, SAC '03.

[112]  Josie Wernecke,et al.  The inventor mentor - programming object-oriented 3D graphics with Open Inventor, release 2 , 1993 .

[113]  Massimo Marchiori,et al.  Query + Metadata + Logic = Metalog , 1998, QL.

[114]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[115]  Steve Hansen,et al.  Web Engineering: A New Discipline for Development of Web-Based Systems , 2001, Web Engineering.

[116]  Daniel Schwabe,et al.  OOHDM-Web: an environment for implementation of hypermedia applications in the WWW , 1999, LINK.

[117]  Nes UvA-DARE ( Digital Academic Repository ) Image database management systems design considerations algorithms and architecture , 2007 .

[118]  Emden R. Gansner,et al.  Drawing graphs with dot , 2006 .

[119]  L. Stein,et al.  OWL Web Ontology Language - Reference , 2004 .

[120]  Enrico Motta,et al.  Design of customized web applications with OntoWeaver , 2003, K-CAP '03.

[121]  Bernhard Thalheim,et al.  SiteLang: Conceptual Modeling of Internet Sites , 2001, ER.

[122]  H.H.L.M. Donkers,et al.  NOSCE HOSTEM: Searching with Opponent Models , 1997 .

[123]  Dan Suciu,et al.  Declarative specification of Web sites with Strudel , 2000, The VLDB Journal.

[124]  Catriel Beeri,et al.  Algebraic Optimization of Object-Oriented Query Languages , 1990, Theor. Comput. Sci..

[125]  Vassilis Christophides,et al.  RQL: a declarative query language for RDF , 2002, WWW.

[126]  Steffen Staab,et al.  SEmantic portAL: The SEAL Approach , 2003, Spinning the Semantic Web.

[127]  Stefan Manegold,et al.  Understanding, modeling, and improving main-memory database performance , 2002 .

[128]  Lloyd Rutledge,et al.  Towards smart style : combining RDF semantics with XML document transformations , 2003 .

[129]  Ian Horrocks,et al.  OWL Web Ontology Language Reference-W3C Recommen-dation , 2004 .

[130]  Brian McBride,et al.  Jena: Implementing the RDF Model and Syntax Specification , 2001, SemWeb.

[131]  Flavius Frasincar,et al.  Adaptation and reuse in designing Web information systems , 2004, International Conference on Information Technology: Coding and Computing, 2004. Proceedings. ITCC 2004..

[132]  Stefan Decker,et al.  Managing Web Sites with OntoWebber , 2002, EDBT.

[133]  E. G. Boltjes,et al.  Voorbeeldig onderwijs : voorbeeldgestuurd onderwijs, een opstap naar abstract denken, vooral voor meisjes , 2004 .