Relationships with other Formalisms

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 concentrated 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 section. 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. 4.1 AI knowledge representation formalisms In artificial intelligence (AI), various “non-logical” knowledge representation formalisms were developed, motivated by the belief that ...

• Type: Conference
• Year: 2003
• Where: DLOG
• Authors: Ulrike Sattler, Diego Calvanese, Ralf Molitor
• Keywords: Automated Reasoning, Description Logics, DLOG 2003, Knowledge Representation, Representation Formalisms