What Is 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.