Now showing items 1-1 of 1

    • Practical reasoning for defeasable description logics. 

      Moodley, Kody. (2016)
      Description Logics (DLs) are a family of logic-based languages for formalising ontologies. They have useful computational properties allowing the development of automated reasoning engines to infer implicit knowledge ...