- From: Graham Klyne <GK@Dial.pipex.com>
- Date: Wed, 04 Oct 2000 13:47:43 +0100
- 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 UTC