Login / Signup
A Tableau Algorithm for Possibilistic Description Logic .
Guilin Qi
Jeff Z. Pan
Published in:
ASWC (2008)
Keyphrases
</>
description logics
knowledge base
computational complexity
search space
optimal solution