Relationship with other Formalisms

U. SattlerU. Sattler, D. CalvaneseD. Calvanese, R. MolitorR. Molitor

U. 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

Details
Bibtex

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: AutomatentheorieAutomata Theory

@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},
}