Description Logic

A family of formal knowledge representation languages known as description logics (DL) has been developed. A good number of DLs have a higher level of expressiveness than propositional logic but a lower level than first-order logic. On the other hand, the key reasoning issues for DLs are (typically) decidable, and efficient decision processes have been proposed and implemented for these problems. In contrast, the latter difficulties cannot be solved by reasoning at all. There is a general description logic, as well as a spatial description logic, a temporal description logic, a spatiotemporal description logic, and a fuzzy description logic. Each description logic strikes a unique balance between the expressive capability and the reasoning complexity that it offers by supporting a unique collection of mathematical constructors.

How You Will Benefit

(I) Insights, and validations about the following topics:

Chapter 1: Description Logic

Chapter 2: Knowledge Representation and Reasoning

Chapter 3: Semantic Web

Chapter 4: Ontology Inference Layer

Chapter 5: Web Ontology Language

Chapter 6: Semantic Technology

Chapter 7: Expressive Power (Computer Science)

Chapter 8: F-Logic

Chapter 9: Semantic Web Rule Language

Chapter 10: Ontology Engineering

(II) Answering the public top questions about description logic.

(III) Real world examples for the usage of description logic in many fields.

(IV) 17 appendices to explain, briefly, 266 emerging technologies in each industry to have 360-degree full understanding of description logic' technologies.

Who This Book Is For

Professionals, undergraduate and graduate students, enthusiasts, hobbyists, and those who want to go beyond basic knowledge or information for any kind of description logic.