The description logic SHIQ with a flexible meta-modelling hierarchy.

Regina Motz Edelweis Rohrer Paula Severi

Published in: J. Web Semant. (2015)

Keyphrases

description logics
knowledge base
computational properties
dl lite
conjunctive query answering
reasoning tasks
knowledge representation
semantic web
reasoning mechanism
concept descriptions
exptime complete
reasoning services
reasoning problems
database systems
snomed ct