EL++
≈ 1 min read
Names in other languages
- dsbPśedłoga:Wužywaŕ el
- pntΠρότυπον:Χρήστες el
Article bodies are English and are not machine-translated. A name in another language is not a translation of the article.
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.
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
Text derived from https://en.wikipedia.org/w/index.php?oldid=1334935478 under CC BY-SA 4.0; modifications have been made.