Sciweavers

112 search results - page 8 / 23
» Conjunctive Query Answering for the Description Logic SHIQ
Sort
View
AAAI
2000
14 years 10 months ago
Answering Queries Using Views over Description Logics Knowledge Bases
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
JAR
2008
77views more  JAR 2008»
14 years 9 months ago
Data Complexity of Query Answering in Expressive Description Logics via Tableaux
Magdalena Ortiz, Diego Calvanese, Thomas Eiter
100
Voted
JELIA
2010
Springer
14 years 7 months ago
Translating First-Order Causal Theories into Answer Set Programming
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...
Vladimir Lifschitz, Fangkai Yang
KR
2010
Springer
15 years 2 months ago
Status QIO: Conjunctive Query Entailment Is Decidable
Description Logics (DLs) are knowledge representation formalisms that provide, for example, the logical underpinning of the W3C OWL standards. Conjunctive queries (CQs), the stand...
Birte Glimm, Sebastian Rudolph