Sign in

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

Zhuxiao WangZhitao GuanWei LiKehe WuJing GuoGuanhua 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