On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE 3540482873, 9783540482871

Table of contents :
Title
Organization
Table of Contents
Cooperative Information Systems (CoopIS)
2006 International Conference
CoopIS 2006 International Conference (International Conference on Cooperative
Information Systems) PC Co-chairs’ Message
Keynote
Workflow-Based
Coordination and Cooperation in a Service World
Introduction
Service Composition Models
The Notion of Services and Composition
Composition Taxonomy
Orchestration
Workflow-Based Composition
BPEL and Its Extensibility
Orchestration vs. Choreography
Coordination
Abstract Coordination Model
Use of Coordination
Subprocesses
Process Lifecycle as Coordination Type
Calling a Subprocess
Splitting Processes
Outsourcing Process Fragments
Resulting Coordination Needs
Human Tasks in Orchestrations
People Links
Tasks
Semantic Processes
Semantic Web Services
Semantics in Orchestrations
Conclusion
Summary
Future Work
References
Distributed Information Systems I
Distributed Triggers for Peer Data Management
Introduction
Motivating Example
Distributed Triggers
Models
Local Update Model
Remote Update Model
Distributed Trigger Language
Processing Distributed Triggers
Execution Semantics
Detached AFTER Triggers
Termination Protocol
Acquaintance Protocols
Acquaintance Tracking and Peer Markers
Preliminary Implementation Results
Related Work
Conclusions
References
Satisfaction-Based Query Load Balancing
Introduction
Motivating Scenario
Satisfactory Query Load Balancing Problem
Satisfaction-Based Query Allocation
Providers Characterization
Satisfaction-Based Query Load Balancing
Metrics
Satisfaction Balance Metrics
Query Balance Metrics
Experimental Validation
Baseline QLB Approaches
Setup
Performance Results
Providers’ Utilization Results
Providers’ Satisfaction Results
Related Work
Conclusion
References
Efficient Dynamic Operator Placement in a
Locally Distributed Continuous Query System
Introduction
Problem Formulation and Analysis
Problem Formulation
Problem Analysis
Related Work
System
Design
Initial Placement of Operators
Partner Selection Strategy
Information Collection Strategy
Load Balance Decision Strategy
Load Selection Strategy
A Performance Study
Partner Selections
Load Selection Heuristics
Conclusion
References
Distributed Information Systems II
Views for Simplifying Access
to Heterogeneous XML Data
Introduction
Example Application Scenario and Motivation
The XyView Model
From Physical to Logical Data Views
From Logical to User Data Views
Translating User Queries
Deeper Inside XyView
Duplicates and Data Loss
View Customization
The XyView System
Related Work and Conclusion
References
SASMINT System for Database Interoperability in
Collaborative Networks
Introduction
Related Work
Examples of Structural and Linguistic Conflicts
The Proposed Approach of SASMINT
Schema Matching
Schema Integration
Conclusion
References
Querying E-Catalogs Using Content Summaries
Introduction
Related Work
Multi-Attribute Content Summary
Catalog Selection Using MAC Summary
Query Relationships
E-Catalog Selection
Building and Updating MAC Summary
MAC Summary Update
Building Catalog Summary
Experiments
Building of MAC Summary
Evaluation of E-Catalog Selection
Conclusion and Future Work
References
Workflow Modelling
WorkflowNet2BPEL4WS: A Tool for Translating
Unstructured Workflow Processes to Readable BPEL
Introduction
BPEL
WF-Nets
WorkflowNet2BPEL4WS
Evaluation Using 100 ProtosModels
Outline
Related Work
Mapping WF-Nets to BPEL
Implementation
Evaluation
Conclusion and Future Work
References
Let’s Dance: A Language for Service Behavior
Modeling
Introduction
Requirements and Related Work
Language Overview
Interaction Patterns in Let’s Dance
Meta-model and Informal Semantics
Conclusion and Future Research Directions
References
Dependability and Flexibility Centered Approach for
CompositeWeb Services Modeling
Introduction
Motivating Example and Key Requirements
Illustrative Example Description
Limitations of aWorkflow-Like Composition
Motivating Scenarios
CompositeWeb Service Specification Model
Model Salient Features Description
Definition Rules (DR) Determination
Composability Rules (CR) Determination
Ordering Rules(OR) Determination
Aggregation Patterns
Illustrative Example
Rules Determination
Formalization
Scenarios Feasibility Verification
Discussion
Related Work
Conclusion
References
Aspect-Oriented Workflow Languages
Introduction
Workflow Languages
The WFMC Workflow Meta-model
A Basic Workflow Language
Crosscutting Concerns in Workflows
Data Validation
Security
Crosscutting Changes and Change Modularity
Aspect-Oriented Workflow Languages
Aspect-Oriented Programming
Concern-Based Decomposition of Workflow Specifications
Examples of Workflow Aspects
Related Work
Conclusion
References
Workflow Management and Discovery
A Portable Approach to Exception Handling in
Workflow Management Systems
Introduction
Related Work
Business Process Modelling and XPDL
Handling Workflow Exceptions
The Chimera-Exception Language
Modelling ECA Rules in XPDL
The Rationale for Macros
ECA Macro Elements
Basic Connector Macros
Supporting Chimera-Exception Expressions
Basic Sub-processes for Expression Evaluation
Expression Patterns
Mapping Exceptions to XPDL
Mapping Events
Mapping Conditions
Mapping Actions
Compiling Chimera-Exception into XPDL
XPDL Process Modelling and Rule Compilation
Conclusions and Future Work
References
Methods for Enabling Recovery Actions in
Ws-BPEL
Introduction
Ws-BPELRecoveryMechanisms
Enhancing Design Capability
Proposed Mechanisms
External Variable Setting
Timeout
Redo Mechanism
Future Alternative Behavior
Rollback and Conditional Re-execution of the Flow
Harmonizations of Proposed Mechanisms
Related Work
Conclusion and Future Work
References
BPEL Processes Matchmaking for Service Discovery
Introduction
Motivating Scenarios
Related Work
A Graph-Based Approach to Behavior Matchmaking
Background and Basic Definitions
Extension of the Sub-graph Edit Distance
Similarity Measure for Behavioral Matching
Composing Fragments to Match the Input Graph
BPEL Processes Matchmaking
Transforming BPEL to Graph
Graph Matchmaking
Comparison Rules
Linguistic Comparison
Decomposing Vertices
Example
Implementation and Experiments
Conclusion
References
Evaluation of Technical Measures for
WorkflowSimilarity Based on a Pilot Study
Introduction
Related Work
Pilot Study
FormalWorkflow Model
Questionnaire
Results
Mining Conformance Based Similarity Measures
Overview Approach
Evaluation
Workflow State Set Based Similarity Measure
Approach
Evaluation
Workflow State List Based Similarity Measure
Approach
Evaluation
Conclusion and Future Work
References
Dynamic and Adaptable Workflows
Evolution of Process Choreographies in
DYCHOR
Introduction
Practical Scenario
Process Choreographies
Overview
Formal Model
Public Process Generation
View Generation
Process Choreography Evolution
Change Framework
Propagation Criterion and Invariant Changes
Selected Evolution Scenarios
Invariant Additive Change
Variant Additive Changes
Implementation Issues
Related Work
Conclusion and Future Work
References
Worklets: A Service-Oriented Implementation of
Dynamic Flexibility in Workflows
Introduction
Achieving Flexibility Through Worklets
The Worklet Custom Service for YAWL
Worklet Service Architecture
Process Definition
Context and Worklet Selection
Related Work
Conclusion and Future Work
References
Change Mining in Adaptive Process
Management Systems
Introduction
Process Optimization by Integrating Process Mining
and Adaptive Process Management
Process Mining
Integration Framework
Change Logs
General Change Framework
The MXML Format for Process Event Logs
Mapping Change Log Information to MXML
Mining Compact Change Processes
A Characterization of Change Logs
Commutative and Dependent Change Operations
Mining Change Processes
Implementation and Tool Support
Related Work
Summary and Outlook
References
Services Metrics and Pricing
A Link-Based Ranking Model for Services
Introduction
Related Work
A Link-Based Service Importance Model
Service Quality Contribution Scores
Service Usage
Effective Contribution and Importance
Computing Importance
Synchronous Distributed Computation
Asynchronous Distributed Computation
Experimental Evaluation
Service Graph Generation
Experimental Results
Conclusion
References
Quality Makes the Information Market
Introduction
Background
A Model of Quality
Quality as Excellence
Quality and Desirability
Operationalizing Quality
Uncertainty in Quality Assessment
Linguistic Variables
Quality Measurement
Accuracy of Measurements
Interpretation of Measurements
Example Quality Assessment System
Conclusions and Future Research
References
Bid-Based Approach for Pricing Web Service
Introduction
Related
Work
Model and Problem Definition
Upper Bounds
Studying the Offline Problem
Studying the Online Problem
Upper Bounds Summary
Online Scheduling with Private Information
Bid-Based Algorithm HBF
Early Strategic Deadline First Algorithm (EsDF)
Experiments and Results
Simulation Setting
Results
Conclusion
References
Formal Approaches to Services
Customizable-Resources Description,
Selection, and Composition: A Feature Logic Based Approach
Introduction
Motivation
Notion of Set
Notion of Feature
Notion of Feature Unification
Framework Description
Feature Logic: Syntax and Semantics
Customizable-Resources Description
Customizable-Resources Selection
Customizable-Resources Composition
Related Work
Conclusion and Future Work
References
Defining and Modelling Service-Based
Coordinated Systems
Introduction
The Main Concepts of MEO
Coordination Activity
Coordination Scenario
Constraint
Coordination Strategy
Ordering
Firing
Data Dependency
Security Strategy
Integrity
Authentication
Authorisation
Non Repudiation
Safety
Execution Policies
Related Work
Conclusion
References
Web Service Mining and Verification of
Properties: An Approach Based on Event Calculus
Introduction
Running Example
Log-Based Verification
Formal Specification of Composition Properties
Formulating Properties: The EC Language
Web Service Logging
Web Service Collecting Solutions and Web Mining Log
Structure
Existing Logging Solutions
Advanced Logging Solutions
Verifying Properties
The EC Checking
Implementation Issues
Related Work
Conclusion and Future Directions
References
Trust and Security in Cooperative IS
Establishing a Trust Relationship in Cooperative
Information Systems
Introduction
Context and Motivation
Message-Based Mutual Attestation Protocol
Review of Message-Based Mutual Attestation Protocol
Performance Analysis
Security Analysis
Session-Based Mutual Attestation Protocol
First Phase: Establishing a Trusted Session
Second Phase: Session Maintenance and Termination
Security Analysis
Performance Analysis
Related Work
Conclusions
References
A Unifying Framework for
Behavior-Based Trust Models
Introduction
Our Approach Towards a Unifying Framework
Representation of Behavior-Specific Knowledge
Overview of Behavior-Specific Knowledge
Aspects of Behavior-Specific Knowledge
Defining the Representation of Notions Behind
Behavior-Specific Knowledge
Defining a Query Algebra for Trust
Conventional Extensions to the Relational Algebra
Centrality
Preliminary Experimental Results
Conclusions and Future Work
References
A WS-Based Infrastructure for Integrating
Intrusion Detection Systems in Large-Scale Environments
Introduction
Related Work
Web Services Composition
Intrusion Detection in Large-Scale Environments
Infrastructure for IDS Composition
Support Services for IDS Composition
Registry and Search Service
Security Service
Service Orchestration
Experiments
Implemented Composition
A Generic Procedure for Composition
Tests with the Prototype
Concluding Remarks
References
P2P Systems
An Adaptive Probabilistic Replication Method for
Unstructured P2P Networks
Introduction
Our Framework and Overview of APRE
Probabilistic Resource Location
Probabilistic Search
Utilizing Search Indices
Our “Expand-Contract” Technique
Protocol Implementation
Results
Basic Performance Comparison
Flash Crowds
Other Experiments
Related Work
Conclusions
References
Towards Truthful Feedback in P2P Data Structures
Introduction
Background
Measures Against Spoof Feedback
Analysis
Evaluation
Related Work
Discussion
Conclusions
References
Efficient Peer-to-Peer Belief Propagation
Introduction
Belief Propagation
The Message Passing Algorithm
The P-Grid Overlay
Peer-to-Peer Belief Propagation
Distributed Knowledge Base Scenario
The Inference Architecture
The Relaxation Algorithm
Evaluation
Network Topologies
Message Reduction
Load-Balancing
Discussion
Related Work
Belief Propagation
Spring Relaxation
Future Work
Conclusions
References
Collaborative Systems Design and Development
Designing Cooperative IS:
Exploring and Evaluating Alternatives
Introduction
SDS System Example
Exploring and Evaluating Alternatives
Formalization of the Planning Problem
Evaluation Procedure
P-Tool and Experiments
Choosing the Planner
P-Tool
Related Work
Conclusions
References
Natural MDA: Controlled Natural Language for Action
Specifications on Model Driven Development
Introduction
Model Driven Architecture
Action Specification Languages
Controlled Natural Languages
Natural MDA: An Action Specification Language
Action Specification Language Grammar
Language Supporting Tools
Syntactic and Semantic Analyzer and Synthesis
Language Editor
Development Process
Application Example
Evaluation
Conclusion
References
Managing Distributed Collaboration in a
Peer-to-Peer Network
Introduction
U-Forms and the Visage Collaboration Model
A Brief History of the U-Form Style
Some General Observations About U-Form Usages
Design and Engineering Issues and Background
Shepherd Agents, Version Vectors, and Conflict Recognition
Shepherdable Indexes
Digital Signatures, Security, and Trust
Collaborative Structures
The Carrier Pigeon Protocol
Collections and Recursive Collections
The Publication and Annotation Mechanism
A Comprehensive Application: Collaborative,
Distributed GIS
Conclusion
References
Collaborative Systems Development
Developing Collaborative Applications
Using Sliverware
Introduction
Motivation and Problem Definition
Sliverware: A Constructive Programming Model
Collaborative Services
Group Membership
Network Communication for Collaboration
Programming with Sliverware
An Example Sliver: The Distributed Keyboard
Related Work
Conclusions
References
A Framework for Building Collaboration Tools
by Leveraging Industrial Components
Introduction
Related Work
A Model of Groupware Components
Modeling Shared Data
Java Embodiment
Runtime System of EXEC
Transforming Industrial Components
Experience and Framework Evaluation
Automatic and Manual Adaptation
Building and Adapting Components
An Integrated Evaluation Environment
Discussions of Work and Benefits
Conclusions
References
Evaluation of a Conceptual Model-Based Method for
Discovery of Dependency Links
Introduction
Conceptual Model-Centric Cooperative IS Development
Overall Method
Conceptual Model-Based Dependency Discovery
Evaluation Model and Experimental Settings
Experimental Settings
Dependent Variables
Results of Experiment
Analysis and Discussion
Cause Analysis
Related Work
Threats to Validity
Conclusions and Future Work
References
Cooperative IS Applications
Advanced Recommendation Models for Mobile
Tourist Information
Introduction
Background
Recommendation Paradigms
TIP Background
Concepts of Advanced Recommendation Models
Design of Recommendation Algorithms
Terms and Definitions
Design of Algorithms Using Collaborative Filtering
Design of Algorithms Using Content-Based Paradigm
Design of Algorithms Using Knowledge-Based Paradigm
Design Summary
Evaluation and Analysis
Qualitative Evaluation
Quantitative Evaluation
Conclusion
References
Keeping Track of the Semantic Web: Personalized
Event Notification
Introduction
Background and Project Focus
Brief Introduction to Semantic Web and RDF/S
Problem Description
Principles of Event Notification
Conceptual Design
Repository
Observer
Profile Store/Index
Filter
Notifier
Implementation of $ENS-SW$
Evaluation
Observer (DeltaAdapter) Testing
Filter Testing
Conclusions and Future Work
References
A Gestures and Freehand Writing Interaction Based
Electronic Meeting Support System with Handhelds
Introduction
Related Work
Design Principles
Meeting System Structure
System Description
Annotations and Sketching
Conceptual Map Building and Navigation
Collaborative Process
System Achitecture
First Usability Testing and Analysis
Conclusions
References
Ontologies, Databases and Applications of Semantics (ODBASE) 2006 International
Conference
ODBASE 2006 International Conference(Ontologies, Data
Bases, and Applications of Semantics) PC Co-chairs’ Message
Keynote
SomeWhere: A Scalable Peer-to-Peer
Infrastructure for Querying Distributed Ontologies
Overviewof SomeWhere
Illustrative Example
Query Rewriting in SomeWhere Through Propositional
Encoding
Ongoing Work
Extending the Data Model to RDFS
Dealing with Inconsistencies
References
Foundations
Querying Ontology Based Database Using
OntoQL (An Ontology Query Language)
Introduction
The OBDB Data Model
Ontology
Content
Relationship Between Each Part
Related Work
Query Algebra for OBDB
Optimizations of OntoAlgebra’s Operators
The OntoQL Language
The Data Definition (DDL) and Manipulation (DML) Parts of
OntoQL
The Query Language Part of OntoQL
Processing of OntoQL
Example
Related Work
Database Exploitation Languages
Semantic Web Exploitation Languages
Conclusion
References
Description Logic Reasoning with Syntactic Updates
Introduction
Preliminaries
SHOIQDescription Logic
Tableau Algorithms
Syntactic ABox Updates
Update Approach
ABox Additions
ABox Deletions
Update Algorithm
Implementation and Evaluation
Discussion and Future Work
Related Work
Conclusion
References
From Folksologies to Ontologies: How the Twain Meet
Introduction
Bridging the Gap
Structure of the Paper
Emerging Semantics: From Theory to Systems
Characteristics of Emergent Semantics Systems
Natural LanguageWords vs. Language Independent Concept Labels
Informal vs. Formal Semantics
A Bag of Loose Words vs. a Well Structured Semantic Network
Effort at Creation Time vs. Effort at Usage Time
Individual Creation Decision vs. Group-Wise Creation Agreement
The (Unbearable?) Lightness of Being a Tag Creator vs. the Authoritative
Weight of a Relevant Stakeholder
Implementing an Emergent Semantics System
Del.icio.us
Piggy Bank
DOGMA
DogmaBank
Related and Future Work
Conclusion
References
Transactional Behavior of a Workflow Instance
Introduction
Related Work
Preliminaries
Basic Concepts
A Brief Description of the Flexibilization Mechanism
Processes, Resources and Application Ontologies
Transactional Model for Flexible Workflow Execution
Abstract Machine Without the Flexibilization Mechanism
Abstract Machine Extended with the Flexibilization Mechanism
Conclusions
References
Metadata
An Open Architecture for Ontology-Enabled
Content Management Systems: A Case Study in Managing Learning Objects
Introduction
Related Work
Requirements and Design Criteria of an
Ontology-Enabled CMS
Requirements
Design Criteria
An Open Architecture for Ontology-Enabled CMS
The Web Interface Layer
The Semantic Content Management Layer
The Core Layer
The Data Management Layer
A Reference Implementation in Java
The Java-Based Implementation Platform
The WOICMS Implementation
Developing the Learning Object Ontology
Ontology-Assisted Navigation
Ontology-Integrated Search
Summary and Future Work
References
Ontology Supported Automatic Generation of
High-Quality Semantic Metadata
Introduction
Approach
Ontology Formalism
Semantic Metadata Model
Semantic Annotation Steps
Information Extraction
Initial Semantic Metadata Generation
Metadata Extension Using Heuristic Rules
Metadata Extension Algorithm
Evaluation
Document Collection
Domain Ontology
Heuristic Rules
Evaluation Methodology
Results
Related Work
Conclusion and Outlook
References
Brokering Multisource Data with Quality
Constraints
Introduction
2 A Quality-Oriented Architecture to Query Multi-source
Data
The DTA: The Broker Cannot View Data Values
The DVA: The Broker Can View Data Values
The Data Quality Brokering Methodology
Experimental Results
Data Accuracy Heterogeneity vs. Data Cleaning Analysis
Data Accuracy Heterogeneity and Merging
Fraction of Records and Merging
Related Work
Conclusions and Future Work
References
Design
Enhancing the Business Analysis Function with
Semantics
Introduction
Background
Business Case
Requirements
General
Scenario Development
Methods
Linguistic Analysis
The GATE Linguistic Engineering Framework
Ontology Modelling
The DOGMA Ontology Engineering Framework
Proposed Solution
Prototype Development
Preliminary Evaluation
Related Work
Conclusion
References
Ontology Engineering: A Reality Check
Introduction
Related Work
Analytical Surveys
Empirical Studies
Ontology Engineering in a Nutshell
Our Survey
Survey Overview
Survey Design
Survey Results
Discussions of the Results
Summary and Outlook
References
Conceptual Design for Domain and Task Specific
Ontology-Based Linguistic Resources
Introduction
Conceptual Design of LR Using RDB
Some Common Problems in LR
Application-Oriented LR
Methodological Gaps in the Development of LR Using RDB
Refining the Semantics of Concepts and Relations
Properties of Concepts
Relations
Algebraic Properties of Relations
Intrinsic Properties of Relations
Designing the Conceptual-Semantic Level for a LR
Conclusions
References
Ontology Mappings
Model-Driven Tool Interoperability:
An Application in Bug Tracking
Introduction
Motivating Example
Tool Heterogeneity
Models
Tool Heterogeneity
Metamodel Extensions for Tool Interoperability
Interpreting Tool Heterogeneity
Match Operation
Generic Transformation Pattern
Experimental Validation
Correspondence Model
Interpreting the Correspondence Model
Discussion
Related Work
Conclusions
References
Reducing the Cost of Validating Mapping Compositions
by Exploiting Semantic Relationships
Introduction
Background
Mapping Representation
Invert and Compose Operators
Experimental Evaluation
Future Work and Conclusions
References
Using Fuzzy Conceptual Graphs to Map
Ontologies
Introduction
Backgrounds
Fuzzy Set Theory
Fuzzy Conceptual Graphs
A Syntactic Relevance Score for Fuzzy Matching of
Values
Using Conceptual Graphs for Fuzzy Matching of
Objects
Preliminary Experimentations
Conclusion
References
Formalism-Independent Specification of
Ontology Mappings – A Metamodeling Approach
Motivation
Ontology Mapping Formalisms
A Metamodel for Ontology Mappings
A UML Profile for Ontology Mappings
Discussion
References
Information Integration
Virtual Integration of Existing Web Databases
for the Genotypic Selection of Cereal Cultivars
Introduction
The CEREALAB Domain
The MOMIS Integration Methodology
The ODLI3 Language
Insertion of Pre-existing Ontology / Wrapping: Extracting
Data Structure for Sources
Semi-automatic Annotation of a Local Source with WordNet
Common Thesaurus Generation
Global Virtual View (GVV) Generation
Mapping Refinement
The MOMIS Query Manager
Query Rewriting
Local Queries Execution / Fusion and Reconciliation
Query on Multiple Global Classes
Summary and Discussions
References
SMOP: A Semantic Web and Service Driven Information
Gathering Environment for Mobile Platforms
Introduction
System Overview
General Architecture
Mobile Client
The Server
Platform Services
System Extensibility from Domain Independency Perspective
Case Study and Evaluation
Related Work
Conclusion and Future Work
References
Integrating Data from the Web by Machine-Learning
Tree-Pattern Queries
Introduction
Background
MaximalWeight Generalization
Evaluation
Related Work
Conclusion
References
Agents
HISENE2: A Reputation-Based Protocol for
Supporting Semantic Negotiation
Introduction
Related Work
Preliminaries
JADE (Java Agent DEvelopment Framework)
Extended Ontology
Reputation-Based Partitioning
Semantic Message
Agent Reputation
The HISENE2 Protocol
Request Behaviour
Answer Behaviour
Feedback Behaviour
Exploitation of the Context
Example
HISENE
HISENE2
Evaluation of the Approach
Conclusions
References
An HL7-Aware Multi-agent System for
Efficiently Handling Query Answering in an e-Health Context
Introduction
Description of the Proposed System
Health Care Service Provider Database (SD)
Patient Profile Database (PD)
Patient Agent (PA)
Health Care Service Provider Agent (SPA)
Coordinator Agent (CA)
Related Works
Conclusions
References
PersoNews: A Personalized News Reader Enhanced by
Machine Learning and Semantic Filtering
Introduction
Related Work
Machine Learning Framework
System Implementation
Automatic News Classification
Feed Manipulation and Monitoring
Semantic Filtering Through Topic Manipulation and Monitoring
Conclusions and Future Work
References
Contexts
An Ontology-Based Approach for Managing and
Maintaining Privacy in Information Systems
Introduction
Related Works
Platform for Privacy Preferences
Resource Access Decision
Access Control List
Digital/Private Rights Management
Rights Management Languages
Web Service Policies in OWL-DL
Our Approach
Privacy Manager
Data Protection Officer
XACML
Implementation
Conclusions
References
Ontology-Based User Context Management:
The Challenges of Imperfection and Time-Dependence
Introduction
Usage Scenario
Scenario
Use Cases
Requirements
Layered Context Model
General Considerations
Internal Layer
Logical
Model
Mapping the Internal Layer to the Logical Layer
The Problem of Asynchronous Notification
External Layer and Mapping from the Logical Layer
Resulting System Architecture
Integrating Ontologies
Motivation
Approach
Implementation Case Study
How the User Context Management Infrastructure
Was Implemented
How User ContextWas Used
How User ContextWas Acquired
Results
Related Work
Context
Modeling
Imperfection Handling in Context Modeling
Imperfection Handling in Data
Management in General
Conclusions and Outlook
References
Moving Towards Automatic Generation of Information
Demand Contexts: An Approach Based on Enterprise Models and Ontology Slicing
Introduction
Context-Based Information Demand Modeling
Information Demand Context
Deriving Information Demand Context from Enterprise Models
Example Model Used for Automatic Context Derivation
An Ontology-Based Approach to Context Derivation
Ontology Based on Enterprise Model
Resulting Information Demand Context
Conclusions and Outlook
References
Similarity and Matching
Semantic Similarity of Ontology Instances Tailored on
the Application Context
Introduction
Semantic Similarity Method
Context Layer
Motivation Behind the Application Context Formalization
Application Context Formalization
Ontology Layer
External Similarity
Extensional Similarity
Experiment and Evaluation
Related Work
Conclusions and Future Work
References
Finding Similar Objects Using a Taxonomy:
A Pragmatic Approach
Introduction
Information-Theoretic Similarity
Holistic Similarity
Generic Similarity
Related Work
Implementation
User-Defined Types
Precomputation
Experimental Evaluation
Measures Evaluated
Results
Discussion
Candidate Selection
Conclusions and Future Work
References
Towards an Inductive Methodology for Ontology
Alignment Through Instance Negotiation
Motivation
Related Work
GLUE
PROMPT Suite
APFEL
Ontology Alignment Algorithm
Machine Learning in Description Logic
Prototype Description and Preliminary Evaluation
Artificial Ontologies
Ontology Alignment Evaluation Initiative Ontologies
ACM and DBLP Test Case
Conclusions and Future Work
References
Combining Web-Based Searching with Latent Semantic
Analysis to Discover Similarity Between Phrases
The Problem
Organization of the Paper
Developing Requirements
What Causes Alignment Problems?
Requirements
Related Work
Synonym Matching Approaches
Ontology Alignment
Requirements Table
The Algorithm
Data
Sets
Ontology Data
Synonym Data Sets
Algorithm Parameters
Setting the Parameters
Experiment Results
Ontology Test
Synonym Tests
Recommendation Test
Discussion of Results
Limitations
Conclusions and Future Work
References
A Web-Based Novel Term Similarity Framework
for Ontology Learning
Introduction
Related Work
WebSim: A Simple Mutual Information Approach
WebSim: A Similarity Model Based on Feature
Extraction
Feature Extraction
A Similarity Model Based on Extracted Features
Ontology Modification with WebSim
Semantic Similarity Versus WebSim
Potential Applications of WebSim
Conclusion and Future Work
References
Author Index