Now showing items 1-2 of 2

    • Basic Description Logics 

      Baader F; Nutt W (Cambridge University Press, 2003)
      This chapter provides an introduction to Description Logics as a formal language for representing knowledge and reasoning about it. It first gives a short overview of the ideas underlying Description Logics. Then it ...
    • An Epistemic Operator for Description Logics 

      Donini FM; Lenzerini M; Nardi D; Nutt W; Schaerf A (Elsevier, 1998)
      Description logics (also called terminological logics, or concept languages) are fragments of first-order logic that provide a formal account of the basic features of frame-based systems. However, there are aspects of ...