Relationships with other Formalisms

13 years 5 months ago
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 ...
Ulrike Sattler, Diego Calvanese, Ralf Molitor
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2003
Where DLOG
Authors Ulrike Sattler, Diego Calvanese, Ralf Molitor
Comments (0)