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

On Wed, 4 Oct 2000, Graham Klyne wrote:

[snip]

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

Can't resist the plugging opportunity ;)

http://www.ontoknowledge.org/oil/papers/extending-rdfs.html
http://www.ontoknowledge.org/oil/extending-rdfs.pdf

> 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.

You're right, however this should be reasonably easy to fix by
either simply making the domain #ClassExpression (which would,
admittedly, make the intended restriction somewhat weak), or by
introducing a BooleanClassExpression placeholder.

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

You're right again. Thanks for pointing that out.

Regards,

Jeen
-- 
                               Vrije Universiteit, Faculty of Sciences
Jeen Broekstra              Division of Mathematics & Computer Science
jbroeks@cs.vu.nl                                    de Boelelaan 1081a
http://www.cs.vu.nl/~jbroeks        1081 HV Amsterdam, the Netherlands