EL++

EL++ is a lightweight description logic that was designed to

  • capture the expressive power that is used by large-scale ontologies from practical applications
  • have polytime reasoning problems, in particular classification and instance checking

(www.w3.org 2010)

EL++ has been incorporated into OWL 2 as a OWL 2 EL Profile.

References

    This article is issued from Wikipedia - version of the 8/2/2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.