Book contents
- Frontmatter
- Contents
- List of contributors
- Preface to the second edition
- Preface
- 1 An Introduction to Description Logics
- Part I Theory
- 2 Basic Description Logics
- 3 Complexity of Reasoning
- 4 Relationships with other Formalisms
- 5 Expressive Description Logics
- 6 Extensions to Description Logics
- Part II Implementation
- Part III Applications
- Appendix: Description Logic Terminology
- Bibliography
- Index
4 - Relationships with other Formalisms
Published online by Cambridge University Press: 06 July 2010
- Frontmatter
- Contents
- List of contributors
- Preface to the second edition
- Preface
- 1 An Introduction to Description Logics
- Part I Theory
- 2 Basic Description Logics
- 3 Complexity of Reasoning
- 4 Relationships with other Formalisms
- 5 Expressive Description Logics
- 6 Extensions to Description Logics
- Part II Implementation
- Part III Applications
- Appendix: Description Logic Terminology
- Bibliography
- Index
Summary
Abstract
In this chapter, we are concerned with the relationship between Description Logics and other formalisms, regardless of whether they were designed for knowledge representation issues or not. We concentrate on those representation formalisms that either (1) had or have a strong influence on Description Logics (e.g., modal logics), (2) are closely related to Description Logics for historical reasons (e.g., semantic networks and structured inheritance networks), or (3) have similar expressive power (e.g., semantic data models). There are far more knowledge representation formalisms than those mentioned in this chapter. For example, “verb-centered” graphical formalisms like those introduced by Simmons [1973] are not mentioned since we believe that their relationship with Description Logics is too weak.
AI knowledge representation formalisms
In artificial intelligence (AI), various “non-logical” knowledge representation formalisms were developed, motivated by the belief that classical logic is inadequate for knowledge representation in AI applications. This belief was mainly based upon cognitive experiments carried out with human beings and the wish to have representational formalisms that are close to the representations in human brains. In this section, we discuss some of these formalisms, namely semantic networks, frame systems, and conceptual graphs. The first two formalisms are mainly presented for historical reasons since they can be regarded as ancestors of Description Logics. In contrast, the third formalism can be regarded as a “sibling” of Description Logics since both have similar ancestors and live in the same time.
- Type
- Chapter
- Information
- The Description Logic HandbookTheory, Implementation and Applications, pp. 149 - 192Publisher: Cambridge University PressPrint publication year: 2007
- 7
- Cited by