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) 9783540768463, 3540768467

Table of contents :
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