Computing Least Common Subsumers in Expressive Description Logics.

Published in: Australian Joint Conference on Artificial Intelligence (1999)

Keyphrases

expressive description logics
computing least common subsumers
description logics
exptime complete
knowledge base
reasoning tasks
reasoning systems
semantic web
ontology languages
owl dl
knowledge representation
database systems
np hard
knowledge management