Jump to content

EL++

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Niceguyedc (talk | contribs) at 20:09, 2 August 2015 (WPCleaner v1.36 - Repaired 1 link to disambiguation page - (You can help) - Expressive power). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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

  • Franz Baader, Sebastian Brandt, Carsten Lutz: Pushing the EL Envelope. IJCAI 2005: 364-369