Now showing items 1-1 of 1

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