Skip to main content
Engineering LibreTexts

4.5: Literature and Reference Material

  • Page ID
    6419
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    This material is listed mainly for the curious who would like to delve deeper into Description Logics. At the time of writing, a DL textbook is in the making.

    1. Ulrike Sattler. Reasoning in description logics: Basics, extensions, and relatives. In G. Antoniou et al., editors, Reasoning Web 2007, volume 4636 of LNCS, page 154-182. Springer, 2007. OR Anni-Yasmin Turhan. Reasoning and explanation in EL and in expressive Description Logics. In U. Assmann, A. Bartho, and C. Wende, editors, Reasoning Web 2010, volume 6325 of LNCS, pages 1-27. Springer, 2010.
    2. F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. PatelSchneider (Eds). The Description Logics Handbook. Cambridge University Press, 2008. Chapters 1 and 2 (and the rest if you can’t get enough of it).

    This page titled 4.5: Literature and Reference Material is shared under a CC BY 4.0 license and was authored, remixed, and/or curated by Maria Keet via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.

    • Was this article helpful?