On Concept Forgetting in Description Logics with Qualified Number Restrictions.

Yizheng Zhao Renate A. Schmidt

Published in: Description Logics (2019)

Keyphrases

number restrictions
description logics
inverse roles
knowledge base
dl lite
knowledge representation
reasoning tasks
reasoning systems
semantic web
reasoning problems
computational properties
expert systems
ontology languages
owl dl
modal operators
database
owl ontologies
exptime complete
databases