Sciweavers

1008 search results - page 17 / 202
» Logic and Databases
Sort
View
119
Voted
OWLED
2008
15 years 4 months ago
Conjunctive Query Answering in EL using a Database System
We study conjunctive query answering in the description logic EL, the core of the designated OWL2-EL profile of OWL2. In particular, we present an approach that allows the use of c...
Carsten Lutz, David Toman, Frank Wolter
112
Voted
TOCL
2002
96views more  TOCL 2002»
15 years 2 months ago
On first-order topological queries
One important class of spatial database queries is the class of topological queries, that is, queries invariant under homeomorphisms. Westudy topological queries expressible in th...
Martin Grohe, Luc Segoufin
118
Voted
DEXAW
2006
IEEE
126views Database» more  DEXAW 2006»
15 years 8 months ago
Consistent Query Answering: Opportunities and Limitations
This paper briefly reviews the recent literature on consistent query answering, an approach to handle database inconsistency in a systematic and logical manner based on the notio...
Jan Chomicki
RR
2009
Springer
15 years 7 months ago
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...
Robert A. Kowalski, Fariba Sadri
95
Voted
ICDT
1990
ACM
110views Database» more  ICDT 1990»
15 years 6 months ago
Beginnings of a Theory of General Database Completions
Ordinary logical implication is not enough for answering queries in a logic database, since especially negative information is only implicitly represented in the database state. M...
Stefan Brass