Decidable Contextualized DLs with Rigid Roles.

Stephan Böhme Marcel Lippmann

Published in: Description Logics (2015)

Keyphrases

description logics
exptime complete
tight complexity bounds
query answering
machine learning
three dimensional
first order logic
artificial intelligence
data exchange