Relationship with other Formalisms

From International Center for Computational Logic

Toggle side column

Relationship with other Formalisms

Ulrike SattlerUlrike Sattler,  D. CalvaneseD. Calvanese,  R. MolitorR. Molitor
Relationship with other Formalisms


Ulrike Sattler, D. Calvanese, R. Molitor
Relationship with other Formalisms
In Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F. Patel-Schneider, eds., The Description Logic Handbook: Theory, Implementation, and Applications, 137-177. Cambridge University Press, 2003
  • KurzfassungAbstract
    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 representational formalism with DLs, thus we concentrated on those that either (1) had or have a strong influence on DLs (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).
  • Forschungsgruppe:Research Group: Automatentheorie
@incollection{ SaCaMolDLHB,
  author = {U. {Sattler} and D. {Calvanese} and R. {Molitor}},
  booktitle = {The Description Logic Handbook: Theory, Implementation, and Applications},
  editor = {Franz {Baader} and Diego {Calvanese} and Deborah {McGuinness} and Daniele {Nardi} and Peter F. {Patel-Schneider}},
  pages = {137--177},
  publisher = {Cambridge University Press},
  title = {Relationship with other Formalisms},
  year = {2003},
}