Front cover image for Reasoning techniques for the web of data

Reasoning techniques for the web of data

Aidan Hogan (Author), IOS Press
Linked Data publishing has brought about a novel "Web of Data": a wealth of diverse, interlinked, structured data published on the Web. These Linked Datasets are described using the Semantic Web standards and are openly available to all, produced by governments, businesses, communities and academia alike. However, the heterogeneity of such data - in terms of how resources are described and identified - poses major challenges to potential consumers. Herein, we examine use cases for pragmatic, lightweight reasoning techniques that leverage Web vocabularies (described in RDFS and OWL) to better i
eBook, English, 2014
IOS Press, Amsterdam, 2014
1 online resource
9781614993834, 9781306902977, 9783898386951, 9781614993827, 1614993831, 1306902975, 3898386953, 1614993823
883628292
Title Page
Contents
Prologue
Introduction
Problem Statement
Incomplete Agreement on Assertional Identifiers
Use of Analogous Terminologies
Hypothesis
Contribution and Thesis Structure
Impact
Background
The World Wide Web
The Semantic Web
Resource Description Framework
RDF Schema
Web Ontology Language
RDF Web Publishing and Linked Data
RDF Search Engines
Notation and Core Concepts
RDF
Turtle Syntax
Linked Data Principles and Provenance
Atoms and Rules Terminological Data: RDFS/OWLDistribution Framework
Crawling, Corpus and Ranking
Crawler
Breadth-first Crawling
Incorporating Politeness
On-disk Queue
Multi-threading
Crawling RDF/XML
Distributed Approach
Related Work
Critical Discussion and Future Directions
Evaluation Corpus
Crawl Statistics
Corpus Statistics
Related Work
Critical Discussion and Future Directions
Ranking
Rationale and High-level Approach
Creating and Ranking the Source Graph
Distributed Ranking Implementation Ranking Evaluation and ResultsRelated Work
Critical Discussion and Future Directions
Core
Web Reasoning
Linked Data Reasoning: Overview
Incomplete Reasoning: Rationale
Rule-based Reasoning
Forward Chaining
OWL 2 RL/RDF Scalability
Distinguishing Terminological Data
Implementing T-split Inferencing
Optimising the Assertional Program
Merging Equivalent T-ground Rules
Rule Index
Rule Saturation
Preliminary Performance Evaluation
Towards Linked Data Reasoning
``A-linear'' OWL 2 RL/RDF Authoritative ReasoningDistributed Reasoning
Linked Data Reasoning Evaluation
Related Work
Scalable/Distributed Reasoning
Web Reasoning
Critical Discussion and Future Directions
Annotated Reasoning
Generalised Annotated Programs
Use-case Annotations
Blacklisting
Authoritative Analysis
Triple Ranks
Formal Annotation Framework
Annotation Domains
(Specialised) Annotated Programs
Least Fixpoint and Decidability
Seeding Annotations
T-split Annotated Programs
Annotated Reasoning Tasks
Constraints Annotated Linked Data ReasoningRanking Triples: Implementation/Evaluation
Reasoning: Implementation/Evaluation
Repair: Implementation/Evaluation
Related Work
Annotated Reasoning
Inconsistency Repair
Critical Discussion and Future Directions
Consolidation
OWL Equality Semantics
Corpus: Naming Across Sources
Base-line Consolidation
High-level approach
Distributed approach
Evaluation
Extended Reasoning Consolidation
High-level approach
Distributed approach
Evaluation