The Semantic Web

Name: The Semantic Web | Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011, Proceedings
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011, Proceedings

Jeff Z. Pan Huajun Chen Hong-Gee Kim Juanzi Li Zhe Wu Ian Horrocks Riichiro Mizoguchi Zhaohui Wu(Herausgeber*in)

Springer (Verlag)

Erschienen am 2. Juni 2012

XIII, 436 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-29923-0 (ISBN)

53,49 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

Title
Preface
Organization
Table of Contents
A Method of Contrastive Reasoning with Inconsistent Ontologies
Introduction
Motivation
Simple Example
Structure and Contributions of This Paper
Formalization of Contrastive Reasoning
Nonstandard Entailment for Inconsistent ontologies
Contrastive Answers
Computing Contrastive Answers
The PION Approach
The CRION Approach
Implementation and Evaluation
Implementation
Evaluation
Discussion
Related Work
Conclusions and Future Work
References
Parallel ABox Reasoning of EL Ontologies
Introduction
Preliminary
The ELHR+ and ELH,R+ DLs
Parallel TBox Classification of ELHR+ Ontologies
Technical Challenges: Parallel ABox Reasoning
Approach
TBox Completion Rules
ABox Completion Rules
Parallel Algorithms
Cascading Processing
Evaluation
Conclusion
References
RP-Filter: A Path-Based Triple FilteringMethod for Efficient SPARQL Query Processing
Introduction
Related Work
Preliminary
RP-Filter
Requirements of RP-Filter
Definition of RP-Filter
Storage Model of RP-Filter
Query Evaluation Using RP-Filter
RPFLT Operator
Generating an Execution Plan with RPFLT Operators
Experimental Results
RP-Filter Size
Query Execution Time
Conclusions and Future Work
References
Constructing Virtual Documents for Ontology Matching Using MapReduce
Introduction
Preliminaries
Problem Statement
MapReduce
Related Work
Constructing Descriptions
Descriptions of Entities
Descriptions of Blank Nodes
Exchanging Information with Neighbors
Matching Virtual Documents
Evaluation
Datasets
Experimental Results
Conclusion
References
Semantic Flow Networks: Semantic Interoperability in Networks of Ontologies
Introduction
Related Work
Preliminaries
Processing Ontology Mappings
Constraints over Mappings
Semantic Flow Networks
Mapping Discovery Strategies in a SFN
Mapping Existence
Optimal Mapping Selection
Some Complexity Results
A Constraint Satisfaction Problem Formulation
Conclusions
References
Building a Large Scale Knowledge Base from Chinese Wiki Encyclopedia
Introduction
Preliminary
Related Definitions
Hudong
Ontology Extraction
Concept Extraction
Property Extraction
Instance Extraction
Extract Instances and Descriptions
Link Entities to DBpedia Entities
Results
Dataset
Extracted Knowledge Base
Related Work
Conclusion
References
Dynamic Is-a Hierarchy Generation System Based on User's Viewpoint
Introduction
Dynamic Is-a Hierarchy Generation According to Viewpoints
Ontology Representation in Hozo
Dynamic Is-a Hierarchy Generation through Transcription of a Hierarchical Structure
Examples of Dynamic Is-a Hierarchy Generation
Ontological Consideration on Generated Is-a Hierarchies
Three kinds of Is-a Relationship
Consistency of Is-a Relationships
Implementation
Application of Dynamic Is-a Generation to a Medical Ontology
Related Work
Concluding Remarks
References
Mid-Ontology Learning from Linked Data
Introduction
Mid-Ontology Learning Approach
Data Collection
Predicate Grouping
Mid-Ontology Construction
Implementation
Experimental Evaluation
Experimental Data
Evaluation of Data Reduction
Ontology Evaluation
Evaluation with a SPARQL Example
Characteristics of Integrated Ontology Predicates
Discussion
Related Work
Conclusion and Future Work
References
An Ontological Formulation and an OPM Profile for Causality in Planning Applications
Introduction and Motivations
The Ontological Formulation of the Planning Problem
Planning Metamodel
An OWL 2 Formulation of the Planning Metamodel
Modelling Conditions in Planning Rules
The Planning Causality as an Open Provenance Model
Mapping the Planning Metamodel to OPMV
Completion Rules and Inferences
Automated Checking of Causality in Planning Models
Model Completeness and Action Reachability
Constraint Checking
Applying Our Approach to Simulation Learning
Related Work
Conclusions
References
A New Matchmaking Approach Based on Abductive Conjunctive Query Answering
Introduction
Preliminaries
OWL 2 and DLP
Conjunctive Query Answering
The Abductive CQA Problem
A Method for the Abductive CQA Problem
Experimental Evaluation
Conclusion and Future Work
References
GeniUS: Generic User Modeling Library for the Social Semantic Web
Introduction
Related Work
GeniUS: A Generic Library for Topic and User Modeling
Architecture of GeniUS
Domain-Specific User Profile Construction Using GENIUS
Analysis of Domain-Specific User Profile Construction
Data Collection
Results
Evaluation of Domain-Specific User Profile Construction for Recommendation Systems
Experimental Setup
Results
Conclusion
References
Enhancing Source Selection for Live Queries over Linked Data via Query Log Mining
Introduction
Overview of Source Selection
Query Relevant Sources
Source Selection
Summarizing Source Information
Mining Frequent BGPs from Query Logs
Selecting Sources from Summaries
Evaluation
Experimental Setup
Results and Analysis
Related Work
Conclusion and Future Work
References
Semantic Caching for Semantic Web Applications
Introduction
Preliminaries
Notions and Definitions
SPARQL Query Evaluation
Principles and Mechanism
AET Based Caching
Entity Caching
Implementation
Evaluation
Evaluation Metrics
Experiment Setup
Evaluation Result
Conclusion and Future Work
References
Evaluating Graph Traversal Algorithms for Distributed SPARQL Query Optimization
Introduction
The Evaluation Framework
Design of the Evaluation Framework
Graph Traversal Algorithm for Distributed SPARQL Query Optimization
Graph Traversing Algorithms
Distributed SPARQL Processing Evaluation Strategy
Decomposition Strategy
Implementation
Evaluation
Configuration of the Evaluation Environment
Evaluation Results
Analysis
Discussion and Future Work
References
BipRank: Ranking and Summarizing RDFVocabulary Descriptions
Introduction
Problem Statement
Salience Measurement
Centrality-Based Salience
BipRank: Centrality within a Bipartite Graph
Patterns of RDF Sentences
Vocabulary Summarization
Goodness of a Vocabulary Summary
Metrics
Notes on Implementation
Experiments
Evaluation of Salience Measures
Evaluation of Vocabulary Summaries
Performance Testing
Related Work
Vocabulary Summarization: Extracting RDF Sentences
Vocabulary Summarization: Identifying Key Terms
Keyword Search on Graphs
Conclusions and Future Work
References
Operational Semantics for SPARQL Update
Introduction
Background and Motivation
A Case for an Operational Semantics for SPARQL Update
A Comparison of SPARQL Update to This Work
A Concise Abstract Syntax
Syntactic Conventions
A Syntax for RDF Data
A Syntax for Constraints
A Syntax for Updates
Abbreviations for Common Updates
An Equivalence over RDF Terms
A Structural Congruence
A Commitment Relation for Updates
The Delete Axiom
The Insert Axiom
The Join Rule
The Select Literal Rule and Select URI Rule
The Choose Left Rule and Choose Right Rule
The Filter Axiom
The Rules for Iterated Updates
The Context Rule for Unused Data
The Blank Node Rule for Updating Local Names
An Example of a Nested Update
Related Work
Conclusion
References
Knowledge-Driven Diagnostic System for Traditional Chinese Medicine
Introduction
Medical Ontology Modeling
WenBing Domain Ontology
Basic Theory of Febrile Disease
Terminology and Assertions
Modeling Syndrome Classification
TCM Diagnostics
Medical Scenario
Conclusions
References
LODDO: Using Linked Open Data Description Overlap to Measure Semantic Relatedness between Named Entities
Introduction
Related Work
Methodology
LOD Index Builder
Semantic Relatedness Measuring
Experiments
Experimental Setup
Description Overlap Strategy Comparison
Semantic Relatedness Measuring Performance
LOD Data Source Selection
Conclusion
References
What Should I Link to? Identifying Relevant Sources and Classes for Data Linking
Introduction
Motivation
Scenarios and Requirements
Overview of the Approach
Selecting Relevant Data Sources Using Keyword Search Services
Finding Potentially Relevant Sources
Using Ontology Matching Techniques to Filter Out Irrelevant Results
Identifying Relevant Classes in the Dataset
Experiments
Dataset Search
Finding the Best-Fitting Class
Related Work
Conclusion
References
Interacting with Linked Data via Semantically Annotated Widgets
Introduction
Running Example
A Framework for Data Publishing in RDFa
Widget Generation
Widget Deployment
Widget Usage
Data Reuse
The ActiveRaUL System
ActiveRaUL RESTful Web Service
ActiveRaUL Client-Side JS API Processing
Evaluation
Related Work
Conclusion and Future Work
References
RDFa2: Lightweight Semantic Enrichment for Hypertext Content
Introduction
Related Work
Topic Nodes and Topic Trees
Embedded-Annotation Generation
Topic-Node Discovery
Federated-Annotation Generation
Customisation and Template Reuse
Self-adaptability and Reflections on RDF Features
Linking Annotations to the LOD Cloud
Experiment and Use-Case Analysis
Conclusions
References
GoRelations: An Intuitive Query System for DBpedia
Introduction
Semantic Graph Interface
Translation
Mapping Approach
SPARQL Generation
Ontology Statistics Component
Semantic Similarity Component
Evaluation
Conclusion
References
Proposed SKOS Extensions for BioPortal Terminology Services
Introduction
SKOS Extensions
Discussion
Concluding Remarks
References
Learning Complex Mappings between Ontologies
Introduction
Problem Statement
Approach
Instance Matching Phase
Data Tailoring Phase
Mapping Learning Phase
Evaluation
Conclusion
References
Discovering and Ranking New Links for Linked Data Supplier
Introduction
Method Overview
RDF Document Ranking
Link Discovering and Ranking
Ranking Algorithm for Choosing Important Entities
Preliminary Experiment
Conclusion and Future Work
References
Probabilistic Multi-Context Systems
Introduction
Probabilistic Multi-Context Systems
Minimal Probabilistic Entailed Chain/Fixpoint
Conclusion
References
Web Schema Construction Based on Web Ontology Usage Analysis
Introduction
Analyzing the Ontology Usage in RDF Dataset
Construction of the Vocabulary Graph
Vocabulary/Ontology Usage Analysis
Ranking the Terms
Dataset and Experiment
Dataset Collection
Analysis of Vocabulary Usage
Related Work
Conclusion and Future Work
References
Building Linked Open University Data: Tsinghua University Open Data as a Showcase
Introduction
Data Categories and Schema
Data Categories
Vocabularies
Data Collection and Structuring
Data Collection
Data Converting and Mashup
Tsinghua University Open Data
Datasets
System Infrastructure and User Interface
Applications
Realated Work
Discussion
Conclusion and Future Work
References
An Abductive CQA Based Matchmaking System for Finding Renting Houses
Motivation
Novelty
Preliminaries
OWL 2 and Conjunctive Query Answering
Abductive Conjunctive Query Answering
The Architecture of the Matchmaking System
Wrapper
Triple Converter
Consistency Restorer
Controller
Matchmaker
What Will Be Demonstrated?
References
An Ontological Approach to Oracle BPM
Introduction
Customer Use Case
An Ontology for BPM
An Ontology for BPMN 2.0
An Ontology for SCA
Applications
Continuous Process Refinement and Optimization
Systems Integration
Conclusion
References
Shining Light on Complex RDF Data through Advanced Data Visualization
Introduction
System Architecture
Demonstration
Conclusion
References
OntoRevision: A Plug-in System for Ontology Revision in Prot´eg´e
Introduction
Feature-Based Revision
An Alternative Semantics for DL-Lite
Ontology Revision
Algorithms for Ontology Revision
Implementation Details
Conclusion
References
An Efficient Approach to Debugging Ontologies Based on Patterns
Introduction
Preliminaries
Approach to Debugging Ontologies Based on Patterns
Data Preprocessing
Pattern-Based Debugging Approach
Experimental Evaluation
Data Set
Evaluation Results
Conclusion and Future Work
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken