Towards Constructive DL for Abstraction and Refinement.

Michael Mendler Stephan Scheele

Published in: Description Logics (2008)

Keyphrases

description logics
high level
refinement process
data abstraction
knowledge base
real world
expressive power
temporal abstractions
expressive description logics