wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

description_logics (310B)

      1 # Description logics
      2 
      3 A set of lightweight [logics] with different complexity depending on the features allowed.
      4 
      5 [Survey_paper]: [artale2009dllite]
      6 
      7 Classes:
      8 - [DL-Lite]
      9 
     10 Topics:
     11 - [Description_logics_descriptive_complexity]
     12 - [Provenance_description_logics]
     13 
     14 Up: [logic]
     15 
     16 See also: [FO2], [Guarded_Fragment]