A Data Structure for Subsumption-Based Tabling in Top-Drown Resolution Engines for Data-Intensive Logic Applications.

Jacques Calmet Peter Kullmann

Published in: ISMIS (1999)

Keyphrases

data intensive
data structure
logic programming
data management
web services
globally distributed
data access
big data
geographically distributed
description logics
grid computing
earth science
high resolution
logic programs
grid technology
r tree
decision support
real time
databases
data analysis
database systems