On the Problems of Representing Least Common Subsumer and Computing Approximation in DLs.

Chan Le Duc Nhan Le Thanh

Published in: Description Logics (2003)

Keyphrases

description logics
reasoning tasks
np complete
artificial intelligence
knowledge base
knowledge representation
reasoning problems