Managing vagueness/fuzziness is starting to play an important role in Semantic Web research, with a large number of research efforts underway. Foundations of Fuzzy Logic and Semantic Web Languages provides a rigorous and succinct account of the mathematical methods and tools used for representing and reasoning with fuzzy information within Semantic Web languages. The book focuses on the three main streams of Semantic Web languages:
Written by a prominent researcher in this area, the book is the first to combine coverage of fuzzy logic and Semantic Web languages. The first part of the book covers all the theoretical and logical aspects of classical (two-valued) Semantic Web languages. The second part explains how to generalize these languages to cope with fuzzy set theory and fuzzy logic.
With an extensive bibliography, this book provides in-depth insight into fuzzy Semantic Web languages for non-fuzzy set theory and fuzzy logic experts. It also helps researchers of non-Semantic Web languages get a better understanding of the theoretical fundamentals of Semantic Web languages.
The Quest for Fuzzy Logic in Semantic Web Languages
Semantic Web Languages Basics
Introduction
RDF and RDFS
The OWL Family
The RIF Family
The Query Language SPARQL
Resource Description Language RDF and RDF Schema
Introduction
RDF and RDFS
Conjunctive Queries
Reasoning
Web Ontology Language OWL
Introduction
Description Logics Basics
Conjunctive Queries
Reasoning
Rule Languages
Introduction
Datalog Basics
Concrete Domains
Conjunctive Queries
Reasoning
Query Languages for SWL-Based Knowledge Bases
Introduction
Conjunctive and Disjunctive Queries
SPARQL
Fuzzy Logics and Semantic Web Languages
Introduction
Fuzzy Sets and Mathematical Fuzzy Logic Basics
Fuzzy Sets Basics
Mathematical Fuzzy Logic Basics
Fuzzy RDF and RDFS
Introduction
Fuzzy RDF and RDFS
Fuzzy Conjunctive Queries
Reasoning
Fuzzy OWL
Introduction
Fuzzy Description Logics Basics
Salient Language Extensions
Fuzzy Conjunctive Queries
Representing Fuzzy OWL Ontologies in OWL
Reasoning
Fuzzy Rule Languages
Introduction
Fuzzy Datalog Basics
Concrete Domains
Fuzzy Conjunctive Queries
Reasoning
Appendices
A RDFS Semantics and Inference Rules
B From OWL to Description Logics
The Case of OWL 2
The Case of OWL QL
The Case of OWL EL
The Case of OWL RL
C A Tableau Calculus for SHIFg
D From RIF-Core to Datalog
E Basic Logics to Deal with Uncertain Statements
Probabilistic Logic
Possibilistic Logic
F OR-Based Inference Rules for P(D)
G Fuzzy SPARQL: A Query Language for Fuzzy RDFS Graphs
Fuzzy SPARQL
H Tableau Calculi for Fuzzy SHIFg
Analytical Fuzzy Tableau under SFL
Fuzzy Tableau for Finite-Valued DLs
Operational Research-Based Fuzzy Tableau under SFL
Reasoning with Fuzzy Concrete Domains and Aggregation Operators under SFL
Bibliography
Overview
Managing vagueness/fuzziness is starting to play an important role in Semantic Web research, with a large number of research efforts underway. Foundations of Fuzzy Logic and Semantic Web Languages provides a rigorous and succinct account of the mathematical methods and tools used for representing and reasoning with fuzzy information within Semantic Web languages. The book focuses on the three main streams of Semantic Web languages: