Recent Advances in Unification for the EL Family.
Franz BaaderStefan BorgwardtBarbara MorawskaPublished in: UNIF (2012)
Keyphrases
- recent advances
- description logics
- special case
- researchers and practitioners
- recent developments
- equational theories
- higher order
- field of pattern recognition
- theorem proving
- computer science
- multi class
- neural network
- computational intelligence
- high level
- multimedia
- image processing
- information systems
- cognitive neuroscience
- artificial intelligence
- machine learning