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