Editing Description logic (section)

====Exceptions====
Some canonical DLs that do not exactly fit this convention are:
{|
|-
|<math>\mathcal{S}</math>  ||An abbreviation for <math>\mathcal{ALC}</math> with transitive roles.
|-
| ||
|-
|<math>\mathcal{FL^-}</math> ||A sub-language of <math>\mathcal{FL}</math>, which is obtained by disallowing role restriction. This is equivalent to <math>\mathcal{AL}</math> without atomic negation.
|-
| ||
|-
|<math>\mathcal{FL}_o</math>||A sub-language of <math>\mathcal{FL^-}</math>, which is obtained by disallowing limited existential quantification.
|-
| ||
|-
|<math>\mathcal{EL^{++}}</math>||Alias for <math>\mathcal{ELRO}</math>.<ref>{{cite journal | first1 = Frederick | last1 = Maier | first2 = Raghava | last2 = Mutharaju | first3 = Pascal | last3 = Hitzler |author-link3=Pascal Hitzler | title = Distributed Reasoning with EL++ Using MapReduce | journal = Computer Science and Engineering Faculty Publications | url = http://corescholar.libraries.wright.edu/cse/243/ | year = 2010 | publisher = Technical Report, Kno.e.sis Center, Wright State University, Dayton, Ohio | access-date = 2016-08-24}}</ref>
|}