W3C home > Mailing lists > Public > www-rdf-interest@w3.org > October 2000

Re: range, domain: Conjunctive AND disjunctive semantics both supportable

From: Graham Klyne <GK@Dial.pipex.com>
Date: Wed, 04 Oct 2000 13:47:43 +0100
Message-Id: <4.3.2.7.2.20001004134040.00b75ae0@pop.dial.pipex.com>
To: Ian Horrocks <horrocks@cs.man.ac.uk>
Cc: rdf interest <www-rdf-interest@w3.org>
At 05:37 PM 10/2/00 +0100, Ian Horrocks wrote:
>You are missing something ...
>
>1) Jan's approach doesn't express the fact that the range restriction
>is EXACTLY (A or B) but that it is some class that subsumes (A or
>B).

I take your point.

I'm currently digesting your OIL-in-RDFS paper ("Adding formal semantics to 
the Web" -- sorry, have lost URL), which looks very interesting.

Unless I'm wrong again (quite likely), I note that conjunctive semantics 
for domain would mess up your proposed definition for <oil:hasOperand>, but 
I guess that's easy to fix.

#g

PS:  I think the paper has a typo in Figure 4:  I think the second 
"class-def plant" should be "class-def branch".


------------
Graham Klyne
(GK@ACM.ORG)
Received on Wednesday, 4 October 2000 09:18:18 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:51:44 GMT