wiki_research

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

description_logics (496B)

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