Exploring Finite Models in the Description Logic .

Franz Baader Felix Distel

Published in: ICFCA (2009)

Keyphrases

description logics
knowledge base
reasoning tasks
reasoning mechanism
semantic web
computational properties
ontology reasoning
computational complexity
knowledge representation
snomed ct