Conjunctive Query Answering in the Description Logic SHIQ
Huvudupphovsmän: | Glimm, B, Horrocks, I, Lutz, C, Sattler, U |
---|---|
Materialtyp: | Report |
Publicerad: |
Chair for Automata Theory‚ Institute for Theoretical Computer Science‚ Dresden University of Technology
2006
|
Liknande verk
Liknande verk
-
Conjunctive Query Answering for the Description Logic SHIQ
av: Glimm, B, et al.
Publicerad: (2008) -
Conjunctive Query Answering in the Description Logic SHIQ
av: Glimm, B, et al.
Publicerad: (2007) -
Conjunctive query answering for the description logic SHIQ
av: Glimm, B, et al.
Publicerad: (2008) -
Conjunctive Query Answering for Description Logics with Transitive Roles
av: Glimm, B, et al.
Publicerad: (2006) -
Conjunctive Query Entailment for SHOQ
av: Glimm, B, et al.
Publicerad: (2007)