A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes.
Franz BaaderStefan BorgwardtBarbara MorawskaPublished in: Description Logics (2012)
Keyphrases
- goal oriented
- k means
- improved algorithm
- experimental evaluation
- optimal solution
- dynamic programming
- optimization algorithm
- learning algorithm
- description logics
- computational cost
- computational complexity
- objective function
- worst case
- video sequences
- simulated annealing
- theoretical analysis
- detection algorithm
- clustering method
- times faster
- preprocessing
- linear programming
- convergence rate
- recognition algorithm
- case study
- neural network