wiki_research

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

description_logics (577B)

      1 # Description logics
      2 
      3 A set of lightweight [logics] with different complexity depending on the features allowed.
      4 
      5 [Survey_papers]:
      6 - [artale2009dllite]
      7 - [krotzsch2013description]
      8 
      9 Classes:
     10 - [DL_Lite]
     11   - [DL_Lite_F]
     12   - [DL_Lite_FR]
     13   - [DL_Lite_FR]
     14 - [ALC]
     15   - conjunctions imply disjunctions
     16   - can use existentials in [rule_head] and [rule_body]
     17   - can use true and [bottom]
     18 - [transitivity_assertions]
     19 
     20 Topics:
     21 - [Description_logics_descriptive_complexity]
     22 - [Provenance_description_logics]
     23 
     24 Up: [logic]
     25 
     26 See also: [FO2], [Guarded_Fragment]
     27 
     28 Aliases: description logic