A Tableau-Based Reasoning Algorithm for Distributed Dynamic Description Logics.

Zhuxiao Wang Zhitao Guan Wei Li Kehe Wu Jing Guo Guanhua Tian

Published in: ICICA (1) (2012)

Keyphrases

description logics
knowledge base
optimal solution
np hard
reasoning systems
knowledge representation
worst case
reasoning tasks
machine learning
special case