1st Edition
Foundations of Fuzzy Logic and 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
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.






