Re: existential answers to queries

From: Richard Fikes (
Date: 10/25/01

> As I said in my other messages, I believe that
> returning "skolems" could have many/serious consequences for the
> decidability, tractability etc. of the query language. Infinite
> answers is just one of these that springs to mind.

Without adding any comments to the "skolems" issue, I would like to
point out that I think we must deal with queries that have potentially
infinite answers.  In particular, since the XML data types are now part
of DAML+OIL, we have classes with an infinite number of instances,
namely the class of integers.  So, the query is "RDF(type ?x Integer)"
will have an infinite number of answers.  


This archive was generated by hypermail 2.1.4 : 04/02/02 EST