Towards Constructive DL for Abstraction and Refinement.

Michael Mendler Stephan Scheele

Published in: J. Autom. Reason. (2010)

Keyphrases

description logics
expressive power
high level
knowledge base
domain knowledge
data abstraction
refinement process
decision theoretic planning
machine learning
evolutionary algorithm
data model
heuristic search
refinement operators
oai pmh