Relationship with other Formalisms

Ulrike Sattler, Diego Calvanese, and Ralf Molitor

The Description Logic Handbook: Theory, Implementation and Applications. 2003.

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. Obviously, due to the lack of space, we cannot compare each representation formalism with description logics, thus we concentrated on those 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), (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.

   title = "Relationship with other Formalisms",
   year = "2003",
   author = "Ulrike Sattler and Diego Calvanese and Ralf Molitor",
   editor = "Franz Baader and Diego Calvanese and Deborah McGuinness and
Daniele Nardi and Patel-Schneider, Peter",
   booktitle = "The Description Logic Handbook:  Theory, Implementation and
   pages = "137--177",
   publisher = "Cambridge University Press",