A Goal-Oriented Algorithm for Unification in $\mathcal{ELH}_{R+}$ w.r.t. Cycle-Restricted Ontologies.
Franz BaaderStefan BorgwardtBarbara MorawskaPublished in: Australasian Conference on Artificial Intelligence (2012)
Keyphrases
- goal oriented
- dynamic programming
- learning algorithm
- computational cost
- cost function
- improved algorithm
- computational complexity
- objective function
- high accuracy
- detection algorithm
- optimal solution
- experimental evaluation
- worst case
- times faster
- optimization algorithm
- linear programming
- domain specific
- np hard
- k means
- preprocessing
- neural network
- clustering method
- simulated annealing
- mobile robot
- significant improvement
- search space