On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS: OTM Confederated International Conferences, CoopIS, DOA, ODBASE, ... I (Lecture Notes in Computer Science, 4803)

This two-volume set LNCS 4803/4804 constitutes the refereed proceedings of the five confederated international conferences on Cooperative Information Systems (CoopIS 2007), Distributed Objects and Applications (DOA 2007), Ontologies, Databases and Applications of Semantics (ODBASE 2007), Grid computing, high performAnce and Distributed Applications (GADA 2007), and Information Security (IS 2007) held as OTM 2007 in Vilamoura, Portugal, in November 2007. The 95 revised full and 21 revised short papers presented together with 5 keynote talks were carefully reviewed and selected from a total of 362 submissions. Corresponding with the five OTM 2007 main conferences CoopIS, ODBASE, GADA, and DOA, the papers are organized in topical sections on process analysis and semantics, process modeling, P2P, collaboration, business transactions, dependability and security, middleware and web services, aspects and development tools, mobility and distributed algorithms, frameworks, patterns, and testbeds, ontology mapping, semantic querying, ontology development, learning and text mining, annotation and metadata management, ontology applications, data and storage, networks, collaborative grid environment and scientific grid applications, scheduling, middleware, data analysis, scheduling and management, access control and authentication, intrusion detection, system and services security, network security, malicious code and code security, as well as trust and information management. Title Page Preface Organization Table of Contents – Part I CoopIS 2007 International Conference (International Conference on Cooperative Information Systems) CoopIS 2007 PC Co-chairs’ Message The Internet Service Bus Soundness Verification of Business Processes Specified in the Pi-Calculus Introduction Preliminaries The Pi-Calculus Business Process Formalizations Simulation Bisimulation Characterizations of Soundness Easy Soundness Lazy Soundness Weak Soundness Relaxed Soundness Classical Soundness Tool Support and Efforts Tool-Supported Reasoning Efforts Conclusion and Related Work Extending BPMN for Modeling Complex Choreographies Introduction Assessment of BPMN BPMN Extensions Participant Sets References Reference Passing Example Validation Single Transmission Bilateral Interaction Patterns Single Transmission Multilateral Interaction Patterns Multi Transmission Interaction Patterns Routing Patterns Validation Summary Discussion Related Work Conclusion Semantics of Standard Process Models with OR-Joins Introduction Syntax of BPMN BPMN Overview Abstract Syntax Semantics of BPMN Models Informal Definition Formal Definition of Enablement Algorithm for Determining Enablement of an OR-Join Incremental Evaluation Related Work Conclusion Pattern-Based Design and Validation of Business Process Compliance Introduction Motivating Scenario Domain Model for Internal Controls Compliance Roles Involved Interplay of the Entities in the Domain Model Control Patterns High Level Control Patterns System Level Control Patterns The Approach Phase 1 - Control Design Phase Phase 2 - Recovery Action Design Phase Phase 3 - Business Process Execution Phase Implementation Related Work Conclusion References Constraint-Based Workflow Models: Change Made Easy Introduction Constraint Models Preliminaries Constraint Workflows Change ConDec and Declare ConDec Declare Tool Change in ConDec Related Work Conclusions Dynamic, Extensible and Context-Aware Exception Handling for Workflows Introduction Service Overview Service Architecture Exception Types and Handling Primitives Exception Types Exception Handling Primitives Contextual Selection of Exlets Related Work Conclusion Understanding the Occurrence of Errors in Process Models Based on Metrics Introduction Error Detection and Metrics Calculation for EPCs Empirical Distribution of Errors and Metrics Descriptive Statistics Disaggregated by Group Descriptive Statistics Disaggregated by hasErrors Inferential Statistics Correlation Analysis Logistic Regression Estimation Logistic Regression Validation Implications of the Findings Related Work Conclusions and Future Work Data-Driven Modeling and Coordination of Large Process Structures Introduction Overview of the Approach Modeling and Instantiation of Data Structures Creation of a Data Model Creation of the Data Structure Integration of Data and Processes Modeling of the Dynamic Aspects of Single Object Types Modeling of the Dynamic Aspects of the Data Model Creating the Life Cycle Coordination Structure Change Scenarios Practical Impact Related Work Summary and Outlook Supporting Ad-Hoc Changes in Distributed Workflow Management Systems Introduction Distributed Workflow Execution in ADEPT Ad-Hoc Modifications in a Distributed WfMS Synchronizing Workflow Servers During Ad-Hoc Modifications Determining the Set of Active Servers of a Workflow Instance Illustrative Example Distributed Execution of a Modified Workflow Instance Efficient Transmission of Information About Ad-Hoc Modifications Enhancing the Method Used to Transmit Modification Histories Related Work Summary Acquaintance Based Consistency in an Instance-Mapped P2P Data Sharing System During Transaction Processing Introduction Objectives, Assumptions, and Contributions P2P Database Systems Model Global Transaction Structure Transaction Translation Transaction Dependency Consistency of a P2PDBS Transactions Scheduling Problem in a P2PDBS P2PDBS Serializability Theory Scheduling Transactions in a P2PDBS Merged Global Transactions (MGT) Ticket Method Implementation Issues Typical Transaction Service Request Scenario Related Work Concluding Remarks Enabling Selective Flooding to Reduce P2P Traffic Introduction Peer Similarity Beyond the Similarity: The Expectation Notion System Adaptivity A Working Example Experiments Related Work Conclusions Improving the Dependability of Prefix-Based Routing in DHTs Introduction Related Work Hypercube-Based DHTs Fault Tolerance with Other Structures Extensions for Fault-Tolerance Fault-Tolerant Routing Motivation On the Dependability of Greedy Routing The Hypercube Structure Approach $hypeer$ Design $hypeer$ Overlay Routing Strategies Evaluation Overlay Structure Routing Under Failure-Free Operation Routing Upon Failure Conclusions Social Topology Analyzed Introduction Related Work The Socialized.Net Filelist.org Analysis Simulation Analysis Concluding Remarks and Future Work Conflict Resolution of Boolean Operations by Integration in Real-Time Collaborative CAD Systems Introduction Conflicting Boolean Operations Boolean Operations Conflicting Boolean Operations Resolving Conflicting Boolean Operations by Integration Resolving Conflicting Boolean Operations Rules Rules Analysis Significance of the CRIBO Technique in Supporting Creative Design Obtain “Hard-to-Achieve” Effects Stimulate Design Innovation Applying CRIBO to Other CAD Operations Conclusion References Trust Extension Device: Providing Mobility and Portability of Trust in Cooperative Information Systems Introduction Context and Motivation Trust Extension Device (TED) TED Architecture Enterprise System Architecture Trust Establishment Protocol Prototype Implementation Related Work Conclusions References Organizing Meaning Evolution Supporting Systems Using Semantic Decision Tables Introduction Semantic Decision Tables Decision Table and Semantic Decision Table Modeling Semantic Decision Tables DOGMA-MESS Outline of SDT in the Meaning Evolution Support Systems Design SDT for DOGMA-MESS Lift a Concept from OTO to LCO Improve the Lifting Algorithm Evaluation of Different Decision Rules Related Work and Discussion Conclusion and Future Work References Extending Online Travel Agency with Adaptive Reservations Introduction A Transaction Model Supporting Reservations Implementation Techniques The Architecture of a Ticket Booking System Experimental Study Experimental Setting Experimental Results Concluding Remarks A Multi-level Model for Activity Commitments in E-contracts Introduction E-contract Commitment Related Work Contributions and Organization of the Paper E-contract Commitment ER^{EC} Architecture Our Approach Basic Concepts Basic Activities Constraints Compensatibility Retriability Execution States Composition Model for Activities Path Model Tree Model Multi-level Model Multi-level Commitment and Closure Implementation Issues Discussion and Conclusion References Decentralised Commitment for Optimistic Semantic Replication Introduction System Model Classical or Commitment Algorithms Client Operation Client Behaviour and Client Interaction Multilog Propagation A Decentralised Commitment Protocol Overview Epidemic Communication Client, Local State, Proposer Election Example Discussion Safety Proof Outline Message Cost Implementation Considerations Example Application Related Work Conclusion and Future Work Coordinate BPEL Scopes and Processes by Extending the WS-Business Activity Framework Introduction and Motivation BPEL and Its Long-Running Transaction Model WS-Coordination and WS-Business Activity An External Coordinator to Drive BPEL’s Transaction Model Mapping of BPEL Scopes to WS-Coordination Modifying WS-BA to Enable Coordinated WS-BA for BPEL Discussion and Related Work Including Partners of a BPEL Process in BPEL’s Transaction Model Sub-processes and Externally Initiated WS-BA Transactions Implicit Transaction Termination for Root Activity Proof of Concept Future Work Conclusions References Verifying Composite Service Transactional Behavior Using Event Calculus Introduction Transactional Behavior in Composite Web Services Event Calculus Transactional Web Service Model Transactional Composite Service Model Transactional WS Patterns Event-Based Transactional Behavior Validation A-Priori Checking A-Posteriori Checking Implementation Discussion Matching Cognitive Characteristics of Actors and Tasks Introduction Cognitive Actor Settings Actor Types Cognitive Matchmaker System Characteristic Match Weighed Suitability Match Conclusion The OpenKnowledge System: An Interaction-Centered Approach to Knowledge Sharing Introduction Relevant Literature An Extensive Example Describing the Functionality of the OpenKnowledge System Writing and Publishing an IM Creating and Publishing OKC's Searching for IMs and OKCs Team Formation and Execution Other Examples Summary Ontology Enrichment in Multi Agent Systems Through Semantic Negotiation Introduction HISENE2: A Protocol to Support Semantic Negotiation The HISENE Ontology Enrichment (HOE) Algorithm Conclusions A Relaxed But Not Necessarily Constrained Way from the Top to the Sky Introduction Related Work Distributed Query Processing Introducing Constraints Evaluation Conclusion Collaborative Filtering Based on Opportunistic Information Sharing in Mobile Ad-Hoc Networks Introduction Motivation Spatio-temporal Collaborative Filtering Equivalence to Existing Algorithms Conclusions Policy-Based Service Registration and Discovery Introduction Background Enabling Policy-Based Service Registration and Discovery Policy Information Model Enabling Policy-Based Service Registration Enabling Policy-Based Service Discovery Example Implementation Related Work Conclusion and Future Work Reference Business Process Quality Metrics: Log-Based Complexity of Workflow Patterns Introduction Related Work Log-Based Complexity of Workflow Patterns Workflow Patterns Log-Based Complexity Metrics for Workflow Patterns Aggregating the Complexity of Workflow Patterns Conclusions References Distributed Objects and Applications (DOA) 2007 International Conference DOA 2007 PC Co-chairs’ Message WS-CAF: Contexts, Coordination and Transactions for Web Services Introduction An Overview of WS-CAF Context Management Coordination Transactions Comparison with Other Specifications Conclusions References Resilient Security for False Event Detection Without Loss of Legitimate Events in Wireless Sensor Networks Introduction System Models Sensor Network Model False Event Attack Related Work Problems of a Randomized Key Distribution Mechanism Problems of a Location-Based Key Distribution Mechanism Design Definition of Novel Concepts and Notations Overall Operations Analysis Filtering Effectiveness Resiliency to Compromising Many Nodes Simulation Evaluation Discussion Conclusion Formal Verification of a Group Membership Protocol Using Model Checking Introduction Background Group Membership Protocol UPPAAL Verification Model Basic Model Modeling of Faults Limiting the Size of the State Space Symmetry Reduction Priorities Synchronization Correctness Properties Verification Results Conclusion GMP Protocol Revisiting Certification-Based Replicated Database Recovery Introduction System Model Certification-Based Replication Protocols Recovery Strategies Basic Recovery Two-Stage Recovery Compacting Recovery Combined Recovery Performance Evaluation Statistical Comments Evaluation with Clients Evaluation Without Clients Long-Term Outages Related Work Conclusions A Survey of Fault Tolerant CORBA Systems Introduction Fault Tolerant Approaches Integration Approach Interception Approach Service Approach Reflective Approach Replication Styles Active Replication Passive Replication Overview of FT-CORBA FT-CORBA Architecture Requirements of FT-CORBA Specification Limitations of FT-CORBA Specification Existing Fault Tolerant CORBA Systems Electra Orbix+Isis Eternal DOORS AQuA FTS IRL OGS Newtop Aquarius Pluggable Protocol Framework (PPF) CARRIAGE Lightweight Fault Tolerance (LW-FT) FRIENDS FT-MOP Comparative Analysis Conclusion References Flexible Reuse of Middleware Infrastructures in Heterogeneous IT Environments Introduction Motivation Conventional Integration Solutions Reuse Issues Virtualization Tier VT Architecture Object Configurations VT Processing Reuse of Adapters and Middleware Systems Reuse of Adapters and Adapter Deployments Reuse of Middleware Systems Homogenizing Middleware Infrastructure Related Work Conclusion and Future Work Self-optimization of Clustered Message-Oriented Middleware Introduction Background: Java Message Service (JMS) Clustered Queues Clustered Queue Load-Balancing Configuration of Clients Connections Provisioning A Self-optimizing Clustered Queue Control Rules Algorithm Implementation Details Requirements The Control Loop Evaluation Algorithm Evaluation Related Work Conclusion and Future Work Minimal Traffic-Constrained Similarity-Based SOAP Multicast Routing Protocol Introduction SMP Overview Related Work QoS-Based Routing Overview QoS Multicast Routing QoS-Constrained Multicast Source Routing Hop-by-Hop Routing Algorithms Traffic-Constrained SMP Routing Problem Definition and Notations The Algorithm Example Illustration Heuristic Methods Complexity Analysis Tc-SMP Performance Evaluation Experimental Setup Experimental Results Discussion Conclusion and Future Work Implementing a State-Based Application Using Web Objects in XML Introduction Web Objects in XML (WOX) WOX Design WOX Client Operations Web Browser Interface XML Messages in WOX WOX Server Operation Limitations Case Study The Chart Application Implementation Using RMI Implementation Using SOAP Implementation Using WOX Conclusions and Future Work Experience with Dynamic Crosscutting in Cougaar Introduction Requirements for Dynamic Crosscutting Spectrum of Crosscutting Techniques Service-Oriented Architecture and Components Binders Nested Binders Aspect Interceptors Examples of Dynamic Crosscutting Multicast Traffic Masking Compression Gossip Relative Overhead of Crosscutting Related Works CORBA Based Middleware IONA Adaptive Runtime Technology Byte-Code Manipulation Conclusions References Property-Preserving Evolution of Components Using VPA-Based Aspects Introduction Motivation Extending VPA-Based Aspects for Component Evolution VPA-Based Aspects by Example Pointcut and Advice Operators for Component Evolution Syntax Semantics Preservation of Compositional Properties Related Work Conclusion Multi-stage Aspect-Oriented Composition of Component-Based Applications Introduction Problem Statement The M-Stage Solution M-Stage The M-Stage Component Model AO Composition Model Validation The Elementary Components Composition and Deployment of the Basic Banking Application Evaluation Related Work Conclusion An Eclipse-Based Tool for Symbolic Debugging of Distributed Object Systems Introduction Debugging with Distributed Threads A Distributed-Thread-Based Debugger Representing and Tracking Distributed Threads Interactivity and Synchronicity Node and Link Failures Debugger Architecture and Implementation More on Scalability and Correctness One-Click Launch, and Debugger for Testing Related Work Conclusions and Future Work A Bluetooth-Based JXME Infrastructure Introduction The JXBT Project Design Mobile Peer Implementation Relay Peer Implementation Related Work The $BlueIRC$ Application Performance Evaluation Conclusions and Future Works Agreements and Policies in Cooperative Mobile Agents: Formalization and Implementation Introduction Background and Motivation Cooperative Mobility Problems Agreements on Cooperative Mobility Approach Agreements for Host Usage Agreements for Cooperative Mobility Behavior of Each Agent Implementation Freedia Framework Migration Policy Descriptions Cooperative Mobility Policy Policy Constraints Discussion Related Work Cooperative Mobility Agreements Summary Example of Formal Model in Event Calculus An Adaptive Coupling-Based Algorithm for Internal Clock Synchronization of Large Scale Dynamic Systems Introduction Clock Coupling Model Time Continuous Clock Coupling Time Discrete Coupling with Imperfect Estimates The Clock Coupling Algorithm Empirical Evaluation Simulation Settings Static Scenario with Symmetric Channels Results Static Scenario with Asymmetric Channels Results Dynamic Scenario with Symmetric Channels Results Related Work Concluding Remarks Reviewing Amnesia Support in Database Recovery Protocols Introduction Group Communication System Issues The Amnesia Phenomenon A Generic Solution Amnesia Formalization Considered Recovery Protocols Protocols by Kemme, Bartoli and Babaoǧlu Protocols by Holliday Parallel Recovery by Jiménez, Patiño and Alonso The COLUP Recovery Protocol CLOB: Short-Term Failure Recovery Protocol by Armendáriz Amnesia Support Recovery Observations Version-Based Techniques Log-Based Techniques Conclusions The Conceptualization of a Configurable Multi-party Multi-message Request-Reply Conversation Introduction Related Work Conceptual Background Pattern Family: Multi-party Multi-message Request-Reply Conversation Oracle BPEL PM: A Default Scenario in Action Evaluation of WS-BPEL v2.0 Conclusions Building Adaptive Systems with Service Composition Frameworks Introduction Protocol Composition Frameworks Adaptation Requirements Context Monitoring Reconfiguration Actions Selection of Adaptation Targets Adaptation Support in Existing Composition Frameworks Addressing the Requirements Discussion An Adaptation-Friendly Composition Framework $RAppia$ Basics Service Programming Model Adaptation-Friendly Services Kernel Mechanisms Discussion Conclusions Invasive Patterns for Distributed Programs Introduction Motivation Pattern-Like Structures in JBoss Cache Source Code Representation of Pattern-Like Structures Invasive Patterns in a Nutshell Pattern Language Design Choices Syntax and Informal Semantics Implementation Evaluation JBoss Cache Revisited Qualitative and Quantitative Evaluation Related Work Conclusion and Future Work NSLoadGen– A Testbed for Notification Services Introduction Related Work Notification Services Benchmarking of MOM Proposed Approach Scenario Definition Scenario Simulation Result Collection Architecture and Design High Level Architecture Distributed Testbed Logging Approach Implementation Scenario Definition: Meta Language Scenario Simulation Conclusions and Future Work Ontologies, Databases and Applications of Semantics (ODBASE) 2007 International Conference ODBASE 2007 PC Co-chairs’ Message Towards Next Generation Value Networks Combining the Semantic Web with the Web as Background Knowledge for Ontology Mapping Introduction Related Work Experimental Set-Up Dataset Experiments Measures Architecture of the Model Motivation Using the Web as Background Knowledge Using the Semantic Web as Background Knowledge Combining the Semantic Web with the Web as Background Knowledge Results Combining the Semantic Web with the Web Comparing Hearst Patterns Comparing New Experiments with Previous Work Open Questions Conclusions Discovering Executable Semantic Mappings Between Ontologies Introduction Related Work Framework System Architecture Approach Overview with a Simple Example Matching and Object Reconciliation Basic Name Matching Datatype Property Matching Data Similarity of Datatype Property Pairs Object Reconciliation Object Property Matching Semantic Mapping Rule Mining Matching Groups Generating Mapping Rules Case Study People vs. Person and Employee Ontology Online Sale Databases Conclusion and Future Work Interoperability of XML Schema Applications with OWL Domain Knowledge and Semantic Web Tools Introduction Background XS2OWL Overview The XS2OWL Transformation Model Evaluation of the XS2OWL Model Conclusions – Future Work References Query Expansion and Interpretation to Go Beyond Semantic P2P Interoperability Introduction Preliminary Definitions Query Expansion and Image Based Relevance Relevance in the Context of Unshared Concepts Overview of the Relevance Calculus Interpretation of a SED Preliminary Experiments Conclusion SPARQL++ for Mapping Between RDF Vocabularies Introduction Motivating Examples -- Introducing SPARQL Built-In Functions and Aggregates in Result Forms Nested CONSTRUCT Queries in FROM Clauses Preliminaries -- HEX-Programs Extending $SPARQL$ Towards Mappings Extended Graph Patterns Extended Datasets Semantics Translation to $HEX$-Programs Adding Ontological Inferences by Encoding $\rho$df$^-$ into $SPARQL$ Implementation Related Work Conclusions and Further Work OntoPath: A Language for Retrieving Ontology Fragments Introduction Related Work: Ontology Modularization and Querying Ontology Management System Architecture Ontology Parsing and Storage Approximating DL Expressions Expressivity of Stored and Retrieved Ontologies OntoPath Queries Query Expressions Predicates Query Processing Query Processing Algorithm Experiments and Results Conclusions References Taxonomy Construction Using Compound Similarity Measure Introduction Extracting Semantic Relations Knowledge Rich Methods Knowledge Poor Methods Comparison and Combination of Measures Combination Algorithm Evaluation Related Work Conclusion $r^3$– A Foundational Ontology for Reactive Rules Introduction An Ontology for Reactive Rules Defining Reactive Rule Languages Defining Reactive Rule Constructions Conclusion and Future Work Heuristics for Constructing Bayesian Network Based Geospatial Ontologies Introduction Geospatial Ontologies as Knowledge Representation Tools Ontologies of Geospatial Entities and Actions Probabilistic Ontologies and Stochastic Inferences Ontologies as Bayesian Networks Reasoning Tasks in Bayesian Network Ontologies Case Study: Ontologies from Traffic Code Texts Extraction of Entity Concepts and Action Concepts Heuristics: Linking Entities and Actions Inferences from Linked Ontologies Psycholinguistic Verification Human Subjects Tests Analysis Applications Concept Mapping Within and Across Ontologies Interoperability Between Ontologies Conclusions and Future Work Future Work References OntoCase - A Pattern-Based Ontology Construction Approach Introduction Background Ontologies Ontology Patterns Ontology Engineering Case-Based Reasoning Research Questions Initial Experiments Text Processing for Ontology Learning Pattern Selection and Combination OntoCase OntoCase Outline Pattern Base Retrieval Reuse Future Work - Revise and Retain Summary and Outlook Towards Community-Based Evolution of Knowledge-Intensive Systems Introduction Progress Beyond the State of the Art Single User Ontology Evolution Collaborative Ontology Engineering Towards Community-Based Evolution of Knowledge-Intensive Systems Requirements for Our Framework A Constructivist Approach Modelling of Communities: Norms and Negotiation Design for a Framework DOGMA Ontology Engineering Language Versus Conceptual Level Ontological Commitments Context Dependency Management Community-Based Evolution of an HR Knowledge-Intensive System Defining RCD Maps Defining Occupation Specifications Community-Based Meaning Argumentation and Negotiation Implementation Discussion and Conclusion Templates Internal and External Norms Multi-disciplinary Approach Human-Computer Confluence ImageNotion: Methodology, Tool Support and Evaluation Introduction State-of-the-Art for Semantic Image Annotation Usual Workflow Problems of the Usual Workflow Our Approach: Work Integrated Ontology Development Collaborative and Work Integrated Ontology Development Advantages of Collaborative Ontology Development Requirements for a Collaborative Ontology Development The Ontology Maturing Process Model Related Work The ImageNotion Formalism Definition of an Imagenotion Modeling Ontologies Using Imagenotions The ImageNotion Formalism Reasoning and Querying Imagenotions The ImageNotion Methodology Ontology Maturing with Imagenotions Maturing Processes for Descriptive Information and Relations Overview of the Complete Workflow for Semantic Image Annotation Semantic Annotation of Images Using Imagenotions The ImageNotion Tool User Groups Implementation Creation of New Imagenotions Editing an Imagenotion and Creating Relations Between Imagenotions Semantic Image Annotation Import of Existing Ontologies Evaluation Evaluation Setup Overall Result Detailed View on User’s Interactions Survey of the ImageNotion Tool Discussion Conclusion and Future Work References Optimal Learning of Ontology Mappings from Human Interactions Introduction Background Previous Work Learning from Manual Mappings Research Problem Learning Experiments Machine Learning Employed in FIGO Analysis and Discussion Conclusions and Future Work References Automatic Feeding of an Innovation Knowledge Base Using a Semantic Representation of Field Knowledge Introduction Information Extraction and Word Sense Disambiguation The Innovation Field and Its Operators Project Objective Automatic Feeding System Architecture Working Principle Mapping Between Concepts and WordNet Synsets Temporary Knowledge Base TKB Innovation Knowledge Base IKB Feeding the Innovation Knowledge Base Displaying the Results Experimentations Conclusion and Perspectives Ontology Learning for Search Applications Introduction Ontological Quality Ontology Learning with Unsupervised Keyphrase Extraction Building Project Management Ontologies in STATOIL Ontology-Driven Search Search Quality of Ontologies Related Work Conclusions References MultiBeeBrowse – Accessible Browsing on Unstructured Metadata Introduction Motivations Related Projects Outline of the Paper Browsing on Interconnected Metadata From Searching to Filtering From Filtering to Browsing Zoomable Browsing Context Collaborative Browsing Adaptable Browsing Interface Results Presentation Using Results for Refining Queries Adaptive Concepts Suggestion Accessible Predicates Names Reference Implementation of Accessible Browsing Evaluation Conclusions and Future Work Matching of Ontologies with XML Schemas Using a Generic Metamodel Introduction Related Work The Generic Metamodel $GeRoMe$ Schema Matching in $GeRoMeSuite$ Graph Traversal Strategies Matcher Components Matcher Configuration Evaluation Comparison with COMA++ Effect of Filter Configuration on the Quality Effect of Traversals on the Quality Discussion of the Results Conclusion Labeling Data Extracted from the Web Introduction Related Work Probabilistic Labeling of Anonymous Data Candidate Label Selection Affinity-Based Labeling Selecting Candidate Labels Label Selection Algorithm Speculative Labeling Formulating Speculative Queries The Speculative Labeling Algorithm Experimental Evaluation Effectiveness of Speculative Labeling Impact of Sample Size Cost of Speculative Labeling Candidate Label Selection Label Selection and Assignment Conclusion Data Quality Enhancement of Databases Using Ontologies and Inductive Reasoning Introduction Basic Notions Motivating Example Drug Terminologies Terminology Enrichment Using Inductive Reasoning Transformation into a Description Logic Formalism Enriching the Description Logic Via Induction Ontology Refinement Ontology-Based Detection and Repairing Detection Method Evaluation Application to Other Domains Related Work Conclusion Web Services-Based Annotation Application for Semantic Annotation of Highly Specialised Documents About the Field of Marketing Introduction Related Work Requirements and Approach Overview Requirements Approach Overview Annotation Dublin Core Annotation Thesaurus Annotation Ontology-Based Annotation Evaluation Experimental Results End-Users Feed-Back Conclusions References Ontology Based Categorization in eGovernment Application Introduction Three Types of Categorization Ontology Virtual Class Virtual Object Property Virtual Potential Property Tool Technology Main Methods Conclusion Semantic Matching Based on Enterprise Ontologies Introduction Background The Semantic Matching Approach General Framework Preliminaries Process Steps Document Ranking Ranking Example Conclusions Author Index V. 1. Coopis 2007 International Conference (international Conference On Cooperative Information Systems) -- Distributed Objects And Applications (doa) 2007 International Conference -- Ontologies, Databases And Application Of Semantics (odbase) 2007 International Conference. V. 2. Gada 2007 International Conference (grid Computing, High-performance And Distributed Applications) -- Information Security (is) 2007 International Symposium. Robert Meersman, Zahir Tari (eds.). Includes Bibliographical References And Index. Constitutes the proceedings of the 5 confederated international conferences on Cooperative Information Systems, Distributed Objects and Applications, Ontologies, Databases and Applications of Semantics, Grid computing, high performAnce and Distributed Applications, and Information Security held as OTM 2007 in Vilamoura, Portugal, in November 2007.