wiki_research

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

description_logics (560B)

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