Sciweavers

112 search results - page 8 / 23
» Conjunctive Query Answering for the Description Logic SHIQ
Sort
View
AAAI
2000
15 years 1 months ago
Answering Queries Using Views over Description Logics Knowledge Bases
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
76
Voted
RR
2007
Springer
15 years 5 months ago
Consistent Query Answering over Description Logic Ontologies
Domenico Lembo, Marco Ruzzi
85
Voted
JAR
2008
77views more  JAR 2008»
14 years 11 months ago
Data Complexity of Query Answering in Expressive Description Logics via Tableaux
Magdalena Ortiz, Diego Calvanese, Thomas Eiter
JELIA
2010
Springer
14 years 10 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 4 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