Login / Signup

A Tableau Algorithm for Possibilistic Description Logic .

Guilin QiJeff Z. Pan
Published in: ASWC (2008)
Keyphrases
  • description logics
  • knowledge base
  • computational complexity
  • search space
  • optimal solution