The description logic generated by atomic concepts, , conjunction and existential restrictions. Some conventions also allow ; that extension is distinguished here as EL with bottom. Without , every concept is satisfiable with respect to every EL TBox.
New to topics? Read the docs here!