Conjunctive Query Answering in the Description Logic SHIQ

Detalhes bibliográficos
Main Authors: Glimm, B, Horrocks, I, Lutz, C, Sattler, U
Formato: Report
Publicado em: Chair for Automata Theory‚ Institute for Theoretical Computer Science‚ Dresden University of Technology 2006