Re: [Fwd: Rules for restrictions]

From: Dan Connolly ([email protected])
Date: 01/04/01

Next message: Ian Horrocks: "Re: Rules for restrictions"
Previous message: Dan Connolly: "[Fwd: Tambis test files for RDF, DAML and notation3.]"
In reply to: Dan Connolly: "[Fwd: Rules for restrictions]"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

> Date: Thu, 4 Jan 2001 18:04:39 -0500
> From: "Tim Berners-Lee" <[email protected]>
[...]

> 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:[email protected]
  (put return phone number in from/subject)

Next message: Ian Horrocks: "Re: Rules for restrictions"
Previous message: Dan Connolly: "[Fwd: Tambis test files for RDF, DAML and notation3.]"
In reply to: Dan Connolly: "[Fwd: Rules for restrictions]"
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