W3C home > Mailing lists > Public > www-webont-wg@w3.org > January 2003

Re: WOWG: Ahenda Jan 23 telecon

From: Ian Horrocks <horrocks@cs.man.ac.uk>
Date: Thu, 23 Jan 2003 03:06:10 +0000
Message-ID: <15919.23586.227662.239380@excalibur.horrocks.net>
To: Guus Schreiber <schreiber@swi.psy.uva.nl>
Cc: WebOnt WG <www-webont-wg@w3.org>

On January 22, Guus Schreiber writes:
> Janaury 23, 2003

Regrets - I will be at the WWW2003 PC meeting. However...

> ACTION Horrocks: review AS & S Appendices

DONE - a number of editorial changes and a few minor buglets have been
reported and are being fixed.

> ACTION IanH: explain how to say "range of P is A union B" in owl lite

Given 2 classes A and B and property P, add following:

define Nothing using arbitrary property r:

Class(Nothing partial restriction(r minCardinality(1) maxCardinality(0)))

for some fresh properties p1,p2,p3:

Class(A complete restriction(p1 someValuesFrom(Thing)))
Class(notA complete restriction(p1 allValuesFrom(Nothing)))
Class(B complete restriction(p2 someValuesFrom(Thing)))
Class(notB complete restriction(p2 allValuesFrom(Nothing)))
Class(notAandnotB complete notA notB)
Class(notAandnotB complete restriction(p3 someValuesFrom(Thing)))
Class(AorB complete restriction(p3 allValuesFrom(Nothing)))
ObjectProperty(P range(AorB))

Regards, Ian
Received on Wednesday, 22 January 2003 22:05:34 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:50 UTC