298 search results - page 52 / 60 » Query Rewriting in DL-Lite_^(HN)_horn |
171
click to vote
ICDE
2008
IEEE
16 years 10 days ago
2008
IEEE
In Online Analytic Processing (OLAP) deployments, different users, lines of businesses and business units often create adhoc aggregation hierarchies tailor-made for specific report...
165
click to vote
ICLP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this paper we investigate a more expressive language f...
93
Voted
INEX
2004
Springer
15 years 4 months ago
2004
Springer
This paper discusses our participation in INEX using the TIJAH XML-IR system. We have enriched the TIJAH system, which follows a standard layered database architecture, with severa...
DLOG
2007
15 years 1 months ago
2007
Abstract. In this work we propose an alternative approach to inference in DLLite, based on a reduction to reasoning in an extension of function-free Horn Logic (EHL). We develop a ...
LPAR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Grounding is the task of reducing a first order formula to ground formula that is equivalent on a given universe, and is important in many kinds of problem solving and re...