1st Edition

Foundations of Fuzzy Logic and Semantic Web Languages

By Umberto Straccia Copyright 2014
386 Pages 36 B/W Illustrations
by Chapman & Hall

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... Read more

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

Biography

Umberto Straccia is a researcher at the Istituto di Scienze e di Tecnologie dell’Informazione (ISTI) of the Italian National Council of Research (CNR). He received a Ph.D. in computer science from the University of Dortmund. His research interests include fuzzy logic, knowledge representation and reasoning, semantic web languages, machine learning, and decision making.