Re: rule proto-proposal

From: pat hayes (
Date: 05/29/01

>Hi Pat,
>At 05:58 PM 5/29/2001 -0500, pat hayes wrote:
>>>some additions to Pats suggestion:
>>>1) In many applications it is important to distinguish between 
>>>different kind of RDF data, eg.
>>>   between different sources of RDF data, one is trustworthy, the other one
>>> not.
>>That seems to me to be an assertion about the source rather than 
>>the data (?) But in any case it goes well beyond the RDF or DAML 
>If we built a rule language for processing of RDF data it is 
>necessary to distinguish
>different sets of RDF data.

Well OK, but I don't see why this topic comes up particularly when we 
talk of rules. If you want to distinguish sets of RDF data, why not 
do it in RDF? After all, RDF has the ability to describe its own 
expressions, so this ought to fit into it naturally. Why not treat an 
set of RDF data as something that is referrable to by a URI, ie a 

>One example where it is important to distinguish between
>different kind sets of RDF data is when it comes from different 
>sources, and that
>it originates from different sources is a property of the data.
>There are other applications areas, e.g. the computation of 
>different semantics (see my RDF Schema

We really must speak different languages.
(1) To speak of "computing" semantics doesnt make sense to me; and 
(2) why would we want to be using different semantics in any case? 
Isnt the whole idea to have a single semantics?

>>>This needs to be reflected in the rule language - it is not 
>>>sufficient to just query if a certain
>>> fact is present. To distinguish between different sources would 
>>>be enabled by model identifiers
>>I have no idea what you are talking about. What is a 'model' in this sense?
>A set of RDF statements (triples).

Ah, I see. What is the difference between saying, in M, that 
subject[predicate->object] is true, and saying that 
subject[predicate->object]@M ? Can I say subject[predicate->object]@M 
in N where N is different from M?


IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax

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