Re: [Fwd: Rules for restrictions]

From: Dan Connolly (connolly@w3.org)
Date: 01/04/01


> Date: Thu, 4 Jan 2001 18:04:39 -0500
> From: "Tim Berners-Lee" <timbl@w3.org>
[...]

> 4. Disjoint.  In general, there is no reference to the RDF model generated

It's right there in the semantics:

[[[
<disjointWith,?X,?Y>  IC(?X) ^ IC(?Y) = { } 

     <type,[?X1,...,?Xn],Disjoint>   IC(?Xi) ^ IC(?Xj) = {
     } for all 1<=i<j<=n. 
]]]

--        
http://www.daml.org/2000/12/semantics.html
Wed, 03 Jan 2001 18:45:23 GMT

> -
> so presumably one is free to generate any RDF triples or otherwise so long
> as the meaning of the document is represented by the result.

Huh?

>  i assume that
> this was a
> concious decision.  The list structure has disappeared for example.

I don't see what you're talking about.

[...]

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
office: tel:+1-913-491-0501
pager: mailto:connolly.pager@w3.org
  (put return phone number in from/subject)


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