A Tableau-Based Forgetting in ALCQ.

Hong Fang Xiaowang Zhang

Published in: CCKS (2016)

Keyphrases

description logics
knowledge base
knowledge representation
incremental learning
computational properties
data sets
computational complexity
machine learning