\mathcal{ALC} Revisited.

Zhe Wang Kewen Wang Rodney W. Topor Jeff Z. Pan Grigoris Antoniou

Published in: Australasian Conference on Artificial Intelligence (2009)

Keyphrases

mathcal alc
description logics
knowledge base
knowledge representation
reasoning tasks
concept descriptions
semantic web
ontology languages
owl ontologies
sequent calculus
artificial intelligence