wiki_research

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

description_logics (546B)

      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   - [DL_Lite_F]
     10   - [DL_Lite_FR]
     11   - [DL_Lite_FR]
     12 - [ALC]
     13   - conjunctions imply disjunctions
     14   - can use existentials in [rule_head] and [rule_body]
     15   - can use true and [bottom]
     16 - [transitivity_assertions]
     17 
     18 Topics:
     19 - [Description_logics_descriptive_complexity]
     20 - [Provenance_description_logics]
     21 
     22 Up: [logic]
     23 
     24 See also: [FO2], [Guarded_Fragment]
     25 
     26 Aliases: description logic