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 main streams of Semantic Web languages:

    • Triple languages RDF and RDFS
    • Conceptual languages OWL and OWL 2, and their profiles OWL EL, OWL QL, and OWL RL
    • Rule-based languages, such as SWRL and RIF

    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

    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.