On Concept Forgetting in Description Logics with Qualified Number Restrictions.

Yizheng Zhao Renate A. Schmidt

Published in: IJCAI (2018)

Keyphrases

number restrictions
description logics
inverse roles
knowledge base
dl lite
computational properties
knowledge representation
reasoning systems
reasoning tasks
semantic web
artificial intelligence
model theoretic
knowledge representation and reasoning
exptime complete
decision problems
database
transitive roles