= EL++
{wiki=EL++}
EL++ is a description logic that extends the basic EL (a family of description logics) by adding additional features, particularly the ability to express more complex roles and constructs while still maintaining computational efficiency. EL is known for its efficient reasoning capabilities, which is why it is often used in applications like biomedical ontologies (for example, the Gene Ontology). EL++ builds on the strengths of EL by allowing for the use of general constructors, such as inverse roles and more expressive concept descriptions.
Back to article page