Re: existential answers to queries

From: Richard Fikes (fikes@ksl.stanford.edu)
Date: 10/25/01

Next message: Deborah McGuinness: "Re: on behalf of sandro (fwd)"
Previous message: Deborah McGuinness: "Re: existential answers to queries (was: Re: on behalf of sandro)"
In reply to: Ian Horrocks: "Re: existential answers to queries (was: Re: on behalf of sandro)"
Next in thread: Ian Horrocks: "Re: existential answers to queries"
Reply: Ian Horrocks: "Re: existential answers to queries"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

> 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.  

Richard

Next message: Deborah McGuinness: "Re: on behalf of sandro (fwd)"
Previous message: Deborah McGuinness: "Re: existential answers to queries (was: Re: on behalf of sandro)"
In reply to: Ian Horrocks: "Re: existential answers to queries (was: Re: on behalf of sandro)"
Next in thread: Ian Horrocks: "Re: existential answers to queries"
Reply: Ian Horrocks: "Re: existential answers to queries"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

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